Model-Driven Consistency Checking of Behavioural Specifications
Model-Driven Consistency Checking of Behavioural Specifications
复制标题
DOI：
10.1109/mompes.2007.12
复制
发表时间：
2007-03
期刊：
影响因子：
--
通讯作者：
B. Graaf;A. Deursen
中科院分区：
文献类型：
--
作者：
B. Graaf;A. Deursen
为了开发软件密集型系统，使用不同类型的行为规范。尽管这些规范应该相互一致，但实际情况并非总是如此。结果就是可维护性问题。在本文中，我们提出了一种评估两种类型行为规范一致性的技术：场景和状态机。该技术基于从场景生成状态机。我们使用模型转换指定所需的映射。使用与模型驱动架构相关的技术可以轻松地与广泛采用的 (UML) 工具集成。我们应用我们的技术来评估 Oce 开发的复印机嵌入式软件行为规范的一致性。最后，我们评估该方法并讨论其普遍性和更广泛的适用性
For the development of software intensive systems different types of behavioural specifications are used. Although such specifications should be consistent with respect to each other, this is not always the case in practice. Maintainability problems are the result. In this paper we propose a technique for assessing the consistency of two types behavioural specifications: scenarios and state machines. The technique is based on the generation of state machines from scenarios. We specify the required mapping using model transformations. The use of technologies related to the model driven architecture enables easy integration with widely adopted (UML) tools. We applied our technique to assess the consistency of the behavioural specifications for the embedded software of copiers developed by Oce. Finally, we evaluate the approach and discuss its generalisability and wider applicability