Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model

Viktoria Ovchinnikova, Erika Nazaruka

2017

Abstract

The execution model can improve analysis, testing and verification of software systems and their features right from the early stages of development. It helps to decrease risks and the possibility of future defects. One of the main goals and challenges for modern modeling tools is the ability to generate usable source code using the modeling approach. The system functionality can be shown as Topological Functioning Model and this functionality can be validated with the help of modeling tools. The paper presents an overview of modeling tools for the execution of models and the ways that they can aid software development. Four modeling tools are reviewed and compared based on their features and documentation – Cameo Simulation Toolkit, Enterprise Architect, Papyrus with Moka and BridgePoint. Two of them – Cameo Simulation Toolkit and Enterprise Architect, are analyzed and compared in practice. Results of the overview are the base for future work, where the tools will be applied for case studies.

References

  1. Asnina, E. & Osis, J., 2010. Computation Independent Models: Bridging Problem and Solution Domains. In Proceedings of the 2nd InternationalWorkshop on Model-Driven Architecture and Modeling TheoryDriven Development (MDA & MTDD 2010), in conjunction with ENASE 2010. Lisbon: SciTePress. pp.23-32.
  2. Asnina, E. & Osis, J., 2011. Topological Functioning Model as a CIM-Business Model. In Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global. pp.40 - 64.
  3. Atlassian, 2017. The Agile Coach. [Online] Available at: https://www.atlassian.com/agile/ [Accessed 3 February 2017].
  4. Bentahar, J., Yahyaoui, H., Kova, M. & Maamar, Z., 2013. Symbolic model checking composite Web services using operational and control behaviors. Expert Systems with Applications, 40(2), pp.pp. 508- 522.
  5. Cabot, J., 2017. List of Executable UML tools. [Online] Available at: http://modeling-languages.com/list-ofexecutable-uml-tools/ [Accessed 19 February 2017].
  6. Chunka, M., 2011. Five Dangerous Lessons to Learn From Steve Jobs. [Online] Available at: http://www.forbes.com/sites/chunkamui/2011/10/17/fi ve-dangerous-lessons-to-learn-from-stevejobs/#3df415f560da [Accessed 7 February 2016].
  7. Donini, F.M., Mongiello, M., Ruta, M. & Totaro, R., 2006. A Model Checking-based Method for Verifying Web Application Design. Electronic Notes in Theoretical Computer Science, 151(2), pp.19-32.
  8. Donins, U., 2012. Topological Unified Modeling Language: Development and Application. PhD Thesis. Riga: RTU.
  9. Donins, U. et al., 2011. Towards the Refinement of Topological Class Diagram as a Platform Independent Model. In Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011). Lisbon: SciTePress. pp.79-88.
  10. Fernandez Cespedes, K., Osis, J. & Alksnis, G., 2015. Learned by using the Integrated Domain Modeling Toolset. In Proceedings of 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Barcelona, 2015. SciTePress.
  11. Hamilton, C., 2014. Eclipse, NetBeans or IntelliJ: Which is the best Java IDE? [Online] Available at: https://jaxenter.com/eclipse-netbeans-or-intellijwhich-is-the-best-java-ide-107980.html [Accessed 7 February 2017].
  12. Konur, S., Fisher, M. & Schewe, S., 2013. Combined model checking for temporal, probabilistic, and realtime logics. Theoretical Computer Science, 503, pp.61-88.
  13. Legay, A., Delahaye, B. & Bensalem, S., 2010. Statistical Model Checking: An Overview. In First International Conference, RV 2010. Julian, 2010. Springer Berlin Heidelberg.
  14. Micskei, Z. et al., 2014. On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. In 1st Workshop on Open Source Software for Model Driven Engineering. Valencia, 2014.
  15. Milewicz, R. & Pirkelbauer, P., 2017. Refinement of structural heuristics for model checking of concurrent programs through data mining. Computer Languages, Systems & Structures, 47, pp.170-88.
  16. NoMagic, 2017. Cameo Simulation Toolkit. [Online] Available at: http://www.nomagic.com/products/magicdrawaddons/cameo-simulation-toolkit.html [Accessed 10 February 2017].
  17. OMG, 2015a. OMG Unified Modeling Language. Version 2.4.1. [Online] Available at: http://www.omg.org/spec/ UML/2.4.1/ [Accessed 30 November 2015].
  18. OMG, 2016. Documents Associated With Semantics Of A Foundational Subset For Executable UML Models. [Online] Available at: http://www.omg.org/spec/FUM L/1.1/ [Accessed 10 February 2017].
  19. Osis, J. & Asnina, E., 2015. Is Modeling a Treatment for the Weakness of Software Engineering? In Handbook of Research on Innovations in Systems and Software Engineering. Hershey: IGI Global. pp.411-27.
  20. Osis, J. & Donins, U., 2010. Formalization of the UML Class Diagrams. In Evaluation of Novel Approaches to Software Engineering. Berlin, 2010. SpringerVerlag.
  21. Osis, J. & Slihte, A., 2010. Transforming Textual Use Cases to a Computation Independent Model. In Osis, J. & Nikiforova, O., eds. Model-Driven Architecture and Modeling Theory-Driven Development : Proceedings of the 2nd International Workshop (MDA & MTDD 2010). Lisbon, 2010. SciTePress.
  22. Osis, J. & Solomencevs, A., 2016. Comparison of Topological Functioning Model for Software Engineering with BPMN Approach in the Context of Model Driven Architecture. In Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering. Rome, 2016. SciTePress.
  23. Ovchinnikova, V. & Nazaruka, E., 2016. The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit. In 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2016). Rome, 2016. SciTePress.
  24. Rivet, C., Cuccuru, A., Marques, B. & Tatibouet, J., 2014. Papyrus/UserGuide/ModelExecution. [Online] Availa ble at: https://wiki.eclipse.org/Papyrus/UserGuide/Mo delExecution [Accessed 7 February 2017].
  25. Seidewitz, E. & Tatibouet, J., 2015. Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -. [Online] Available at: https://ocl2015.lri.fr/OCL_2015_paper_1111_1530.pd f [Accessed 19 February 2017].
  26. Slihte, A., 2015. The integrated domain modeling: an approach & toolset for acquiring a topological functioning model. PhD Thesis. Riga: RTU.
  27. Slihte, A., Osis, J. & Donins, U., 2011. Knowledge Integration for Domain Modeling. In Osis, J. & Nikiforova, O., eds. Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011). Lisbon, 2011. SciTePress.
  28. Solomencevs, A., 2016. Topological Functioning Model for Software Development within MDA (Survey). In Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering. Rome, 2016. SciTePress.
  29. Solomencevs, A. & Osis, J., 2015. The Algorithm for Getting a UML Class Diagram from Topological Functioning Model. In Proceedings of 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Barcelona, 2015. SciTePress.
  30. SparxSystem, 2016. Introduction to Enterprise Architect. [Online] Available at: http://www.sparxsystems.com/e nterprise_architect_user_guide/13.0/index/index.html [Accessed 10 February 2017].
  31. SparxSystems, 2017. Ultimate Modeling Power. [Online] Available at: http://www.sparxsystems.com/ [Accessed 7 February 2017].
  32. xtUML, 2012. Executable and Translatable UML Summary. [Online] Available at: https://xtuml.org/wpcontent/uploads/2012/09/xtUML_Summary.pdf [Accessed 17 January 2017].
  33. xtUML, 2017. eXecutable Translatable UML with BridgePoint. [Online] Available at: https://xtuml.org/ [Accessed 7 February 2017].
Download


Paper Citation


in Harvard Style

Ovchinnikova V. and Nazaruka E. (2017). Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, ISBN 978-989-758-250-9, pages 355-366. DOI: 10.5220/0006388403550366


in Bibtex Style

@conference{mdi4se17,
author={Viktoria Ovchinnikova and Erika Nazaruka},
title={Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE,},
year={2017},
pages={355-366},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006388403550366},
isbn={978-989-758-250-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE,
TI - Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model
SN - 978-989-758-250-9
AU - Ovchinnikova V.
AU - Nazaruka E.
PY - 2017
SP - 355
EP - 366
DO - 10.5220/0006388403550366