Formal modeling systems-of-systems missions with mKAOS
Eduardo Silva, Thaı́s Batista · 2018
Modeling missions in systems-of-systems is a key activity in the development process of such systems. Since mission models define the objectives and participants of a system-of-systems, they severally impacts on every subsequent artifacts of any development process. In this context, mKAOS was proposed as a semi-formal language for mission description, based on the specific needs of the domain. It provides mechanisms for describing missions, constituent systems, capabilities and emergent behaviors, besides some auxiliary elements. However, as a semi-formal language, mKAOS has several limitations, the inner subjectivity might hampers the early activities of the development process, such as the verification of the mission model and the architectural modeling. This work concerns on this limitation and proposes the introduction of Dyn-BLTL, a formal language for designing dynamic systems, in mKAOS. Such formalization allows the development of verification tools for mission models and for verifying the correspondences between the mission models and the subsequent artifacts of the development process.