Petri nets: an introduction
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
The unified software development process
The unified software development process
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
The Definition of Standard ML
Executable Design Models for a Pervasive Healthcare Middleware System
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Unifying Petri Nets, Advances in Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Design Methods for Software Systems: YOURDON, Statemate and Uml
Design Methods for Software Systems: YOURDON, Statemate and Uml
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
User interface prototyping based on UML scenarios and high-level Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Hi-index | 0.00 |
In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN models reduce the gap between user-level requirements and the respective implementation, thus simplifying the implementation or code generation. Finally, we discuss the code generation from object-oriented CPN models.