Advertisement

Operational Semantics for Coordination in Paradigm

  • Luuk Groenewegen
  • Erik de Vink
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2315)

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.

Keywords

Operational Semantic Consistency Relation Computer Support Cooperative Work Common Object Request Broker Architecture Trap Structure 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    F. Arbab. Manifold version 2: Language reference manual. CWI, Amsterdam, 1996.Google Scholar
  2. 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. 3.
    R. Ben-Natan. CORBA, a Guide to Common Object Request Broker Architecture. McGraw-Hill, 1995.Google Scholar
  4. 4.
    J.A. Bergstra, A. Ponse, and S.A. Smolka. Handbook of Process Algebra. Elsevier Science, 2001.Google Scholar
  5. 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.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 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.zbMATHCrossRefMathSciNetGoogle Scholar
  7. 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. 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. 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. 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. 11.
    D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    P.J. ’t Hoen. Towards Distributed Development of Large Object-Oriented Models. PhD thesis, LIACS, Leiden University, 2001.Google Scholar
  13. 13.
    R. Milner. Communication and Concurrency. Prentice-Hall, 1989.Google Scholar
  14. 14.
    M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.Google Scholar
  15. 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. 16.
    R. Suettenbach. Formalisierung visueller Modellierungssprachen Objektorientierter Methoden. PhD thesis, Dept. of Comp. Sc., Universität Koblenz-Landau, 2001.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Luuk Groenewegen
    • 1
  • Erik de Vink
    • 1
    • 2
  1. 1.LIACSLeiden UniversityThe Netherlands
  2. 2.Department of Mathematics and Computer ScienceTechnische Universiteit EindhovenThe Netherlands

Personalised recommendations