Refining missions to architectures in software-intensive systems-of-systems

An important concern in the design of a software-intensive system-of-systems (SoS) is modeling both global and individual missions to be accomplished by the SoS and its cooperating constituent systems. A first step towards the concretization of mission models is their refinement into architecture descriptions in terms of the constituents able to fulfill the established missions through emergent behaviors. In this context, we introduce M2Arch, a model-based process to refine mission models into architecture descriptions. M2Arch is concerned with the automatic generation of architecture descriptions in SosADL, a formal language to describe SoS software architectures, from mission models in mKAOS, a language to model missions. M2Arch also comes with an associated tool supporting both mission modeling and architecture description as well as validation and simulation of the resulting architectures.