Towards Inconsistency Management by Process-Oriented Dependency Modeling

Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in dierent languages involved in the design. The proper management of inconsistencies starts with choosing the appropriate formalisms to characterize inconsistent situations. In this paper, we introduce a formalism, which allows reasoning about inconsistencies in the context of the design process. We support our ideas by examples from a case study on the design of an unmanned aerial vehicle.

• Type: Journal
• Year: 2015
• Where: MODELS
• Authors: István Dávid, Joachim Denil, Hans Vangheluwe
• Keywords: MODELS 2015, Natural Language Processing