TY - GEN
T1 - A multi-paradigm modeling foundation for collaborative multi-view model/system development
AU - Dávid, István
PY - 2016
Y1 - 2016
N2 - The complexity of current engineered systems has increased drastically over the last decades. Due to this complexity, these systems are typically developed in collaborative settings with stakeholders from different domains involved. A pertinent example is engineering of cyber-physical systems (CPS). Such collaborative endeavours are severely hindered by inconsistencies that arise due to semantic overlaps between different models. Additionally, since the involved domain-specific languages of stakeholders may be very disparate, inconsistencies often do not manifest on the linguistic level. To cope with this problem, we propose an approach that enables better understanding how inconsistencies arise, evolve and how they should be managed. The core of our approach is a rich process modeling formalism that allows modeling multiple aspects of the development workflow in accordance with the guidelines of multiparadigm modeling (MPM). We support our approach with an open-source prototype tool for designing engineering processes, defining inconsistency patterns and their respective management alternatives, and with the ability to optimize the original process for various optimality criteria, such as consistency and costs.
AB - The complexity of current engineered systems has increased drastically over the last decades. Due to this complexity, these systems are typically developed in collaborative settings with stakeholders from different domains involved. A pertinent example is engineering of cyber-physical systems (CPS). Such collaborative endeavours are severely hindered by inconsistencies that arise due to semantic overlaps between different models. Additionally, since the involved domain-specific languages of stakeholders may be very disparate, inconsistencies often do not manifest on the linguistic level. To cope with this problem, we propose an approach that enables better understanding how inconsistencies arise, evolve and how they should be managed. The core of our approach is a rich process modeling formalism that allows modeling multiple aspects of the development workflow in accordance with the guidelines of multiparadigm modeling (MPM). We support our approach with an open-source prototype tool for designing engineering processes, defining inconsistency patterns and their respective management alternatives, and with the ability to optimize the original process for various optimality criteria, such as consistency and costs.
KW - Cyber-physical systems
KW - Inconsistency management
KW - Model-based design
KW - Process engineering
UR - http://www.scopus.com/inward/record.url?scp=85013391459&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85013391459&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85013391459
VL - 1775
T3 - CEUR Workshop Proceedings
BT - 2016 ACM Student Research Competition at MODELS 2016, ACM SRC at MODELS 2016
T2 - 2016 ACM Student Research Competition at MODELS 2016, ACM SRC at MODELS 2016
Y2 - 3 October 2016 through 4 October 2016
ER -