Azadeh Alebrahim
ABSTRACT
We present a structured approach to systematically derive a software architecture from a given problem description based on problem frames and a description of the environment. Our aim is to re-use the elements of the problem descriptions in creating the architecture. The derivation is performed by transforming the problem description into an initial architecture, where each subproblem corresponds to a component. The transformation is supported by model transformation rules, formally specified as operations with pre- and postconditions. This specification serves as a blueprint for a tool supporting the architectural design. We illustrate our method by the example of a patient care system.
- M. Jackson, Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, 2001. Google Scholar
Digital Library
- I. Côté, D. Hatebur, M. Heisel, and H. Schmidt, "UML4PF - a tool for problem-oriented requirements analysis," in Proc. Int. Conf. on Requirements Engineering (RE). IEEE, 2011. Google ScholarDigital Library
- C. Choppy, D. Hatebur, and M. Heisel, "Systematic architectural design based on problem patterns," in Relating Software Requirements and Architectures, P. Avgeriou, J. Grundy, J. Hall, P. Lago, and I. Mistrik, Eds. Springer, 2011, ch. 9, pp. 133--159.Google Scholar
- "UML Revision Task Force", OMG Unified Modeling Language: Superstructure, February 2009, available at http://www.omg.org/docs/formal/09-02-02.pdf.Google Scholar
- T. Klein, U. A. Nickel, J. Niere, and A. Zündorf, "From UML to Java and back again," University of Paderborn, Tech. Rep., 1999.Google Scholar
- A. Schürr, "Specification of graph translators with triple graph grammars," in Proc. of the 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG '94). Springer, 1995. Google ScholarDigital Library
- M. Stölzel, S. Zschaler, and L. Geiger, "Integrating OCL and model transformations in Fujaba," 2006.Google Scholar
- Dresden OCL, "Dresden OCL Toolkit," 2011, www.dresden-ocl.org.Google Scholar
Recommendations
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach
Computational Science and Its Applications – ICCSA 2021AbstractThe critical nature of many complex software-intensive systems requires formal architecture descriptions for supporting automated architectural analysis regarding correctness properties. Due to the challenges of adopting formal approaches, many ...
DSL-based support for semi-automated architectural component model abstraction throughout the software lifecycle
QoSA '12: Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software ArchitecturesIn this paper we present an approach for supporting the semi-automated abstraction of architectural models throughout the software lifecycle. It addresses the problem that the design and the implementation of a software system often drift apart as ...
Towards a UML profile for software architecture descriptions
UML'00: Proceedings of the 3rd international conference on The unified modeling language: advancing the standardTo formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions and research labs. However, more and more research and industrial projects are using ...
Comments