Skip to main content
SpringerLink
Log in

Towards Team-Automata-Driven Object-Oriented Collaborative Work

  • Chapter
  • First Online:
Formal and Natural Computing

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

Abstract

The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., 1999.

    Book  Google Scholar 

  2. T. de Bunje, G. Engels, L.P.J. Groenewegen, A. Matsinger, and M. Rijnbeek. Industrial Maintenance Modelled in SOCCA: An Experience Report. In W. Schäfer (Ed.): Proc. of the 4th Int. Conf. on the Software Process, IEEE Press, pages 13–26, 1996.

    Google Scholar 

  3. C.A. Ellis. Team Automata for Groupware Systems. In J. Clifford, B. Lindsay, D. Mayer (Eds.): Proc. of the GROUP’97 Int. ACM SIGGROUP Conf. on Supporting Group Work: The Integration Challenge, Phoenix, Arizona, ACM Press, pages 415–424, 1997.

    Google Scholar 

  4. G. Engels and L.P.J. Groenewegen. SOCCA: Specifications of Coordinated and Cooperative Activities. In A. Finkelstein, J. Kramer, B.A. Nuseibeh (Eds.): Software Process Modelling and Technology, Research Studies Press, Taunton, pages 71–102, 1994.

    Google Scholar 

  5. G. Engels and L.P.J. Groenewegen. Object-Oriented Modeling: A Roadmap. In A. Finkelstein (Ed.): The Future of Software Engineering. 22nd Int. Conf. on Software Engineering, Limerick, Eire, ACM Press, pages 103–116, 2000.

    Google Scholar 

  6. G. Engels, L.P.J. Groenewegen, and G. Kappel. Coordinated Cooperation of Objects. In M. Papazoglou, S. Spaccapietra, Z. Tari (Eds.): Advances in Object-Oriented Data Modeling, MIT Press, Cambridge, Mass., pages 307–331, 2000.

    Google Scholar 

  7. G. Engels, L.P.J. Groenewegen, and J. Küster. Modelling Concurrent Behaviour through Consistent Statechart Views. In G. Reggio, A. Knapp, B. Rumpe, B. Selic, R. Wieringa (Eds.): Dynamic Behaviour in UML Models: Semantic Questions, ¡¡UML¿¿2000 Workshop Proceedings, York, UK, pages 44–49, 2000.

    Google Scholar 

  8. G. Engels, J. Küster, L.P.J. Groenewegen, and R. Heckel. A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In Volker Gruhn, Editor, Proceedings of the 8th European Software Engineering Conference (ESEC), Vienna, Austria, pages 186–195, Sep. 2001.

    Google Scholar 

  9. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice-Hall, 1991.

    Google Scholar 

  10. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Sc. of Computer Programming, pages 231–274, July 1987.

    Google Scholar 

  11. P.J. ’t Hoen. Towards Distributed Development of Large Object-Oriented Models. Views of Packages as Classes. PhD thesis, Leiden University, 2001.

    Google Scholar 

  12. M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg. Synchronizations in Team Automata for Groupware Systems. Technical report, Leiden Institute of Advanced Computer Science, Leiden University, 1999. Techn. Rep. TR-99-12.

    Google Scholar 

  13. M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg. Team Automata for Spatial Access Control. In W. Prinz, M. Jarke, Y. Rogers, K. Schmidt, and V. Wulf, Editors, Proceedings of the 7th European Conference on Computer-Supported Cooperative Work (ECSCW), Bonn, Germany, pages 59–77. Kluwer Academic Publishers, Dordrecht, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics and Computer Science, University of Paderborn, 33095, Paderborn, Germany

    Gregor Engels

  2. Dept. of Computer Science, Leiden University, P.O. Box 9512, 2300, Leiden, RA, The Netherlands

    Luuk Groenewegen

Authors
  1. Gregor Engels
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luuk Groenewegen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Technical University of Munich, Arcisstraße 21, 80333, Munich, Germany

    Wilfried Brauer

  2. Computer Science Department, Technical University of Berlin, Franklinstraße 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  3. Department of Mathematics, University of Turku, 20014, Turku, Finland

    Juhani Karhumäki

  4. Turku Centre for Computer Science, Lemminkäisenkatu 14A, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Engels, G., Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds) Formal and Natural Computing. Lecture Notes in Computer Science, vol 2300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45711-9_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-45711-9_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43190-9

  • Online ISBN: 978-3-540-45711-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation