Show simple item record

dc.contributor.authorFiss, Sebastian
dc.contributor.authorKramer, Max E.
dc.contributor.authorLanghammer, Michael
dc.contributor.editorOberweis, Andreas
dc.contributor.editorReussner, Ralf
dc.date.accessioned2017-06-21T07:40:52Z
dc.date.available2017-06-21T07:40:52Z
dc.date.issued2016
dc.identifier.isbn978-3-88579-648-0
dc.identifier.issn1617-5468
dc.description.abstractConstraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated.Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta- Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofModellierung 2016
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-254
dc.titleAutomatically binding variables of invariants to violating elements in an OCL-aligned xbase-languageen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages189-204
mci.conference.locationKarlsruhe
mci.conference.date2.-4. März 2016


Files in this item

Thumbnail

Show simple item record