ABSTRACT
Eventual consistency between design and implementation is imperative for the quality and maintainability of software systems. Towards achieving this consistency, engineers can analyze the gaps between models and corresponding code to gain insights into differences between design and implementation. Due to the different levels of abstraction of the involved artifacts, this analysis is a complex task to automate. We study an industrial MBSE setting where we aim to provide model-code gap analysis between SysML system models and corresponding C/C++ code through structural consistency checks. To this end, we propose an extension of the OpenMBEE platform, to include code as one of the synchronized development artifacts in addition to models and documentation. In this paper, we outline our initial research idea to include code as a view in this platform and we propose to explicitly link the code to generated documentation, and thereby to the model.
- Colin Atkinson, Dietmar Stoll, and Philipp Bostan. 2010. Orthographic Software Modeling: A Practical Approach to View-Based Development. In Evaluation of Novel Approaches to Software Engineering. Springer Berlin Heidelberg, 206--219. Google ScholarCross Ref
- Robert Balzer. 1991. Tolerating inconsistency. In Proceedings of the 13th international conference on Software engineering. IEEE Computer Society Press, 158--165.Google Scholar
- Christopher Delp, Doris Lam, Elyse Fosse, and Cin-Young Lee. 2013. Model based document and report generation for systems engineering. In 2013 IEEE Aerospace Conference. IEEE, 1--11.Google ScholarCross Ref
- Sanford Friedenthal, Alan Moore, and Rick Steiner. 2014. A practical guide to SysML: the systems modeling language. Morgan Kaufmann.Google Scholar
- ISO/IEC/IEEE. 2011. ISO/IEC/IEEE 42010:2011(E) Systems and software engineering - Architecture description. Technical Report. 1--46 pages. Google ScholarCross Ref
- Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, and Jan Carlson. 2020. Towards Consistency Checking Between a System Model and its Implementation. In International Conference on Systems Modelling and Management ICSMM, 25 Jun 2020, Bergen, Norway.Google ScholarCross Ref
- Huzefa Kagdi, Jonathan I Maletic, and Bonita Sharif. 2007. Mining software repositories for traceability links. In 15th IEEE International Conference on Program Comprehension (ICPC'07). IEEE, 145--154. Google ScholarDigital Library
- Robert Karban, Amanda G Crawford, Gelys Trancho, Michele Zamparelli, Sebastian Herzig, Ivan Gomes, Marie Piette, and Eric Brower. 2018. The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope. In Modeling, Systems Engineering, and Project Management for Astronomy VIII, Vol. 10705. International Society for Optics and Photonics, 107050W.Google Scholar
- Rainer Koschke and Daniel Simon. 2003. Hierarchical Reflexion Models.. In WCRE, Vol. 3. 186--208.Google Scholar
- Benjamin Kruse and Mark Blackburn. 2019. Collaborating with OpenMBEE as an Authoritative Source of Truth Environment. Procedia Computer Science 153 (2019), 277--284.Google ScholarCross Ref
- David D Walden, Garry J Roedler, Kevin Forsberg, R Douglas Hamelin, and Thomas M Shortell. 2015. Systems engineering handbook: A guide for system life cycle processes and activities. John Wiley & Sons.Google Scholar
Index Terms
Towards boosting the OpenMBEE platform with model-code consistency
Recommendations
Generating SysML views from an OPM model: Design and evaluation
Conceptual modeling is key to Model-Based Systems Engineering (MBSE) approaches. OPM (Object-Process Methodology) and SysML (OMG Systems Modeling Language) are two state-of-the-art conceptual modeling languages. While both languages aim at the same ...
A Survey of Consistency Checking Techniques for UML Models
ASEA '08: Proceedings of the 2008 Advanced Software Engineering and Its ApplicationsUML is the de-facto industry standard to design object-oriented software. UML provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between ...
Co-evolution of metamodels and models through consistent change propagation
The concept of consistent change propagation (CCP) is introduced.CCP is applied to the issue of co-evolving metamodels and models.Evaluation on UML metamodel and UML models shows scalability and efficiency. In model-driven engineering (MDE), metamodels ...
Comments