A UML-based approach for problem frame oriented software development

We propose a software development approach that combines the use of the structuring concepts provided by problem frames, the use of the UML notation, together with our methodological approach for well-founded methods. Problem frames are used to provide a first idea of the main elements of the problem under study. Then we provide ad hoc UML based development methods for some of the most relevant problem frames together with precise guidelines for the users. The general idea of our method is that, for each frame, several artifacts have to be produced, each one corresponding to a part of the frame. The description level may range from informal and sketchy, to formal and precise, while this approach is drawn from experience in formal specifications. Thus we show how problem frames may be used upstream of a development method to yield an improved and more efficient method equipped with the problem frames structuring concepts.

[1]  Zhi Li,et al.  Reasoning about decomposing and recomposing problem frames developments: a case study , 2004 .

[2]  Maritta Heisel,et al.  Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs , 2002, WADT.

[3]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.

[4]  Jacques Julliand,et al.  Approches formelles dans l'assistance au développement de logiciels , 2006 .

[5]  Christine Choppy,et al.  Using CASL to Specify the Requirements and the Design: A Problem Specific Approach , 1999, WADT.

[6]  Gianna Reggio,et al.  Tight Structuring for Precise UML-Based Requirement Specifications , 2002, RISSEF.

[7]  Gianna Reggio,et al.  Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML , 2000, AMAST.

[8]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[9]  Christine Choppy,et al.  A UML-based method for the commanded behaviour frame , 2004 .

[10]  Christine Choppy,et al.  Using UML for Problem Frame Oriented Software Development , 2004, IASSE.

[11]  MSc Mbcs CEng Michael Bronzite BSc.  System Development , 2000, Springer London.

[12]  M. Nelson,et al.  Exploring problem-frame concerns using formal analysis , 2004 .

[13]  S. J. Bleistein,et al.  Problem frames approach for e-business systems , 2004 .

[14]  Dines Bjørner,et al.  Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools , 1997, First IEEE International Conference on Formal Engineering Methods.

[15]  Bashar Nuseibeh,et al.  Relating software requirements and architectures using problem frames , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[16]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[17]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[18]  Axel van Lamsweerde,et al.  Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering] , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[19]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[20]  Alexander L. Wolf,et al.  Software architecture , 2001 .

[21]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[22]  Helen M. Edwards,et al.  Problem frames: analyzing and structuring software development problems , 2002, Softw. Test. Verification Reliab..

[23]  Gianna Reggio,et al.  Towards a well-founded UML-based development method , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[24]  Michael Jackson,et al.  Principles of program design , 1975 .

[25]  Peter D. Mosses,et al.  CASL User Manual , 2004, Lecture Notes in Computer Science.

[26]  Perdita Stevens,et al.  Enriching OCL Using Observational Mu-Calculus , 2002, FASE.

[27]  Luigi Lavazza,et al.  A UML-based Approach for Representing Problem Frames , 2004 .

[28]  Martin Gogolla,et al.  OCL Extended with Temporal Logic , 2003, Ershov Memorial Conference.