As the engineering world moves towards collaborative model-driven development, it is becoming increasingly difficult to keep all model artifacts synchronized and consistent across a myriad of tools and domains. The existing literature proposes a variety of solutions, from passive trace links to computing change propagation paths. However, these solutions require manual propagation and the use of a limited set of tools, while also lacking the efficiency and granularity required during the development of complex systems. To overcome these limitations, this paper proposes a solution based on reactive propagation links between property values across multi-domain models managed in different tools. As opposed to the traditional passive links, the propagation links automatically react to changes during engineering to assure the synchronization and consistency of the models. The feasibility and performance of our solution were evaluated in two practical scenarios. We identified a set of change propagation cases, all of which could be resolved using our solution, while also rendering a great improvement in terms of efficiency as compared to manual propagation. The contribution of our solution to the state of the practice is to enhance the engineering process by reducing the burden of manually keeping models synchronized, eliminating inconsistencies that can be originated in artifacts managed in a variety of tool from different domains.
Thu 27 OctDisplayed time zone: Eastern Time (US & Canada) change
15:30 - 17:00 | Systems Eng. & Analysis IITechnical Track / Tools & Demonstrations / Journal-first at A-5502.1 Chair(s): Jean-Michel Bruel Université de Toulouse, France | ||
15:30 22mTalk | Generating repairs for inconsistent modelsJ1st Journal-first Luciano Marchezan , Roland Kretschmer , Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Alexander Reder , Alexander Egyed Johannes Kepler University Linz Link to publication | ||
15:52 22mTalk | Solving the Instance Model-View Update Problem in AADLP&I Technical Track Rakshit Mittal University of Antwerp - Flanders make, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Anish Bhobe Institut Polytechnique de Paris, Soumyadip Bandyopadhyay BITS Pilani | ||
16:15 22mTalk | OSATE-DIM Solves the Instance Model View-Update Problem in AADLDemo Tools & Demonstrations Rakshit Mittal University of Antwerp - Flanders make, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris | ||
16:37 22mTalk | Reactive Links Across Multi-Domain Engineering ModelsP&I Technical Track Cosmina-Cristina Ratiu Johannes Kepler University Linz, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Rainer Haas Linz Center of Mechatronics GmbH, Alexander Egyed Johannes Kepler University Linz |