Towards Team-Automata-Driven Object-Oriented Collaborative Work
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.
KeywordsInternal Communication Output Action External Action Input Action Shared Action
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice-Hall, 1991.Google Scholar
- D. Harel. Statecharts: A Visual Formalism for Complex Systems. Sc. of Computer Programming, pages 231–274, July 1987.Google Scholar
- P.J. ’t Hoen. Towards Distributed Development of Large Object-Oriented Models. Views of Packages as Classes. PhD thesis, Leiden University, 2001.Google Scholar
- 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
- 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