Analyzing Semantic Relationships between Multiformalism Models for Inconsistency Management

TitleAnalyzing Semantic Relationships between Multiformalism Models for Inconsistency Management
Publication TypeConference Paper
Year of Publication2015
AuthorsQamar, A., S. J. I. Herzig, C. J. J. Paredis, and M. Törngren
Conference Name2015 IEEE International Systems Conference
Date Published04/2015
Conference LocationVancouver, Canada
Abstract
The involvement of multiple stakeholders in the design of complex engineered system presents many challenges. One of the challenge is that the overlapping stakeholder concerns leads to semantic relationships appearing between models that describe different aspect of the system. From an inconsistency management perspective, it is critical to investigate how these relationships appear and what are their types. Based on a decision-theoretic foundation, this paper investigates the types of semantic relationships between models developed using multiple formalisms. The key idea is to identify the types of semantic relationships and build an infrastructure to capture them formally and explicitly to support an inconsistency management process. We argue that, semantically, the overlaps between models are either in the sense of equivalence, refinement or abstraction. A classification of inconsistencies that could occur as a result of equivalence between specification models and abstraction or refinement of predictive models is presented. We derive a set of generic rules which can be used to detect such inconsistencies continuously, so that appropriate strategic actions could be taken to resolve them.
Submitted by sherzig on Mon, 04/06/2015 - 1:14pm