Executable use cases: A supplement to model-driven development?

Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007

Volumn , Issue , 2007, Pages 8-15

  Jørgensen, Jens Bæk ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Coloured petri nets (CPN); Model driven development; Requirements and specifications; Requirements engineering; Specification of platform independent models

Indexed keywords

COMPUTER SIMULATION; PETRI NETS; SOFTWARE ENGINEERING; SUPERVISORY AND EXECUTIVE PROGRAMS;

EXECUTABLE USE CASES (EUC); MODEL-DRIVEN DEVELOPMENT; REQUIREMENTS AND SPECIFICATIONS; SPECIFICATION OF PLATFORM-INDEPENDENT MODELS;

REQUIREMENTS ENGINEERING;

EID: 34548170301     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MOMPES.2007.6     Document Type: Conference Paper

References (24)

1. J. Barros and J. Jørgensen. A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design. Nordic Journal of Computing, 12(3):229-250, 2005. An earlier version was published at MOMPES'05.
2. C. Bossen and J. Jørgensen. Context-descriptive Prototypes and Their Application to Medicine Administration. In Proc. of Designing Interactive Systems (DIS) 2004, pages 297-306, Cambridge, Massachusetts, 2004. ACM Press.
3. H. Christensen and J. Bardram. Supporting Human Activities - Exploring Activity-Centered Computing. In Proc. of International Conf. on Ubiquitouos Computing (Ubicomp), volume 2498 of LNCS, pages 107-116, Gothenborg, Sweden, 2002. Springer-Verlag.
4. A. Cockburn. Writing Effective Use Cases. Addison-Wesley, 2000.
5. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987.
6. D. Harel and R. Marelly. Specifying and Executing Behavioural Requirements: The Play-in/Play-out Approach. International Journal on Software and Systems Modeling, 2(2):82-107, 2003.
7. M. Jackson. Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.
8. M. Jackson. Problem Frames - Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.
9. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science. An EATCS Series. Springer, 1992.
10. J. Jørgensen. Addressing Problem Frame Concerns via Coloured Petri Nets and Graphical Animation. In Proc. of 2nd International Workshop on Advances and Applications of Problem Frames (at ICSE 2006), pages 49-57, Shanghai, China, 2006. ACM.
11. J. Jørgensen and C. Bossen. Requirements Engineering for a Pervasive Health Care System. In Proc. of 11th Requirements Engineering Conf., pages 55-64, Monterey Bay, California, 2003. IEEE.
12. J. Jørgensen and C. Bossen. Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications. In Proc. of 3rd International Workshop on Scenarios and State Machines (at ICSE 2004), pages 8-13, Edinburgh, Scotland, 2004. IEE.
13. J. Jørgensen and C. Bossen. Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software, 21(2):34-41, 2004.
14. J. Jørgensen and K. Lassen. Requirements Engineering for the Adviser Portal Bank System. In Proc. of 13th Annual IEEE International Conf. and Workshop on Engineering Computer-Based Systems, pages 259-268, Potsdam, Germany, 2006. IEEE CS.
15. L. Kristensen, S. Christensen, and K. Jensen. The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98-132, 1998.
16. C. Larman. Applying UML and Patterns - An Intro to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall, 2005.
17. J. Magee, N. Pryce, D. Giannakopoulou, and J. Kramer. Graphical Animation of Behaviour Models. In Proc. of 22nd International Conf. on Software Engineering, pages 499-508, Limerick, Ireland, 2000. ACM Press.
18. C. Neill and P. Laplante. Requirements Engineering: The State of the Practice. IEEE Software, 20(6):40-45, 2003.
19. B. Selic. The Pragmatics of Model-Driven Development. IEEE Software, 20(5):19-15, 2003.
20. R. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, 2003.
21. P. Zave and M. Jackson. Four Dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology, pages 1-30, 1997.
22. CPN Tools. www.daimi.au.dk/CPNTools.
23. MDA Resource Page. www.omg.org/mda.
24. UML Resource Page. www.uml.org.