Skip to main content
SpringerLink
Log in

A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling

  • Conference paper
  • First Online:
Interactive Systems:Design, Specification, and Verification (DSV-IS 2002)

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

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.

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. Artman, H., Waern, Y.: Distributed Cognition in an Emergency Co-ordination Center. Cognition, Technology and Work, 1 (1999) 237–246

    Article  Google Scholar 

  2. Dix, A.: “Formal Methods for Interactive Systems”. Academic Press (1991)

    Google Scholar 

  3. Ehrlich, K.: Designing Groupware Applications: A Work-Centered Design Approach. In: Beaudouin-Lafon, M. (ed.): Computer Supported Cooperative Work. Wiley (1999) 1–28

    Google Scholar 

  4. 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

    Google Scholar 

  5. Eshuis, R., Wieringa, R.: An Execution Algorithm for UML Activity Graphs. In Proc. UML’2001. LNCS 2185, Springer (October 2001)

    Google Scholar 

  6. 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

    Article  Google Scholar 

  7. 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

    Google Scholar 

  8. 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

    Chapter  Google Scholar 

  9. 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

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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

    Google Scholar 

  12. 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

    Google Scholar 

  13. Harrison, M., Thimbleby, H. (eds.): Formal Methods in Human-Computer Interaction. Cambridge University Press (1990)

    Google Scholar 

  14. Jensen, K.: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. Second Edition Springer(1996)

    Google Scholar 

  15. 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

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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

    Google Scholar 

  18. 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)

    Google Scholar 

  19. Nardi, B. (ed): Context and Consciousness: Activity Theory and Human Computer Interaction. MIT Press, Cambridge MA (1995)

    Google Scholar 

  20. OMG: Unified Modelling Language Specification. http://www.omg.org (September 2001)

  21. Palanque, P., Bastide, R.: Synergistic modelling of task, users and systems using formal specification techniques. Interacting with Computers 9 (1997) 129–153

    Article  Google Scholar 

  22. Paternò, F.: Model-based Design and Evaluation of Interactive Applications. Springer-Verlag (2000)

    Google Scholar 

  23. 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

  24. 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

    Google Scholar 

  25. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language-Reference Manual. Addison-Wesley (1999)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. Terveen, L.G.: An Overview of Human-Computer Collaboration. In Knolowledge-Based Systems Journal, Special Issue on Human-Computer Collaboration (1995) 67–81

    Google Scholar 

  28. TUPIS'00: Towards a UML Profile for Interactive Systems Development.Workshop of UML’2000. http://math.uma.pt/tupis00/

  29. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpt. Lenguajes y Sistemas Informáticos, University of Granada, E.T.S.I. Informática, C/Daniel Saucedo Aranda s/n, 18071, Granada, Spain

    José Luis Garrido & Miguel Gea

Authors
  1. José Luis Garrido
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel Gea
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Rostock, Albert-Einstein-Str. 21, 18051, Rostock, Germany

    Peter Forbrig

  2. Faculty of Economical, Social and Political Sciences (ESPO) School of Management (IAG), Information Systems Unit (ISYS), Université catholique de Louvain (UCL), Place des Doyens, 1, 1348, Louvain-La-Neuve, Belgium

    Quentin Limbourg  & Jean Vanderdonckt  & 

  3. Fraunhofer-Institut für Graphische Datenverarbeitung, Joachim-Jungius-Str. 11, 18059, Rostock, Germany

    Bodo Urban

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation