Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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)
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)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)
Cardelli, L.: A Language with Distributed Scope. ACM Trans. Comput. Syst. 8(1), 27–59 (January); ALso appeared in POPL 1995
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)
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)
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)
Milner, R.: The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh (1991)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Part i + ii. Information and Computation 100(1), 1–40, 41–77 (1992)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M. (2014). A Model of Dynamic Systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds) From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science, vol 8415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54848-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-54848-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54847-5
Online ISBN: 978-3-642-54848-2
eBook Packages: Computer ScienceComputer Science (R0)