Search-Based Design of Large Software Systems-of-Systems
2015 (English)In: Proceedings - 3rd International Workshop on Software Engineering for Systems-of-Systems, SESoS 2015, IEEE , 2015, 44-47 p.Conference paper (Refereed)
This work in progress paper presents the foundation for an Automatic Designer of large software systems-of-systems. The core formalism for the Automatic Designer is UML. The Automatic Designer extends UML with a fitness function, which uses analysis of non-functional requirements, utility theory, and stakeholder requirements, as the basis for its design suggestions. This extension logic is formalized using an OCL-based Predictive, Probabilistic Architecture Modeling Framework (called P2AMF). A set of manipulation operators is used on the UML model in order to modify it. Then, from a component library (with OTS products), new components will be introduced to the design. Using operators, a search algorithm will look for an optimal solution.
Place, publisher, year, edition, pages
IEEE , 2015. 44-47 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-161380DOI: 10.1109/SESoS.2015.15ISI: 000380441300008ScopusID: 2-s2.0-84954436370OAI: oai:DiVA.org:kth-161380DiVA: diva2:794498
Third International Workshop on Software Engineering for Systems-of-Systems (SESoS); Florence Italy, May 2015
FunderÅForsk (Ångpanneföreningen's Foundation for Research and Development)
QC 201605172015-03-112015-03-112016-08-23Bibliographically approved