Abstract
New approaches are currently being adopted to address the development of cooperative systems, although not many standards exist that can be used to develop this type of interactive system. We apply the standard Unified Modelling Language (UML) notation within a methodology aimed at the analysis and design of such systems, and present a semantic formalisation of the UML notation used to model cooperative systems. The semantics and its application are described on the basis of translation schemes to Coloured Petri Nets and the benefits of formalisation are shown.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Artman, H., Waern, Y.: Distributed Cognition in an Emergency Co-ordination Center. Cognition, Technology and Work, 1 (1999) 237–246
Dix, A.: “Formal Methods for Interactive Systems”. Academic Press (1991)
Ehrlich, K.: Designing Groupware Applications: A Work-Centered Design Approach. In: Beaudouin-Lafon, M. (ed.): Computer Supported Cooperative Work. Wiley (1999) 1–28
Eshuis, R., Wieringa, R.: A Comparison of Petri Net and Activity Diagram Variants. In: Weber, Ehrig, Reisig (eds.): Proc. 2nd. International Colloquium on Petri Net Technologies for Modelling Communication Based Systems (September 2001) 93–104
Eshuis, R., Wieringa, R.: An Execution Algorithm for UML Activity Graphs. In Proc. UML’2001. LNCS 2185, Springer (October 2001)
Ellis, C.A., Gibbs, S.J., & Rein, G.L.: Groupware: some issues and experiences. Communications of the ACM, Vol. 34, No. 1 (January 1991) 38–58
Garrido, J.L., Gea, M., Gutiérrez, F.L., Padilla, N.: Designing Cooperative Systems for Human Collaboration. In: Dieng, R., Giboin, A., Karsenty, L., De Michelis, G. (eds.): Designing Cooperative Systems-The Use of Theories and Models. IOS Press-Ohmsha (2000) 399–412
Garrido, J.L., Gea, M.: Modelling Dynamic Group Behaviours. In: Johnson, C. (ed.): Interactive Systems-Design, Specification and Verification. LNCS 2220. Springer (2001) 128–143
Garrido, J.L., Gea, M., Padilla, N., Cañas, J.J., Waern, Y.: AMENITIES: Modelado de Entornos Cooperativos. In: Aedo, I., Díaz, P., Fernández, C. (eds.): Actas del III Congreso Internacional Interacción Persona-Ordenador 2002 (Interacción’02), Madrid, Spain (Mayo 2002) 97–104
Gehrke, T., Goltz, U., Wehrheim, H.: The dynamic models of UML: Toward a semantics and its application in the development process. Hildesheimer Informatik-Bericht 11/98, Institut fur Informatik, Universitat Hildesheimer (1998)
Gogolla, M., Presicce, F.P.: State Diagrams in UML: A Formal Semantics using Graph Transformations. In Proceeding ICSE’98-Workshop on Precise Semantics of Modeling Techniques (PSMT’98) 55–72
Grudin, J.: Groupware and Cooperative Work: Problems and Prospects. Reprinted in Baecker, R.M. (ed.) Readings in Groupware and Computer Supported Cooperative Work, San Mateo, CA, Morgan Kaufman Publishers (1993) 97–105
Harrison, M., Thimbleby, H. (eds.): Formal Methods in Human-Computer Interaction. Cambridge University Press (1990)
Jensen, K.: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. Second Edition Springer(1996)
Jordan, B.: Ethnographic Workplace Studies and CSCW. In: Shapiro, D., Tauber, M.J., Traunmueller, R. (eds.): The Design of Computer Supported Cooperative Work and Groupware System. North-Holland, Amsterdam (1996) 17–42
King, P., Pooley, R.: Using UML to Derive Stochastic Petri Net Models. In N. Davies and J. Bradley, editors. UKPEW’ 99, Proceedings of the Fifteenth UK Performance EngineeringWorkshop, Department of Computer Science, The University of Bristol (July 1999) 45–56.
Malone, T.W., Crowston, K.: What is Coordination Theory and How Can It Help Design Cooperative Work Systems. Proceedings of the Conference on Computer Supported Cooperative Work (CSCW’90). ACM Press, New York (1990) 357–370
McGrath, J.: Time, Interaction and Performance: a theory of groups. In Readings in Groupware and Computer-Supported Cooperative Work. R. Baecker (ed). Morgan Kaufman (1993)
Nardi, B. (ed): Context and Consciousness: Activity Theory and Human Computer Interaction. MIT Press, Cambridge MA (1995)
OMG: Unified Modelling Language Specification. http://www.omg.org (September 2001)
Palanque, P., Bastide, R.: Synergistic modelling of task, users and systems using formal specification techniques. Interacting with Computers 9 (1997) 129–153
Paternò, F.: Model-based Design and Evaluation of Interactive Applications. Springer-Verlag (2000)
Pettit, R.G., Gomaa, H.: Validation of Dynamic Behavior in UML Using Colored Petri Nets. UML’2000 WORKSHOP. Dynamic Behaviour in UML Models: Semantic Questions. On Line Proceedings (2000) http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/PROGRAM.html
Pinheiro da Silva, P., Paton, N.W.: User Interface Modelling with UML. In Information Modelling and Knowledge Bases XII. 10th European-Japanese Conference on Infomation Modelling and Knowledge Representation. Saariselka, Finland (May 2000). Kangassalo, H., Joakkola, H., Kawaguchi, E. (Eds.) Amsterdam, IOS Press (2001) 203–217
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language-Reference Manual. Addison-Wesley (1999)
Saldhana, J.A., Shatz, S.M.: UML to Object Petri Net Models: An approach for Modeling and Analysis. In Procceding of Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE2000)
Terveen, L.G.: An Overview of Human-Computer Collaboration. In Knolowledge-Based Systems Journal, Special Issue on Human-Computer Collaboration (1995) 67–81
TUPIS'00: Towards a UML Profile for Interactive Systems Development.Workshop of UML’2000. http://math.uma.pt/tupis00/
van der Veer, G.C., van Welie, M.: Task Based Groupware Design: Putting theory into practice. In Proc. of Symposium on Designing Interactive Systems (DIS’2000) New York (August 2000) 326–337
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Garrido, J.L., Gea, M. (2002). A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling. In: Forbrig, P., Limbourg, Q., Vanderdonckt, J., Urban, B. (eds) Interactive Systems:Design, Specification, and Verification. DSV-IS 2002. Lecture Notes in Computer Science, vol 2545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36235-5_2
Download citation
DOI: https://doi.org/10.1007/3-540-36235-5_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00266-6
Online ISBN: 978-3-540-36235-7
eBook Packages: Springer Book Archive