Analyzing Semantic Relationships between Multiformalism Models for Inconsistency Management
2015 (English)In: 2015 IEEE International Systems Conference (SysCon 2015) Proceedings, IEEE , 2015, 84-89 p.Conference paper (Refereed)
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. 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 multiformalism models. We argue that the semantic relationships can be formally captured for two cases - between model versions, and between models from a given instant. Further, we argue that semantic overlap for these two cases can be described through three relationships: equivalence, refinement and abstraction. These relationships can lead to the three types of inconsistencies: inconsistent constraints, inconsistent predictions and inconsistencies between specification and analysis. The paper presents a set of generic rules which can be used to detect these inconsistencies.
Place, publisher, year, edition, pages
IEEE , 2015. 84-89 p.
Other Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-171055DOI: 10.1109/SYSCON.2015.7116733ISI: 000380537800014ScopusID: 2-s2.0-84941265770ISBN: 978-147995927-3OAI: oai:DiVA.org:kth-171055DiVA: diva2:841572
IEEE International Systems Conference, Vancouver, Canada 2015
QC 201508042015-07-132015-07-132016-09-23Bibliographically approved