Abstract
A (behavioural) algebraic formalization of composition and interaction for open distributed systems is proposed. Components (behavioural specifications) can be composed in a way that local behaviours and independence are preserved. This construction, called Independent Composition, verifies universal properties that favour distributivity of proofs. Interaction is modeled by Interactive Composition, a construction that adds new operations to the independent composition that affect both the components, so to allow them to communicate. As for many-sorted algebras, specifications can be put together via colimits, and the corresponding categories of models via limits.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 1995.
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification l: Equations and Initial Semantics Springer-Verlag, 1985.
José L. Fiadeiro and Tom Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28: 111–138, 1997.
A. Giarratana, F. Gimona, and Ugo Montanari Observability concepts in abstract data specifications. In Proceedings, Mathematical Foundations of Computer Science `93. Springer, 1976. Lecture Notes in Computer Science, Volume 45.
Joseph A. Goguen and Râzvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification. Springer-Verlag Lecture Notes in Computer Science 785, 1994.
Joseph A. Goguen and Grant Malcolm. A hidden agenda. Technical Report CS97–538, UCSD, 1997. To appear in Theoretical Computer Science.
Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph A. Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Practice. Cambridge University Press, 1996.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
George J. Milne. Circal and the representation of communication, concurrency and time. ACM Transaction on Programming Languages and Systems (TOPLAS), 7 (2): 270–298, 1985.
Simone Veglioni. Integrating Static and Dynamic aspects in the specification of Open Object-based Distributed Systems. PhD thesis, Programming Research Group, Oxford University, 1997. Available on ftp://ftp.univaq.it/pub/users/veglioni/thesis.ps.
Simone Veglioni. Objects as Abstract Machines. In Proceedings, FMOODS’97. Chapman and Hall, 1997.
Simone Veglioni and Rocco de Nicola. Possible worlds for process algebras. In Proceedings, CONCUR’98,Lecture Notes in Computer Science.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Veglioni, S., Parisi-Presicce, F. (1999). Composition and Interaction for Behavioural Specifications. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive