A Model of Dynamic Systems

  • Manfred Broy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8415)


We introduce a model describing discrete dynamic distributed systems. These are systems where their set of connections to the systems in their context captured by their syntactic interfaces as well as the set of their subsystems, and their set of internal connections in their architectures between their subsystems change dynamically over time. To provide such a model we generalize the static system model of Focus (cf. [8]) in terms of their system interfaces and their interface behavior, their system architectures, and their system models in terms of state machines to model dynamic systems. We deal with concepts of causality, composition, abstraction, and system specification for dynamic systems. We analyze properties of dynamic systems and discuss how well the model captures general notions of system dynamics. Finally, we introduce the concept of system classes and their instantiation, which introduces an additional concept of dynamicity.


Dynamic Systems Mobility Instantiation 


  1. 1.
    Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: Towards a Theory of Actor Computation. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 565–579. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  2. 2.
    Broy, M.: Towards a Mathematical Concept of a Component and its Use. First Components’ User Conference, Munich (1996); Revised version in: Software - Concepts and Tools 18, 137–148 (1997)Google Scholar
  3. 3.
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)Google Scholar
  4. 4.
    Cardelli, L.: A Language with Distributed Scope. ACM Trans. Comput. Syst. 8(1), 27–59 (January); ALso appeared in POPL 1995Google Scholar
  5. 5.
    Grosu, R., Stølen, K.: A Model for Mobile Point-to-Point Data Flow Networks without Channel Sharing. In: Wirsing, M., Nivat, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 505–519. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  6. 6.
    Grosu, R., Stølen, K.: A Denotational Model for Mobile Many-to-Many Data Flow Networks. Technical Report TUM-I9622, Technische Universität München (1996)Google Scholar
  7. 7.
    Haridi, S., van Roy, P., Smolka, G.: An Overview of the Design of Distributed Oz. In: The 2nd International Symposium on Parallel Symbolic Computation (PASCO 1997). ACM, New York (1997)Google Scholar
  8. 8.
    Milner, R.: The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh (1991)Google Scholar
  9. 9.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Part i + ii. Information and Computation 100(1), 1–40, 41–77 (1992)MathSciNetCrossRefGoogle Scholar
  10. 10.
    van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M., Scheidhauer, R.: Mobile Objects in Distributed Oz. ACM Toplas 19(5), 805–852 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations