Skip to main content
Springer Nature Link
Log in

Operational Semantics for Coordination in Paradigm

  • Conference paper
  • First Online:
Coordination Models and Languages (COORDINATION 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2315))

Included in the following conference series:

Abstract

Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoningab out system dynamics and system comparison.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. F. Arbab. Manifold version 2: Language reference manual. CWI, Amsterdam, 1996.

    Google Scholar 

  2. M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg. Team automata for spatial access control. In ECSCW 2001, European Conference on Computer Supported Cooperative Work. Kluwer, 2001.

    Google Scholar 

  3. R. Ben-Natan. CORBA, a Guide to Common Object Request Broker Architecture. McGraw-Hill, 1995.

    Google Scholar 

  4. J.A. Bergstra, A. Ponse, and S.A. Smolka. Handbook of Process Algebra. Elsevier Science, 2001.

    Google Scholar 

  5. M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutella, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240:3–47, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  6. S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31:560–599, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  7. A. de Bruin and S. van der Made. Introduction to Paradigm. Technical Report ERS-2002-09-LIS, Erasmus University Rotterdam, 2002.

    Google Scholar 

  8. G. Engels and L.P.J. Groenewegen. Socca: Specifications of coordinated and cooperative activities. In A. Finkelstein, J. Kramer, and B.A. Nuseibeh, editors, Software Process Modelling and Technology, pages 71–102. Research Studies Press, Taunton, 1994.

    Google Scholar 

  9. G. Engels and L.P.J. Groenewegen. Object-oriented modeling: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering, 22nd International Conferenece on Software Engineering, pages 103–116. ACM Press, 2000.

    Google Scholar 

  10. G. Engels, L.P.J. Groenewegen, and G. Kappel. Coordinated collaboration of objects. In M.P. Papazoglou, S. Spaccapietra, and Z. Tari, editors, Advances in Object-Oriented Data Modeling, pages 307–331. The MIT Press, 2000.

    Google Scholar 

  11. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  12. P.J. ’t Hoen. Towards Distributed Development of Large Object-Oriented Models. PhD thesis, LIACS, Leiden University, 2001.

    Google Scholar 

  13. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.

    Google Scholar 

  14. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.

    Google Scholar 

  15. M.R. van Steen, L.P.J. Groenewegen, and G. Oosting. Parallel control processes: Modular parallelism and communication. In L.O. Hertzberger, editor, Intelligent Autonomous Systems, pages 562–579. North-Holland, 1987.

    Google Scholar 

  16. R. Suettenbach. Formalisierung visueller Modellierungssprachen Objektorientierter Methoden. PhD thesis, Dept. of Comp. Sc., Universität Koblenz-Landau, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIACS, Leiden University, The Netherlands

    Luuk Groenewegen & Erik de Vink

  2. Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands

    Erik de Vink

Authors
  1. Luuk Groenewegen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erik de Vink
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Department, Centre for Mathematics and Computer Science, Kruislaan 413, 1098, SJ Amsterdam, The Netherlands

    Farhad Arbab

  2. SRI International, 333 Ravenswood Ave., 94025, Menlo Park, CA, USA

    Carolyn Talcott

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Groenewegen, L., de Vink, E. (2002). Operational Semantics for Coordination in Paradigm. In: Arbab, F., Talcott, C. (eds) Coordination Models and Languages. COORDINATION 2002. Lecture Notes in Computer Science, vol 2315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46000-4_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-46000-4_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43410-8

  • Online ISBN: 978-3-540-46000-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics