10 years of Model Federation with Openflexo: Challenges and Lessons Learned
Authors: 
Jean-Christophe Bach, Antoine Beugnard, Joël Champeau, Fabien Dagnat, Sylvain Guérin, Salvador MartínezAuthors Info & Claims
Pages 25 - 36
Abstract
In the context of complex system development, heterogeneous modeling responds to the need to integrate several domains. This need requires the use of the most appropriate formalism and tooling for each domain to be efficient. Model federation promotes the semantic interoperability of heterogeneous models by providing the means to reify correspondences between different model elements, add custom behaviors and bridge the gap between technological spaces. As such, it can be used as an infrastructure to address many different system engineering problems. This is what we have been doing for over a decade, as part of a close collaboration between a small software engineering startup and academia. This paper reports on this experience.
Concretely, we discuss the context, ambitions, and challenges that led to the inception of our practice of model federation, and we present five use cases experiences, stemming from real industrial and academic needs, and elaborate on lessons learned. In addition, we also report on challenges and lessons learned regarding the development and maintenance of a model-driven model federation tool, the Openflexo framework. Finally, we set up a road map for the future of model federation and Openflexo.
References
[1]
Colin Atkinson and Thomas Kühne. 2008. Reducing accidental complexity in domain models. Software & Systems Modeling 7, 3 (2008), 345--359. https://doi.org/10.1007/s10270-007-0061-0
[2]
Colin Atkinson, Christian Tunjic, and Torben Möller. 2015. Fundamental realization strategies for multi-view specification environments. In 2015 IEEE 19th International Enterprise Distributed Object Computing Conference. IEEE, 40--49. https://doi.org/10.1109/EDOC.2015.17
[3]
Omar Badreddin, Rahad Khandoker, Andrew Forward, Omar Masmali, and Timothy C. Lethbridge. 2018. A decade of software design and modeling: A survey to uncover trends of the practice. In Proceedings of the 21th acm/ieee international conference on model driven engineering languages and systems. ACM, 245--255.
[4]
Manas Bajaj, Jonathan Backhaus, Tim Walden, Manoj Waikar, Dirk Zwemer, Chris Schreiber, Ghassan Issa, Intercax, and Lockheed Martin. 2017. Graph-Based Digital Blueprint for Model Based Engineering of Complex Systems. In INCOSE International Symposium, Vol. 27. Wiley Online Library, 151--169.
[5]
Manas Bajaj, Dirk Zwemer, Rose Yntema, Alex Phung, Amit Kumar, Anshu Dwivedi, and Manoj Waikar. 2016. MBSE++ --- Foundations for Extended Model-Based Systems Engineering Across System Lifecycle. In INCOSE International Symposium, Vol. 26. Wiley Online Library, 2429--2445.
[6]
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, and Michael von Wenckstern. 2017. Component and connector views in practice: An experience report. In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 167--177.
[7]
Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, and Christophe Guychard. 2015. Des situations de modélisation pour décrire un processus de modélisation. Ingénierie des systèmes d'information 20, 2 (2015), 41--66. https://doi.org/10.3166/isi.20.2.41-66 English translation available: https://p4s.enstb.org/docs/articles/isi2015-English_translation.pdf.
[8]
Jean Bézivin. 2005. On the unification power of models. Software & Systems Modeling 4, 2 (2005), 171--188. https://doi.org/10.1007/s10270-005-0079-0
[9]
Jean Bézivin, Frédéric Jouault, and Patrick Valduriez. 2004. On the need for megamodels. In proceedings of the OOPSLA/GPCE: best practices for model-driven software development workshop, 19th Annual ACM conference on object-oriented programming, systems, languages, and applications. 1--9.
[10]
Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark van den Brand, and Manuel Wimmer. 2020. Towards model-driven digital twin engineering: Current opportunities and future challenges. In Systems Modelling and Management: First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings 1. Springer, 43--54.
[11]
Artur Boronat, Alexander Knapp, José Meseguer, and Martin Wirsing. 2009. What is a multi-modeling language?. In Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers 19, Andrea Corradini and Ugo Montanari (Eds.). Springer, 71--87.
[12]
Chahrazed Boudjemila, Fabien Dagnat, and Salvador Martínez. 2023. Towards evolving secured multi-model systems with model federation. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 939--943.
[13]
Hugo Bruneliere, Jokin Garcia Perez, Manuel Wimmer, and Jordi Cabot. 2015. EMF Views: A View Mechanism for Integrating Heterogeneous Models. In Conceptual Modeling: 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings 34, Paul Johannesson, Mong Li Lee, Stephen W. Liddle, Andreas L. Opdahl, and Óscar Pastor López (Eds.). Springer, 317--325.
[14]
Antonio Cicchetti, Federico Ciccozzi, and Alfonso Pierantonio. 2019. Multi-view approaches for software and system modelling: a systematic literature review. Software & Systems Modeling 18 (2019), 3207--3233.
[15]
Justin Cooper, Alfonso De la Vega, Richard Paige, Dimitris Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Piña, and Horacio Hoyos Rodriguez. 2021. Model-based development of engine control systems: Experiences and lessons learnt. In 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 308--319.
[16]
Istvan David, Kousar Aslam, Ivano Malavolta, and Patricia Lago. 2023. Collaborative Model-Driven Software Engineering-A systematic survey of practices and needs in industry. Journal of Systems and Software 199 (2023), 111626.
[17]
Istvan David, Malvina Latifaj, Jakob Pietron, Weixing Zhang, Federico Ciccozzi, Ivano Malavolta, Alexander Raschke, Jan-Philipp Steghöfer, and Regina Hebig. 2023. Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study. Software & Systems Modeling 22, 1 (2023), 415--447.
[18]
Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado. 2014. When and how to use multilevel modelling. ACM Transactions on Software Engineering and Methodology (TOSEM) 24, 2 (2014), 1--46.
[19]
Andreas Demuth, Markus Riedl-Ehrenleitner, Alexander Nöhrer, Peter Hehenberger, Klaus Zeman, and Alexander Egyed. 2015. Designspace: an infrastructure for multi-user/multi-tool engineering. In Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, 1486--1491.
[20]
Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, and Richard W. Buskens. 2008. NAOMI-an experimental platform for multi-modeling. In Model Driven Engineering Languages and Systems: 11th International Conference, MODELS 2008, Toulouse, France, September 28-October 3, 2008. Proceedings 11, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, and Markus Völter (Eds.). Springer, 143--157.
[21]
Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold, Saloua Bennani, Mahmoud Nassar, Adil Anwar, Antoine Beugnard, Jean-Christophe Bach, Yassine Jamoussi, and Hanh Nhi Tran. 2016. Alignment of viewpoint heterogeneous design models: Emergency Department Case Study. In 4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016. 18--27. https://hal.archives-ouvertes.fr/hal-01436169
[22]
Jacky Estublier, Anh-Tuyet Le, and Jorge Villalobos. 2001. Using federations for flexible SCM systems. In International Workshop on Software Configuration Management. Springer, 163--176.
[23]
Martin Gogolla, Robert Clarisó, Bran Selic, and Jordi Cabot. 2021. Towards facilitating the exploration of informal concepts in formal modeling tools. In 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 244--248.
[24]
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, and Christophe Guychard. 2016. Continuous Requirements Engineering Using Model Federation. In 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE, 347--352. https://doi.org/10.1109/RE.2016.42
[25]
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, and Christophe Guychard. 2016. Using Free Modeling as an Agile Method for Developing Domain Specific Modeling Languages. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16). ACM, 24--34. https://doi.org/10.1145/2976767.2976807
[26]
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, and Sylvain Guérin. 2018. Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. In Software Engineering and Formal Methods, Einar Broch Johnsen and Ina Schaefer (Eds.). Springer, 54--69.
[27]
Esther Guerra and Juan de Lara. 2018. On the quest for flexible modelling. In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'18). ACM, 23--33. https://doi.org/10.1145/3239372.3239376
[28]
Christophe Guychard, Sylvain Guérin, Ali Koudri, Antoine Beugnard, and Fabien Dagnat. 2013. Conceptual interoperability through models federation. In Semantic Information Federation Community Workshop / 16th International Conference, MODELS 2013. 23.
[29]
Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, and Salvador Martínez. 2022. Multi-Level Modeling with Openflexo/FML: A Contribution to the Multi-Level Process Challenge. Enterprise Modelling and Information Systems Architectures (EMISAJ) 17, 9 (2022), 1--21. https://doi.org/10.18417/emisa.17.9
[30]
Regina Hebig, Andreas Seibel, and Holger Giese. 2012. On the Unification of Megamodels. Electronic Communications of the EASST 42 (May 2012), 12. https://doi.org/10.14279/tuj.eceasst.42.704
[31]
Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró. 2012. Query-driven soft interconnection of EMF models. In International Conference on Model Driven Engineering Languages and Systems. Springer, 134--150.
[32]
John Hutchinson, Jon Whittle, and Mark Rouncefield. 2014. Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure. Science of Computer Programming 89 (2014), 144--161.
[33]
ISO/TC 184/SC 5 Interoperability, integration, and architectures for enterprise systems and automation applications committee. 1998. Industrial automation systems and integration - Concepts and rules for enterprise models. Standard ISO 14258:1998. International Organization for Standardization, Geneva, CH. https://www.iso.org/standard/24020.html
[34]
ISO/IEC/IEEE. 2011. Systems and software engineering-architecture description. ISO/IEC/IEEE 42010: 2011 (E)(Revision of ISO/IEC 42010: 2007 and IEEE Std 1471-2000) 2011 (2011), 1--46.
[35]
Rodi Jolak, Truong Ho-Quang, Michel R.V. Chaudron, and Ramon R.H. Schiffelers. 2018. Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts. In Proceedings of the 21th ACM/IEEE international conference on model driven engineering languages and systems (MODELS'18). ACM, 213--223. https://doi.org/10.1145/3239372.3239404
[36]
Wolfgang Kling, Frédéric Jouault, Dennis Wagelaar, Marco Brambilla, and Jordi Cabot. 2012. MoScript: A DSL for Querying and Manipulating Model Repositories. In Software Language Engineering, Anthony Sloane and Uwe Aßmann (Eds.). Springer, 180--200.
[37]
Dimitrios Kolovos, Richard Paige, and Fiona Polack. 2006. Merging models with the epsilon merging language (eml). In International Conference on Model Driven Engineering Languages and Systems. Springer, 215--229.
[38]
Dimitrios Kolovos, Richard Paige, and Fiona Polack. 2006. The Epsilon Object Language (EOL). In European conference on model driven architecture-foundations and applications. Springer, 128--142.
[39]
Dimitrios Kolovos, Louis Rose, Richard Paige, and Antonio García-Domínguez. 2010. The Epsilon Book. Eclipse. https://eclipse.dev/epsilon/doc/book/
[40]
Ivan Kurtev, Jean Bézivin, and Mehmet Aksit. 2002. Technological spaces: An initial appraisal. In 4th International Symposium on Distributed Objects and Applications, DOA 2002. 1--6.
[41]
Juan de Lara and Hans Vangheluwe. 2002. AToM 3: A Tool for Multi-formalism and Meta-modelling. In Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings 5. Springer, 174--188.
[42]
Tom Leclerc, Soumya Paul, Jussi Roberts, Fabien Dagnat, Florian Ledoux, Jean-Christophe Bach, Marcus Wallum, Nicky Mezzina, Daniel Fischer, Sylvain Guérin, Ihab Benamer, and Pierre Jeanjean. 2023. A flexible and robust framework for the secure systems engineering of space missions. In 17th International Conference on Space Operations 2023. 19 pages. https://hal.science/hal-04045293
[43]
Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, and Jörgen Hansson. 2018. Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice. Software & Systems Modeling 17 (2018), 91--113.
[44]
Keila Lima, Ludovico Iovino, Maria Teresa Rossi, Rogardt Heldal, Tosin Daniel Oyetoyan, and Martina De Sanctis. 2023. Marine Data Observability using KPIS: An MDSE Approach. In 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 24--35.
[45]
Salvador Martínez, Sebastien Gerard, and Jordi Cabot. 2019. On the need for intellectual property protection in model-driven co-engineering processes. In Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Proceedings 20. Springer, 169--177.
[46]
Constantin Masson, Jonathan Corley, and Eugene Syriani. 2017. Feature Model for Collaborative Modeling Environments. In Models (satellite events). 164--173.
[47]
Abderrahman Matoussi, Frédéric Gervais, and Régine Laleau. 2011. A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. In 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, Isabelle Perseil, Karin K. Breitman, and Roy Sterritt (Eds.). IEEE, 139--148.
[48]
Aleandro Mifsud, Georgia Samaritaki, Ulyana Tikhonova, and Jouke Stoel. 2023. Transforming an Internal Textual DSL into a Blended Modelling Environment. In Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT 2023). ACM, 51--61. https://doi.org/10.1145/3623504.3623572
[49]
Parastoo Mohagheghi and Vegard Dehlen. 2008. Where is the proof? -a review of experiences from applying mde in industry. In Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings 4. Springer, 432--443. https://doi.org/10.1007/978-3-540-69100-6_31
[50]
Arne Nordmann and Peter Munk. 2018. Lessons learned from model-based safety assessment with SysML and component fault trees. In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. ACM, 134--143.
[51]
Richard F Paige and Dániel Varró. 2012. Lessons learned from building modeldriven development tools. Software & Systems Modeling 11 (2012), 527--539.
[52]
Cosmina Cristina Raţiu, Wesley K.G. Assunção, Rainer Haas, and Alexander Egyed. 2022. Reactive links across multi-domain engineering models. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. ACM, 76--86.
[53]
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, and Marsha Chechik. 2020. Heterogeneous megamodel management using collection operators. Software and Systems Modeling 19, 1 (2020), 231--260. https://doi.org/10.1007/s10270-019-00738-9
[54]
Andreas Seibel, Stefan Neumann, and Holger Giese. 2010. Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Software & Systems Modeling 9, 4 (2010), 493--528. https://doi.org/10.1007/s10270-009-0146-z
[55]
Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: eclipse modeling framework. Pearson Education.
[56]
Perdita Stevens. 2020. Connecting Software Build with Maintaining Consistency between Models: Towards sound, optimal, and flexible building from megamodels. Software & Systems Modeling 19, 4 (March 2020), 935--958. https://doi.org/10.1007/s10270-020-00788-4
[57]
Eugene Syriani, Hans Vangheluwe, Raphael Mannadiar, Conner Hansen, Simon Van Mierlo, and Huseyin Ergin. 2013. AToMPM: A web-based modeling environment. In Joint proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013): September 29-October 4, 2013, Miami, USA. 21--25.
[58]
Steve Tueno, Régine Laleau, Amel Mammar, and Marc Frappier. 2017. Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW). IEEE, 1--5. https://doi.org/10.1109/REW.2017.22
[59]
Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, and Hugo Brunelière. 2013. Typing artifacts in megamodeling. Software & Systems Modeling 12, 1 (2013), 105--119. https://doi.org/10.1007/s10270-011-0191-2
[60]
Dustin Wüest and Martin Glinz. 2011. Flexible sketch-based requirements modeling. In Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings 17 (Lecture Notes in Computer Science). Springer, 100--105. https://doi.org/10.5167/uzh-55685
Index Terms
- 10 years of Model Federation with Openflexo: Challenges and Lessons Learned
Recommendations
Lessons learned from building model-driven development tools
Tools to support modelling in system and software engineering are widespread, and have reached a degree of maturity where their use and availability are accepted. Tools to support model-driven development (MDD)--where models are manipulated and managed ...
Model Federation based on Role Modeling
MODELSWARD 2019: Proceedings of the 7th International Conference on Model-Driven Engineering and Software DevelopmentModeling approaches could be a powerful solution for specification, design and analysis. At a system level, models must take into account many system concerns. Thus, several system modeling approaches are based on several viewpoints expressed in Domain ...
Maintaining Security Consistency During System Development with Security-Oriented Model Federation
ICSSP '24: Proceedings of the 2024 International Conference on Software and Systems ProcessesMulti-modeling is an approach within the MDE realm that promotes the development of complex systems by decomposing them in sets of heterogeneous models. These models are defined using different modeling languages and constructed using diverse tools. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2024
311 pages
ISBN:9798400705045
DOI:10.1145/3640310
- General Chairs:
- Alexander Egyed,
- Manuel Wimmer,
- Program Chairs:
- Marsha Chechik,
- Benoit Combemale
Copyright © 2024 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
- Johannes Kepler University, Linz, Austria
- SIGSOFT: ACM Special Interest Group on Software Engineering
- IEEE CS
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 22 September 2024
Check for updates
Badges
Best Paper
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
MODELS '24
Sponsor:
MODELS '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 22 - 27, 2024
Linz, Austria
Acceptance Rates
Overall Acceptance Rate 118 of 382 submissions, 31%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 16Total Downloads
- Downloads (Last 12 months)16
- Downloads (Last 6 weeks)16
Reflects downloads up to 28 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in