![](bg8.png)
a first step to verify the consistency of more complex
heterogeneous Capella models. For future works, we
will apply the approach to transform Capella models
of state machines and scenarios with data flow.
REFERENCES
Acceleo (2019). Acceleo web-page. Accessed September
01, 2019. www.eclipse.org/acceleo/.
Andrea Sindico, Marco Di Natale, and Giampiero Panci
(2001). Integrating SysML with Simulink using
Open-source Model Transformations. In 1st Int. Conf.
on Simulation and Modeling Methodologies, Tech-
nologies and Applications (SIMULTECH’11)., pages
45–56, Noordwijekr, The Netherlands.
Bassim Chabibi, Adil Anwar, and Mahmoud Nassar (2018).
Towards a Model Integration from SysML to MAT-
LAB/Simulink. Journal of Software, pages 630–645.
Benoit Combemale, Cédric Brun, Joèl Champeau, Xavier
Crégut, Julien Deantoni, and Jérome LE Noir (2016).
A Tool-Supported Approach of Concurrent Execution
Of Heterogeneous Models. In 8th European Congress
on Embedded Real Time Software and Systems (ERTS
2016), Toulouse.
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche,
and Xavier Thirioux (2009). Essay on Semantics Def-
inition in MDE An Instrumented Approach for Model
Verification. journal of Software, pages 943–958.
Cécile Hardebolle and Frédéric Boulanger (2009). Multi-
Formalism Modelling and Model Execution. In-
ternational Journal of Computers and Applications,
31,(3):193–203.
Daniel Chaves Café, Frédéric Boulanger, Filipe Vinci dos
Santos, Christophe Jacquet, and Cécile Hardebolle
(2013). Multi-Paradigm Semantics for Simulating
SysML Models using SystemC-AMS. In Forum on
specification and Design Languages (FDL), Paris,
France. IEEE.
Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Po-
lack (2008). The Epsilon Transformation Language.
In International Conference on Theory and Practice
of Model Transformations (ICMT), volume 5063 of
Lecture Notes in Computer Science, pages 46–60,
Zurich, Switzerland. Springer, Berlin, Heidelberg.
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja
Mayerhofer, Julien Deantoni, and Benoit Combemale
(2016). Execution Framework of GEMOC Studio
(Tool Demo). In ACM SIGPLAN International Con-
ference on Software Language Engineering, pages
84–89, Amsterdam, Netherlands. ACM.
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan
Kurtev (2008). ATL: A model transformation tool.
Science of computer programming, 72(1-2):31–39.
Ivan Kurtev (2008). State of the Art of QVT: A Model
Transformation Language Standard. In Andy Schürr,
Manfred Nagl, and Albert Zündorf, editors, Applica-
tions of Graph Transformations with Industrial Rel-
evance, pages 377–393, Kassel, Germany. Springer
Berlin Heidelberg.
Jean-Luc. Voirin (2017). Model-based System and Archi-
tecture Engineering with the Arcadia Method. ISTE
Press. ISTE Press - Elsevier.
Jim Steel and Jean-Marc Jézéquel (2007). On model typing.
Software & Systems Modeling, 6(4):401–413.
José E. Riviera and Antonio Vallecillo (2007). Adding
Behavioral Semantics to Models. In Enterprise Dis-
tributed Object Computing Conference, pages 169–
180, Annapolis, MD, USA. IEEE.
Kai Chen, Janos Sztipanovits, Sherif Abdelwalhed, and
Ethan Jackson (2005). Semantic Anchoring with
Model Transformations. In Alan Hartman and David
Kreische, editors, Model Driven Architecture - Foun-
dations and Applications, volume 3748 of Lecture
Notes in Computer Science, pages 115–129, Nurem-
berg, Germany. Springer Berlin Heidelberg.
Louis M. Rose, Dimitrios S. Kolovos, and Richard F. Paige
(2010). Model Migration with Epsilon Flock. In L.
Tratt and M. Gogolla, editors, Theroy and Practice of
Mdel Transformation, volume 6142 of Lecture Notes
in Computer Science, pages 184–198, Malaga, Spain.
Springer, Berlin, Heidelberg.
Paola Vallejo, Jean-Philippe Babau, and Mickaël Kerboeuf
(2016). ModifRoundtrip: A Model-Based tool to
reuse legacy transformations. In MoDELS 2016 Demo
and Poster Sessions co-located with ACM/IEEE 19th
International Conference on Model Driven Engineer-
ing Languages and Systems (MoDELS 2016)., Saint
Malo, France. IEEE Xplore.
Pascal Roques (2017). System Architecture Modeling with
the Arcadia Method : A Practical Guide to Capella.
Iste press - elsevier edition.
Polarsys (2019). Equivalences and Differences
Between SysML and Arcadia/Capella, web-
page. Accessed September 01, 2019.
www.polarsys.org/capella/arcadia_capella_sysml_tool
.html.
Sanford Friedenthal, Alan Moore, and Rick Steiner (2012).
A practical Guide to SysML, The Systems Modeling
Language. Object Management Group. Morgan Kauf-
mann, elsevier edition.
Slim Medimegh, Jean-Yves Pierron, and Frédéric
Boulanger (2018). Qualitative Simulation of Hybrid
Systems with an Application to SysML Models.
In 6 th International Conference on Model-Driven
Engineering and Software Development, Funchal
Portugal. SCITEPRESS - Science and Technology
Publications.
Wuliang Sun, Benoit Combemale, Steven Derrien, and
Robert B. France (2013). Using Model Types to
Support Contract-Aware Model Substitutability. In
Pieter Van Gorp, Tom Ritter, and Louis M. Rose, ed-
itors, Modelling Foundations and Applications, vol-
ume 7949 of Lecture Notes in Computer Science,
pages 118–133, Montpellier, France. Springer Berlin
Heidelberg.
Xtend (2019). Xtend web-page. Accessed September 01,
2019. www.eclipse.org/xtend/.
MODELSWARD 2020 - 8th International Conference on Model-Driven Engineering and Software Development
286