Coloured Petri nets and graphical animation: A proposal for a means to address problem frame concerns

Expert Systems

Volumn 25, Issue 1, 2008, Pages 54-73

  Jørgensen, Jens Bæk ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Coloured Petri nets; Correctness arguments; Executable models; Problem frames

Indexed keywords

ANIMATION; COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

COLORED PETRI NETS; CORRECTNESS ARGUMENTS; EXECUTABLE MODELS; PROBLEM FRAMES;

PETRI NETS;

EID: 38149093146     PISSN: 02664720     EISSN: 14680394     Source Type: Journal    
DOI: 10.1111/j.1468-0394.2008.00454.x     Document Type: Conference Paper

References (28)

1. Barros, J. J. Jørgensen (2005) A case study on coloured Petri nets in object-oriented analysis and design, Nordic Journal of Computing, 12 (3), 229 250.
2. Börger, E., E. Riccobene J. Schmid (2000) Capturing requirements by abstract state machines: the light control case study, Journal of Universal Computer Science, 6 (7), 597 620.
3. Choppy, C. G. Reggio (2004) A UML-based method for the commanded behaviour frame, in Proceedings of the 1st International Workshop on Advances and Applications of Problem Frames, K. Cox, J. Hall L. Rapanotti (eds), Stevenage : IEE, 27 34.
4. Clarke, E., O. Grumberg D. Peled (1999) Model Checking, Boston, MA : MIT Press.
5. Desel, J. W. Reisig (1998) Place/transition Petri nets, in Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, LNCS 1491, Berlin : Springer, 122 173.
6. Desel, J., W. Reisig G. Rozenberg (eds) (2004) Lectures on Concurrency and Petri Nets, Advances in Petri Nets, LNCS 3098, Berlin : Springer.
7. Gunter, C., E. Gunter, M. Jackson P. Zave (2000) A reference model for requirements and specifications, IEEE Software, 17 (3), 37 43.
8. Hall, J., M. Jackson, R. Laney, B. Nuseibeh L. Rapanotti (2002) Relating software requirements and architectures using problem frames, in Proceedings of the 10th International Requirements Engineering Conference, New York : IEEE, 137 144.
9. Harel, D. (1987) Statecharts: a visual formalism for complex systems, Science of Computer Programming, 8, 231 274.
10. Jackson, M. (1995) Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices, Reading, MA : Addison-Wesley.
11. Jackson, M. (2001) Problem Frames - Analyzing and Structuring Software Development Problems, Reading, MA : Addison-Wesley.
12. Jackson, M. (2002) Some basic tenets of description, Software and Systems Modeling, 1 (1), 5 9.
13. Jensen, K. (1992-97) Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, Vols 1-3, Monographs in Theoretical Computer Science, Berlin : Springer.
14. Jørgensen, J. (2004) CPN models as enhancements to a traditional software specification for an elevator controller, in Proceedings of the 3rd Workshop on Modelling of Objects, Components, and Agents, Aarhus : University of Aarhus, 99 116 University of Aarhus Technical Report.
15. Jørgensen, J. C. Bossen (2003) Requirements engineering for a pervasive health care system, in Proceedings of the 11th International Requirements Engineering Conference, New York : IEEE, 55 64.
16. Jørgensen, J. K. Lassen (2006) Requirements engineering for the adviser portal bank system, in Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering Computer-based Systems, New York : IEEE, 259 268.
17. Kristensen, L., S. Christensen K. Jensen (1998) The practitioner's guide to coloured Petri nets, International Journal on Software Tools for Technology Transfer, 2 (2), 98 132.
18. Lavazza, L. V. Del Bianco (2004) A UML-based approach for representing problem frames, in Proceedings of the 1st International Workshop on Advances and Applications of Problem Frames, K. Cox, J. Hall L. Rapanotti (eds), Stevenage : IEE, 39 48.
19. Lavazza, L. V. Del Bianco (2006) Combining problem frames and UML in the description of software requirements, in Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, LNCS 3922, Berlin : Springer, 199 213.
20. Magee, J., N. Pryce, D. Giannakopoulou J. Kramer (2000) Graphical animation of behaviour models, in Proceedings of the 22nd International Conference on Software Engineering, New York : ACM Press, 499 508.
21. Milner, R., M. Tofte, R. Harper D. MacQueen (1997) The Definition of Standard ML, Boston, MA : MIT Press.
22. Neill, C. P. Laplante (2003) Requirement engineering: the state of the practice, IEEE Software, 20 (6), 40 45.
23. Nelson, M., T. Nelson, P. Alencar D. Cowan (2004) Exploring problem-frame concerns using formal analysis, in Proceedings of the 1st International Workshop on Advances and Applications of Problem Frames, K. Cox, J. Hall L. Rapanotti (eds), Stevenage : IEE, 61 68.
24. Nuseibeh, B. (2001) Weaving together requirements and architectures, IEEE Computer, 34 (3), 115 117.
25. Selic, B. (2003) The pragmatics of model-driven development, IEEE Software, 20 (5), 19 25.
26. Westergaard, M. K. Lassen (2006) The BRITNeY suite animation tool, in Proceedings of the 27th International Petri Nets Conference, LNCS 4024, Berlin : Springer, 331 340.
27. Wieringa, R. (2003) Design Methods for Reactive Systems: Yourdon, Statemate, and the UML, San Mateo, CA : Morgan Kaufmann.
28. Zave, P. M. Jackson (1997) Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, 6 (1), 1 30.