当前位置: X-MOL 学术Sci. Comput. Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the verification of mission-related properties in software-intensive systems-of-systems architectural design
Science of Computer Programming ( IF 1.3 ) Pub Date : 2020-02-14 , DOI: 10.1016/j.scico.2020.102425
Eduardo Silva , Thais Batista , Flavio Oquendo

One of the prominent domains of nowadays software engineering concerns on building and maintaining the so-called system-of-systems (SoS). The activity of integrating independent, potentially heterogeneous, and distributed systems has become remarkable. Designing SoS that consists on integrating independent and behaviorally unknown systems involves several difficulties, specially due to the inner dynamism that hovers SoS. Aiming to support the development of such kind of systems, mission models allows stakeholders to set objectives and resources for SoS, complementing the traditional requirements approach. In a mission model, designers specify the missions of the system and what the system is capable of doing to achieve them. On the other hand, one of the most desired feature of any modeling language is the possibility of formally verifying described properties. Enabling the stakeholders to check the degree of compliance of a model to a given set of properties fosters quality and simplifies the development process by shifting the problem resolution to the design level. The difficulties of SoS modeling also reflect on the verification processes: traditional verification methods were shown noneffective. In this context, this work proposes a method to verify SoS models based on mission-related properties, using the mission modeling language mKAOS and the DynBLTL formalism. Our proposal can be applied to any modeling language, although we exemplify using SosADL, an architectural description language for the SoS context.



中文翻译:

关于软件密集型系统架构设计中与任务相关的属性的验证

当今软件工程的突出领域之一涉及构建和维护所谓的系统系统(SoS)。集成独立的,可能是异构的和分布式系统的活动已变得异常显着。设计由集成独立的和行为未知的系统组成的SoS涉及多个困难,特别是由于徘徊在SoS上的内在动力。旨在支持此类系统,任务模型的开发允许利益相关者为SoS设定目标和资源,以补充传统的需求方法。在任务模型中,设计人员指定系统的任务以及系统能够实现这些任务的能力。另一方面,任何建模语言最期望的功能之一就是可以正式验证所描述的属性。使涉众能够检查模型对给定属性集的符合程度,可以通过将问题解决方案转移到设计级别来提高质量并简化开发过程。SoS建模的困难也反映在验证过程中:传统的验证方法被证明是无效的。在这种情况下,这项工作提出了一种基于任务相关属性验证SoS模型的方法,使用任务建模语言mKAOS和DynBLTL形式主义。我们的建议可以应用于任何建模语言,尽管我们以SoSADL为例,SoSADL是SoS上下文的体系结构描述语言。

更新日期:2020-02-14
down
wechat
bug