Skip to main content
SpringerLink
Log in

Coloured Petri Nets in Development of a Pervasive Health Care System

  • Conference paper
  • First Online:
Applications and Theory of Petri Nets 2003 (ICATPN 2003)

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

Included in the following conference series:

Abstract

Pervasive computing implies new challenges for software developers. In addition to tackling common problems pertaining to IT systems in general, new issues like mobility and context-awareness must be dealt with. The contribution of this paper is to demonstrate that Coloured Petri Nets (CPN) have potential as an aid in the development of pervasive systems. On a case study of a pervasive health care system for the hospitals in Aarhus, Denmark, we describe how CPN are applied in the everyday software development disciplines of requirements engineering and design. A number of the observations made in the case study are of a nature making them applicable to use of CPN in development of pervasive systems in general.

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. Agha, F.D. Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of LNCS. Springer-Verlag, 2001.

    MATH  Google Scholar 

  2. C. Andre, M.A. Peraldi-Frati, and J.P. Rigault. Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag Jézéquel et al. [18].

    Google Scholar 

  3. J. Bardram and H.B. Christensen. Middleware for Pervasive Healthcare, A White Paper. In Workshop on Middleware for Mobile Computing, Heidelberg, Germany, 2001.

    Google Scholar 

  4. L. Baresi and M. Pezzé. On Formalizing UML with High-Level Petri Nets. In F.D. Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of LNCS. Springer-Verlag, 2001 Agha et al. [1].

    Chapter  Google Scholar 

  5. M. v.d. Beeck. Formalization of UML-Statecharts. In C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag Gogolla and Kobryn [14].

    Google Scholar 

  6. F. Buschmann, R. Meunier, H. Rohnert, and P. Sommerlad. Pattern-Oriented Software Architecture. John Wiley and Sons, 1996.

    Google Scholar 

  7. L. Cardelli and A.D. Gordon. Mobile Ambients. In D. Le Métayer, editor, Theoretical Computer Science, Special Issue on Coordination, volume 240/1. Elsevier, 2000.

    Google Scholar 

  8. H.B. Christensen and J.E. Bardram. Supporting Human Activities — Exploring Activity-Centered Computing. In G. Borriello and L.E. Holmquist, editors, 4th Ubicomp Conference, volume 2498 of LNCS, Gothenborg, Sweden, 2002. Springer-Verlag.

    Google Scholar 

  9. A. Cockburn. Writing Effective Use Cases. Addison-Wesley, 2000.

    Google Scholar 

  10. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems — Concepts and Design. Addison-Wesley, 2001.

    Google Scholar 

  11. M. Elkoutbi and R.K. Keller. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27].

    Google Scholar 

  12. G. Engels, R. Heckel, and S. Sauer. UML — A Universal Modeling Language? In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27].

    Google Scholar 

  13. R. Eshuis and R. Wieringa. An Execution Algorithm for UML Activity Graphs. In C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag Gogolla and Kobryn [14].

    Google Scholar 

  14. M. Gogolla and C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag.

    Google Scholar 

  15. S. Gordon and J. Billington. Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27].

    Google Scholar 

  16. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.

    Google Scholar 

  17. K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 1992.

    Google Scholar 

  18. J.M. Jézéquel, H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag.

    Google Scholar 

  19. J.B. Jørgensen. Coloured Petri Nets in UML-Based Software Engineering — Designing Middleware for Pervasive Healthcare. In K. Jensen, editor, Proceedings of the 3rd CPN Workshop, Aarhus, Denmark, 2002. Technical report, Department of Computer Science, University of Aarhus.

    Google Scholar 

  20. J.B. Jørgensen and C. Bossen. Executable Use Cases for Pervasive Healthcare. In Moldt [25].

    Google Scholar 

  21. J.B. Jørgensen and S. Christensen. Executable Design Models for a Pervasive Healthcare Middleware System. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag Jézéquel et al. [18].

    Google Scholar 

  22. M. Köhler, D. Moldt, and H. Rölke. Modelling the Structure and Behaviour of Petri Net Agents. In J.-M. Colom and M. Koutny, editors, Proceedings of the 22nd PN Conference, volume 2075 of LNCS, Newcastle, UK, 2001. Springer-Verlag.

    Google Scholar 

  23. M. Köhler and H. Rölke. Modelling Mobility and Mobile Agents using Nets within Nets. In Moldt [25].

    Google Scholar 

  24. L.M. Kristensen, S. Christensen, and K. Jensen. The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 1998.

    Google Scholar 

  25. D. Moldt, editor. Proceedings of the 2nd MOCA Workshop, Aarhus, Denmark, 2002. Technical report, Department of Computer Science, University of Aarhus.

    Google Scholar 

  26. K.H. Mortensen. Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. In D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag Nielsen and Simpson [27].

    Google Scholar 

  27. M. Nielsen and D. Simpson, editors. Proceedings of 21st PN Conference, volume 1825 of LNCS, Aarhus, Denmark, 2000. Springer-Verlag.

    Google Scholar 

  28. OMG Unified Modeling Language Specification, Version 1.4. Object Management Group (OMG); UML Revision Taskforce, 2001.

    Google Scholar 

  29. C. Ouyang, L.M. Kristensen, and J. Billington. A Formal Service Specification for the Internet Open Trading Protocol. In J. Esparza and C. Lakos, editors, Proceedings of the 23rd PN Conference, volume 2360 of LNCS, Adelaide, Australia, 2002. Springer-Verlag.

    Google Scholar 

  30. S. Pllana and T. Fahringer. On Customizing the UML for Modeling Performance-Oriented Applications. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag Jézéquel et al. [18].

    Google Scholar 

  31. J. Rumbaugh. The Preacher at Arrakeen. In C. Kobryn, editors. Proceedings of the 4th UML Conference, volume 2185 of LNCS, Toronto, Canada, 2001. Springer-Verlag Gogolla and Kobryn [14].

    Google Scholar 

  32. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.

    Google Scholar 

  33. J. Saldhana and S.M. Shatz. UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Chicago, Illinois, 2000.

    Google Scholar 

  34. M. Satyanarayanan. Challenges in Implementing a Context-Aware System. In Pervasive Computing — Mobile and Ubiquitous Systems, volume 1(3). IEEE, 2002.

    Google Scholar 

  35. M. Satyanarayanan, editor. Pervasive Computing — Mobile and Ubiquitous Systems, volume 1(1). IEEE, 2002.

    Google Scholar 

    Google Scholar 

  36. A.J.H. Simons and I. Graham. 30 Things That Go Wrong in Object Modelling with UML 1.3. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, 1999.

    Google Scholar 

  37. T. Sturm, J. von Voss, and M. Boger. Generating Code from UML with Velocity Templates. In H. Hussmann, and S. Cook, editors. Proceedings of the 5th UML Conference, volume 2460 of LNCS, Dresden, Germany, 2002. Springer-Verlag Jézéquel et al. [18].

    Google Scholar 

  38. W.M.P. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.

    Google Scholar 

  39. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland, 2000. ACM Press.

    Google Scholar 

  40. M. Weiser. The Computer for the 21st Century. In Scientific American, volume 265(3). Scientific American, Inc., 1991.

    Google Scholar 

  41. G. Wirtz. Application of Petri Nets in Modelling Distributed Software Systems. In D. Moldt, editor, Proceedings of the 1st MOCA Workshop, Aarhus, Denmark, 2001. Technical report, Department of Computer Science, University of Aarhus.

    Google Scholar 

  42. Aarhus Amt Electronic Patient Record. www.epj.aaa.dk.

    Google Scholar 

  43. Centre for Pervasive Computing. www.pervasive.dk.

    Google Scholar 

  44. CORBA. www.corba.org.

    Google Scholar 

  45. Design/CPN. www.daimi.au.dk/designCPN.

    Google Scholar 

  46. J2EE. www.java.sun.com/j2ee.

    Google Scholar 

  47. MDA. www.omg.org/mda.

    Google Scholar 

  48. Pervasive Healthcare. www.healthcare.pervasive.dk.

    Google Scholar 

  49. Radio Frequency Identification. www.rfid.org.

    Google Scholar 

  50. Systematic Software Engineering A/S. www.systematic.dk.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Pervasive Computing Department of Computer Science, University of Aarhus, Aabogade 34, DK-8200, Aarhus N, Denmark

    Jens Bæk Jørgensen

Authors
  1. Jens Bæk Jørgensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jørgensen, J.B. (2003). Coloured Petri Nets in Development of a Pervasive Health Care System. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation