Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
The Definition of Standard ML
A Reference Model for Requirements and Specifications
IEEE Software
Relating Software Requirements and Architectures Using Problem Frames
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Design Methods for Software Systems: YOURDON, Statemate and Uml
Design Methods for Software Systems: YOURDON, Statemate and Uml
The Pragmatics of Model-Driven Development
IEEE Software
Requirements Engineering for a Pervasive Health Care System
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Requirements Engineering: The State of the Practice
IEEE Software
1st International Workshop on Advances and Applications of Problem Frames
Proceedings of the 26th International Conference on Software Engineering
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
| Hi-index | 0.00 |
To address a frame concern in Jackson's Problem Frames, we must make appropriate descriptions of: (1) the problem domain; (2) the requirements; (3) the specification of the machine. Based on these descriptions, we must give a convincing argument that the given domain properties and the machine specification together entail that the requirements are fulfilled. In this paper, we demonstrate how to address certain frame concerns with the use of the formal modelling language Coloured Petri Nets (CPN). Problem domain description and machine specification are brought together in a CPN model, which is augmented with a graphical animation. The CPN model is executable and we simulate it to address frame concerns. We illustrate the approach on the elevator controller example.