dc.contributor.author | Han, Fenglin | |
dc.contributor.author | Herrmann, Peter Michael | |
dc.date.accessioned | 2020-09-14T07:50:16Z | |
dc.date.available | 2020-09-14T07:50:16Z | |
dc.date.created | 2012-08-12T17:03:34Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | Electronic Communications of the EASST. 2012, 47 | en_US |
dc.identifier.issn | 1863-2122 | |
dc.identifier.uri | https://hdl.handle.net/11250/2677538 | |
dc.description.abstract | 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. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | EASST, European Association for the study of Science and Technology | en_US |
dc.title | Remedy of Mixed Initiative Conflicts in Model-based System Engineering | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.source.volume | 47 | en_US |
dc.source.journal | Electronic Communications of the EASST | en_US |
dc.identifier.doi | http://dx.doi.org/10.14279/tuj.eceasst.47.717.723 | |
dc.identifier.cristin | 938242 | |
dc.description.localcode | Open Access | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |