Change search
ReferencesLink to record
Permanent link

Direct link
Analyzing Semantic Relationships between Multiformalism Models for Inconsistency Management
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-4300-885X
2015 (English)In: 2015 IEEE International Systems Conference (SysCon 2015) Proceedings, IEEE , 2015, 84-89 p.Conference paper (Refereed)
Abstract [en]

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.
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:kth:diva-171055DOI: 10.1109/SYSCON.2015.7116733ISI: 000380537800014ScopusID: 2-s2.0-84941265770ISBN: 978-147995927-3OAI: diva2:841572
IEEE International Systems Conference, Vancouver, Canada 2015

QC 20150804

Available from: 2015-07-13 Created: 2015-07-13 Last updated: 2016-09-23Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Törngren, Martin
By organisation
Other Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 41 hits
ReferencesLink to record
Permanent link

Direct link