Vis enkel innførsel

dc.contributor.authorHan, Fenglin
dc.contributor.authorHerrmann, Peter Michael
dc.date.accessioned2020-09-14T07:50:16Z
dc.date.available2020-09-14T07:50:16Z
dc.date.created2012-08-12T17:03:34Z
dc.date.issued2012
dc.identifier.citationElectronic Communications of the EASST. 2012, 47en_US
dc.identifier.issn1863-2122
dc.identifier.urihttps://hdl.handle.net/11250/2677538
dc.description.abstractSPACE 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.isoengen_US
dc.publisherEASST, European Association for the study of Science and Technologyen_US
dc.titleRemedy of Mixed Initiative Conflicts in Model-based System Engineeringen_US
dc.typePeer revieweden_US
dc.typeJournal articleen_US
dc.description.versionpublishedVersionen_US
dc.source.volume47en_US
dc.source.journalElectronic Communications of the EASSTen_US
dc.identifier.doihttp://dx.doi.org/10.14279/tuj.eceasst.47.717.723
dc.identifier.cristin938242
dc.description.localcodeOpen Accessen_US
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel