Requirements engineering for the adviser portal bank system

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2006, Pages 259-268

  Jørgensen, Jens Bæk ^a   Lassen, Kristian Bisgaard ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Formal models; Industrial case study; Modelling and simulation of computer systems; Petri nets; Requirements elicitation and analysis

Indexed keywords

ANIMATION; COMPUTER SIMULATION; COMPUTER SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PORTALS; SOFTWARE PROTOTYPING;

ADVISER PORTALS (AP); FORMAL MODELS; INDUSTRIAL CASE STUDY; REQUIREMENTS ANALYSIS; REQUIREMENTS ELICITATION;

REQUIREMENTS ENGINEERING;

EID: 34250009114     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2006.60     Document Type: Conference Paper

References (26)

1. 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.
2. A. Cockburn. Writing Effective Use Cases. Addison-Wesley, 2000.
3. M. Daneva. Lessons Learnt from Five Years of Experience in ERP Requirements Engineering. In Wieringa [25], pages 45-54.
4. A. Gemino. Empirical Comparisons of Animation and Narration in Requirements Validation. Requirements Engineering, 9:153-168, 2004.
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. Problem Frames -Analyzing and Structuring Software Development Problems, Addison-Wesley, 2001.
8. 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.
9. J. Jørgensen and C. Bossen. Requirements Engineering for a Pervasive Health Care System. In Wieringa [25], pages 55-64.
10. 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.
11. J. Jørgensen and C. Bossen. Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software, 21(2):34-41, 2004.
12. 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.
13. S. Lauesen. Task Descriptions as Functional Requirements. IEEE Software, 20(2):58-65, 2003.
14. 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.
15. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML. MIT Press, 1997.
16. C. Potts. From "Requirements Engineering" to "Design for Usefulness". In Proc. of 4th International Symposium on Requirements Engineering, page 189. IEEE CS, 1999.
17. S. Robertson and J. Robertson. Mastering the Requirements Process. Addison Wesley, 1999.
18. C. Salinesi and C. Rolland. Fitting Business Models to System Functionality Exploring the Fitness Relationship. In Proc. of 15th International Conf. on Advanced Information Systems Engineering (CAiSE), volume 2681 of LNCS, pages 647-664, Klagenfurt, Austria, 2003. Springer.
19. A. Sutcliffe. User-Centred Requirements Engineering: Theory and Practice. Springer, 2002.
20. A. Sutcliffe. Scenario-based Requirements Engineering. In Wieringa [25], pages 320-329.
21. W. van der Aalst, J. Jørgensen, and K. Lassen. Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In Proc. of 13th International Cooperative Information Systems Conf., volume 3760 of LNCS, pages 22-39, Agia Napa, Cyprus, 2005. Springer.
22. W. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
23. M. Weiser. The Computer for the 21st Century. Scientific American, 265(3):94-104, 1991.
24. R. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, 2003.
25. R. Wieringa, editor. Proc. of 11th International Requirements Engineering Conf., Monterey Bay, California, 2003. IEEE CS.
26. CPN Tools. www.daimi.au.dk/CPNTools.