Enhancing problem frames with scenarios and histories in UML-based software development

Expert Systems

Volumn 25, Issue 1, 2008, Pages 28-53

  Del Bianco, Vieri ^a   Lavazza, Luigi ^a,b  

^a UNIVERSITY OF INSUBRIA   (Italy)

^b CEFRIEL   (Italy)

Author keywords

Histories; Problem frames; Scenarios; Sequence diagrams; UML

Indexed keywords

INFORMATION TECHNOLOGY; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; UNIFIED MODELING LANGUAGE;

ACTUAL DEVELOPMENT PHASES; PROBLEM FRAMES METHODOLOGY; REQUIREMENTS MODELING; SEQUENCE DIAGRAMS;

SOFTWARE ENGINEERING;

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

References (30)

1. Beck, K. (1999) eXtreme Programming eXplained, Reading, MA : Addison-Wesley.
2. del Bianco, V. L. Lavazza (2006) Enhancing problem frames with scenarios and histories: a preliminary study, in 2nd International Workshop on Advances and Applications of Problem Frames, New York, ACM, 25 32.
3. Bontemps, Y. (2002) Automated verification of state-based specifications against scenarios, Facultés Universitaires Notre-Dame de la Paix, Institut d'Informatique.
4. Bontemps, Y. P. Heymans (2002) Turning high-level live sequence charts into automata, in Scenarios and State-Machines: Models, Algorithms and Tools Workshop, 24th International Conference on Software Engineering.
5. Buschmann, F., R. Meunier, H. Rohnert, P. Sommerlad M. Stal (1996) Pattern-Oriented Software Architecture, Vol. 1: A System of Patterns, Reading, MA : Addison-Wesley.
6. Choppy, C. G. Reggio (2004a) Using UML for problem frame oriented software development, in International Conference on Intelligent and Adaptive Systems and Software Engineering, ISCA, 239 244.
7. Choppy, C. G. Reggio (2004b) A UML-based method for the commanded behaviour frame, in Proceedings of the International Workshop on Advances and Applications of Problem Frames, K. Cox, J. Hall L. Rapanotti (eds), Stevenage : IEE, 27 34.
8. Choppy, C. G. Reggio (2005) A UML-based approach for problem frame oriented software development, Journal of Information and Software Technology, 47 (14), 929 954.
9. Choppy, C., D. Hatebur M. Heisel (2005) Composing architectures based on architectural patterns for problem frames, Technical Report of the Laboratoire d'Informatique de l'Université Paris-Nord, December.
10. Cockburn, A. (2004) Crystal Clear: A Human-powered Methodology for Small Teams, Reading, MA : Addison-Wesley.
11. Colombo, P., V. del Bianco, L. Lavazza A. Coen-Porisini (2006) An experience in modeling real-time systems with SysML, in International Workshop on Modeling and Analysis of Real-Time and Embedded Systems, Genova, 157 174.
12. Cox, K., J.G. Hall L. Rapanotti (2005) A roadmap of problem frames research, Journal of Information and Software Technology, 47 (14), 891 902.
13. Felder, M. A. Morzenti (1994) Validating real-time systems by history-checking TRIO specifications, ACM Transactions on Software Engineering and Methodology, 3 (4), 308 339.
14. Ghezzi, C., D. Mandrioli A. Morzenti (1990) TRIO: a logic language for executable specifications of real-time systems, Journal of Systems and Software, 12 (2), 107 123.
15. Hall, J.G., L. Rapanotti M. Jackson (2005) Problem frame semantics for software development, Software and Systems Modeling, 4 (2), 189 198.
16. Harel, D. (2001) From play-in scenarios to code: an achievable dream, IEEE Computer, 34 (1), 53 60.
17. Harel, D. H. Kugler (2002) Synthesizing state-based object systems from LSC specifications, International Journal of Foundations of Computer Science, 13 (1), 5 51.
18. Jackson, M. (2001) Problem Frames - Analysing and Structuring Software Development Problems, Reading, MA : Addison-Wesley.
19. Jacobson, I., G. Booch J. Rumbaugh (1999) The Unified Software Development Process, Reading, MA : Addison-Wesley.
20. Kamp, H.W. (1968) Tense logic and the theory of linear order, PhD thesis, University of California at Los Angeles.
21. Laney, R., L. Barroca, M. Jackson B. Nuseibeh (2004) Composing requirements using problem frames, in International Requirements Engineering Conference, Washington, DC : IEEE Computer Society, 122 131.
22. Lavazza, L. V. del Bianco (2006) Combining problem frames and UML in the description of software requirements, Fundamental Approaches to Software Engineering, Berlin : Springer, 199 213.
23. Lavazza, L., S. Morasca A. Morzenti (2004) A dual language approach to the development of time-critical systems with UML, in International Workshop on Test and Analysis of Component Based Systems, Barcelona, pp. 227 239.
24. OMG (2005) Unified Modeling Language: Superstructure v. 2.0, formal/2005-07-04. August 2005.
25. OMG (2006) Object Constraint Language (OCL) v. 2.0, formal/2006-05-01. April 2006.
26. Pnueli, A. (1977) The temporal logic of programs, in 18th Annual Symposium on Foundations of Computer Science, New York : IEEE Computer Society Press, 46 57.
27. Rapanotti, L., J.G. Hall, M. Jackson B. Nuseibeh (2004) Architecture-driven problem decomposition, in IEEE International Conference on Requirements Engineering, Washington, DC : IEEE Computer Society, 80 89.
28. Rashid, A., P. Sawyer, A. Moreira J. Araujo (2002) Early aspects: a model for aspect-oriented requirements engineering, in International Conference on Requirements Engineering, Washington, DC : IEEE Computer Society, 199 202.
29. Rosenberg, D. K. Scott (1999) Use Case Driven Object Modeling with UML: A Practical Approach, Object Technology Series, Reading, MA : Addison-Wesley.
30. Sutcliffe, A.G., N.A.M. Maiden, S. Minocha D. Manuel (1998) Supporting scenario-based requirements engineering, IEEE Transactions on Software Engineering, 24 (12), 1072 1088.