Component composition through architectural patterns for problem frames

In this paper, we present a pattern-based software development process using problem frames and corresponding architectural patterns. In decomposing a complex problem into simple subproblems, the relationships between the sub-problems are recorded explicitly. Based on this information, we give guidelines on how to derive the software architecture for the overall problem from the software architectures of the simple subproblems.

[1]  Constance L. Heitmeyer,et al.  Hardware/Software Co-Design and Co-Validation Using the SCR Method , 1999 .

[2]  Flavio Oquendo,et al.  Software Architecture , 2004, Lecture Notes in Computer Science.

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

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

[5]  Bashar Nuseibeh,et al.  Architecture-driven problem decomposition , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[6]  Maritta Heisel,et al.  Architectural patterns for problem frames , 2005, IEE Proc. Softw..

[7]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[8]  Bashar Nuseibeh,et al.  Problem Frames: A Case for Coordination , 2004, COORDINATION.

[9]  M. Malik,et al.  Operating Systems , 1992, Lecture Notes in Computer Science.

[10]  M. Heisel,et al.  Composing architectures based on architectural patterns for problem frames , 2005 .

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

[12]  John Daniels,et al.  UML Components: A Simple Process for Specifying Component-Based Software , 2000 .

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

[14]  Nikolai Mansurov,et al.  Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering , 2001, Comput. Lang..

[15]  Maritta Heisel,et al.  A Model-Based Development Process for Embedded System , 2005, MBEES.

[16]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

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

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

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

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

[21]  Pamela Zave,et al.  Deriving Specifications from Requirements: an Example , 1995, 1995 17th International Conference on Software Engineering.

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