Object-oriented software engineering
Object-oriented software engineering
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Theoretical Computer Science
Concurrent object-oriented programming and petri nets: advances in petri nets
Concurrent object-oriented programming and petri nets: advances in petri nets
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Writing Effective Use Cases
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
Challenges in Implementing a Context-Aware System
IEEE Pervasive Computing
A Formal Service Specification for the Internet Open Trading Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Supporting Human Activities - Exploring Activity-Centered Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
| Hi-index | 0.00 |
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.