文章基本信息

标题：Remedy of Mixed Initiative Conflicts in Model-based System Engineering
本地全文：下载
作者：Fenglin Han ; Peter Herrmann
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2012
卷号：47
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：SPACE is a technique for model-driven engineering of reactive distributedsystems. One of the strengths of its tool-set Arctis is that the system engineercan formally analyze the models for design errors such that these can becorrected early in the development process. In this paper, we go a step further andintroduce a technique that refines the fault detection and, in addition, offers a highlyautomatic mechanism to remedy the errors. For that, we combine model checking,the already existing analysis method of Arctis, with graph transformation. Usinggraph rewriting rules, we can analyze the state space graph of a system for the exact reason of an error as well as remove the erroneous parts of a model by changing themodel description. We exemplify the approach by envisaging the detection and remedyof mixed initiatives, a quite common cause for faulty behavior in event-drivensystems that often is overlooked in system development.