Modeling and enactment support for early detection of inconsistencies in engineering processes

István Dávid, Bart Meyers, Ken Vanherpen, Yentl Van Tendeloo, Kristof Berx, Hans Vangheluwe

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

Managing inconsistencies between models is a key challenge in engineering processes of complex systems. Early detection of inconsistencies results in more efficient processes, because it can reduce the amount of re-execution of costly engineering activities. In this paper, we propose an approach for early inconsistency detection in engineering processes. In our approach, the engineering process is explicitly modeled, along with the important characteristics and constraints of the system, imposed by the requirements and system specifications. This information is then used to enact the process and augment it with a run-time consistency monitoring service. Inconsistencies are expressed as a satisfiability problem of the constraints. Early detection of inconsistencies is achieved by monitoring the constraints, that is, checking their satisfiability at specific points of the process. Our approach is supported with a framework which includes a visual process modeling tool, a process enactment engine and a state-of-the-art symbolic solver for early inconsistency detection.

Original languageEnglish
Title of host publicationProceedings of MODELS 2017 Satellite Event
Pages145-154
Number of pages10
Volume2019
Publication statusPublished - 2017
Externally publishedYes
Event2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017 - Austin, United States
Duration: 17 Sep 201722 Sep 2017

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
ISSN (Print)1613-0073

Conference

Conference2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017
CountryUnited States
CityAustin
Period17/09/1722/09/17

Keywords

  • Cyber-physical systems
  • Inconsistency management
  • Mechatronics
  • Multi-paradigm modeling
  • Process modeling

Fingerprint Dive into the research topics of 'Modeling and enactment support for early detection of inconsistencies in engineering processes'. Together they form a unique fingerprint.

Cite this