Abstract
Process algebras are suitable for describing networks of communicating processes. In most process algebras, the description of such networks is achieved using parallel composition operators. Noticing that the parallel composition operators commonly found in process algebras are often limited in expressiveness and/or difficult for novice users, we propose a new parallel operator that allows networks of communicating processes to be described easily, in a simple and well-structured manner. We illustrate on various examples (token-ring network and client-server protocol) the theoretical and practical merits of this operator.
Chapter PDF
Similar content being viewed by others
References
J. A. Bergstra and J. W. Klop. Process Algebra for Synchronous Communication. Information and Computation, 60: 109–137, 1984.
T. Bolognesi. A Graphical Composition Theorem for Networks of Lotos Processes. In IEEE Computer Society, editor, Proceedings of the 10th International Conference on Distributed Computing Systems, Washington, USA, pages 88–95. IEEE, May 1990.
Ed Brinksma. On the Design of Extended LOTOS, a Specification Language for Open Distributed Systems. PhD thesis, University of Twente, November 1988.
Rance Cleaveland, Eric Madelaine, and Steve Sims. A Front-End Generator for Verification Tools. In Uffe H. Engberg, Kim G. Larsen, and Arne Skou, editors, Proceedings of TACAS’95 Tools and Algorithms for the Construction and Analysis of Systems (Aarhus, Denmark),May 1995. Also available as INRIA Research Report RR-2612.
D. Dams and J. F. Groote. Specification and Implementation of Components of a pCRL Toolbox. Technical Report Logic Group Preprint Series 152, Utrecht University, December 1995.
Robert de Simone. Higher-level synchronising devices in MEIJE-SCCS. Theoretical Computer Science, 37: 245–267, 1985.
J. W. Davies and S. A. Schneider. A Brief History of Timed CSP. Technical Monography PRG-96, Oxford University, 1992.
J. W. Davies and S. A. Schneider. A Brief History of Timed CS. Theoretical Computer Science, 138 (2): 243–271, February 1995.
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and MihaeIa Sighireanu. CADP (CESAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In Rajeev Alur and Thomas A. Hen-zinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), volume 1102 of Lecture Notes in Computer Science, pages 437–440. Springer Verlag, August 1996.
A. Février, E. Najm, G. Leduc, and L. Léonard. Compositional Specification of ODP Binding Objects. In Proceedings of the 6th IFIP/ICCC Conference on Information Network and Data Communication, INDC’96, Trondheim, Norway, June 1996.
Hubert Garavel. A Wish List for the Behaviour Part of E-LOTOS. Rapport SPECTRE 95–21, VERIMAG, Grenoble, December 1995. Input document [LG5] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Liège ( Belgium ), December, 1821, 1995.
J. F. Groote and A. Ponse. Proof theory for µ-CRL. Technical Report CS-9138, CWI Amsterdam, 1991.
Hubert Garavel and Mihaela Sighireanu. Towards a Second Generation. of Formal Description Techniques–Rationale for the Design of E-LOTOS. In Jan-Friso Groote, Bas Luttik, and Jos van Wamel, editors, Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS’98 (Amsterdam, The Netherlands), pages 187–230, Amsterdam, May 1998. CWI. Invited lecture.
J. F. Groote and F. W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. Information and Computation,100(2):202–260
October 1992. D. Harel. StateCharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8 (3): 231–274, 1987.
C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
ISO/IEC. LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization — Information Processing Systems — Open Systems Interconnection, Genève, September 1988.
ISO/IEC. ODP Trading Function. Draft International Standard 13235, ISO — Information Processing Systems, Genève, June 1995.
ISO/IEC. Open Distributed Processing — Reference Model. International Standard 10746, ISO — Information Processing Systems, Genève, 1995.
ITU-T. Specification and Description. Language (SDL). ITU-T Recommendation Z. 100, International Telecommunication Union, Genève, 1992.
Pim Kars. Representation of Process-Gate Nets in LOTOS and Verification of LOTOS Laws: the Boolean Algebra Approach. In Dieter Hogrefe and Stefan Leue, editors, Proceedings of the 7th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols FORTE’94 (Bern, Switzerland), October 1994.
P. Kars. Process-Algebraic Transformations in Context. PhD thesis, University of Twente, June 1997.
Robin Milner. A Calculus of Communicating Systems,volume 92 of Lecture Notes in Computer Science. Springer Verlag, 1980.
Robin Milner. Communication and Concurrency. Prentice-Hall, 1989.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes I. Information and Computation, 100 (1): 1–40, September 1992.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes II. Information and Computation, 100 (1): 41–77, September 1992.
David Park. Concurrency and Automata on Infinite Sequences. In Peter Deussen, editor, Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science, pages 167–183. Springer Verlag, March 1981.
G. D. Plotkin. A structural approach to operational semantics. DAIMI FN-19 FN-19, Computer Science Department, Aarhus University, 1981.
Juan Quemada, editor. Committee Draft on Enhancements to LOTOS (E-LOTOS). ISO/IEC JTC1/SC21/WG7 Project 1.21.20.2.3, January 1997.
Juan Quemada, editor. Committee Draft on Enhancements to LOTOS (E-LOTOS). ISO/IEC FCD 15437, April 1998.
Mihaela Sighireanu and Hubert Garavel. E-LOTOS User Language. Rapport SPECTRE 96–06, VERIMAG, Grenoble, October 1996. In ISO/IEC JTC1/SC21 Third Working Draft on Enhancements to LOTOS (1.21.20.2.3). Output document of the edition meeting, Kansas City, Missouri, USA, May, 12–21, 1996.
C. Vissers, G. Scollo, and M. van Sinderen. Architecture and Specification Style in Formal Descriptions of Distributed Systems. In S. Aggarwal and K. Sabnani, editors, Proceedings of the 8th International Workshop on Protocol Specification, Testing and Verification (Atlantic City, NJ, USA), pages 189–204. IFIP, North-Holland, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Garavel, H., Sighireanu, M. (1999). A Graphical Parallel Composition Operator for Process Algebras. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive