Title: Formal Modeling : Actors; Open Systems, Biological Systems