The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit

Viktorija Ovchinnikova, Erika Nazaruka

2016

Abstract

According to requirements provided by customers, the description of to-be functionality of software systems needs to be provided at the beginning of the software development process. Documentation and functionality of this system can be displayed as the Topological Functioning Model (TFM) in the form of a graph. The TFM must be correctly and traceably validated, according to customer’s requirements and verified, according to TFM construction rules. It is necessary for avoidance of mistakes in the early stage of development. Mistakes are a risk that can bring losses of resources or financial problems. The hypothesis of this research is that the TFM can be validated during this simulation of execution of the UML activity diagram. Cameo Simulation Toolkit from NoMagic is used to supplement UML activity diagram with execution and allows to simulate this execution, providing validation and verification of the diagram. In this research an example of TFM is created from the software system description. The obtained TFM is manually transformed to the UML activity diagram. The execution of actions of UML activity diagrams was manually implemented which allows the automatic simulation of the model. It helps to follow the traceability of objects and check the correctness of relationships between actions.

References

  1. Abdelhalim, I., Schneider, S. and Treharne, H., 2012. An Optimization Approach for Effective Formalized fUML Model Checking. In 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). Thessaloniki, 2012. pp. 248- 262.
  2. Asnina, E., 2006. The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing. Applied computer systems, 26, pp.21-32.
  3. Asnina, E. and 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.
  4. Asnina, E. and Osis, J., 2011c. 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.
  5. Berardinelli, L. et al., 2015. Energy Consumption Analysis and Design of Energy-Aware WSN Agents in fUML. In 11th European Conference on Modelling Foundations and Applications 2015. L'Aquila, 2015. pp. 1-17.
  6. Cabot, J., 2011. The New Executable UML Standards: fUML and Alf. [Online] Available at: http://modelinglanguages.com/new-executable-uml-standards-fumland-alf/ [Accessed 17 January 2016].
  7. Donins, U., 2012. Topological Unified Modeling Language: Development and Application. PhD Thesis. Riga: RTU.
  8. 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.
  9. J.Mellor, S., 2003. Executable and Translatable UML. [Online] Available at: http://www.embedded.com/desi gn/prototyping-and-development/4024510/Executableand-Translatable-UML [Accessed 17 January 2016].
  10. java2s, 2015. Download fuml-1.1.0.jar. [Online] Available at: http://www.java2s.com/Code/Jar/f/Downloadfuml1 10jar.htm [Accessed 30 November 2015].
  11. Mellor, S. and Balcer, M., 2002. Executable UML: A Foundation for Model-Driven Architectures. Boston: Addison-Wesley Longman Publishing Co.
  12. NoMagic, 2014. Cameo Simulation Toolkit 18.1 user guide. [Online] Available at: http://www.nomagic.com /files/manuals/Cameo%20Simulation%20Toolkit%20 UserGuide.pdf [Accessed 30 November 2015].
  13. NoMagic, 2015. Cameo Simulation Toolkit. [Online] Available at: http://www.nomagic.com/products/magi cdraw-addons/cameo-simulation-toolkit.html [Accessed 30 November 2015].
  14. OMG, 2013. Action Language for Foundational UML (Alf). [Online] Available at: http://www.omg.org/spec/ ALF/1.0.1/ [Accessed 17 January 2016].
  15. 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].
  16. OMG, 2015b. 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 30 November 2015].
  17. Osis, J. and Asnina, E., 2011a. Is Modeling a Treatment for the Weakness of Software Engineering? In ModelDriven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global. pp.1-14.
  18. Osis, J. and Asnina, E., 2011b. Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures. In ModelDriven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global. pp.15-39.
  19. Osis, J. and Asnina, E., 2011d. Derivation of Use Cases from the Topological Computation Independent Business Model. In Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global. pp.65 -89.
  20. Osis, J. and Asnina, E., 2011. Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global.
  21. Osis, J., Asnina, E. and Grave, A., 2007. MDA Oriented Computation Independent Modeling of the Problem Domain. In Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007). Barselona: INSTICC Press. pp.66-71.
  22. Osis, J., Asnina, E. and Grave, A., 2008. Computation Independent Representation of the Problem Domain in MDA. e-Informatica Software Engineering Journal, 2(1), pp.29-46.
  23. Osis, J., Asnina, E. and Grave, A., 2008. Formal Problem Domain Modeling within MDA. In Software and Data Technologies, Communications in Computer and Information Science. Berlin: Springer-Verlag Berlin Heidelberg. pp.387-98.
  24. Osis, J. and Donins, U., 2010. Formalization of the UML Class Diagrams. In Evaluation of Novel Approaches to Software Engineering. Berlin, 2010. SpringerVerlag. pp. 180-192.
  25. Osis, J. and Slihte, A., 2010. Transforming Textual Use Cases to a Computation Independent Model. In Osis, J. and Nikiforova, O., eds. Model-Driven Architecture and Modeling Theory-Driven Development : Proceedings of the 2nd International Workshop (MDA & MTDD 2010). Lisbon, 2010. SciTePress. pp. 33-42.
  26. Panthithosanyu, K. et al., 2014. Technology. [Online] Available at: http://www.technology.org/2014/05/05/c ollaboration-simulated-model-external-systemcontrolling-lego-mindstorms-cameo-simulationtoolkit/ [Accessed 23 January 2016].
  27. Slihte, A., 2015. The integrated domain modeling: an approach & toolset for acquiring a topological functioning model. PhD Thesis. Riga: RTU.
  28. Slihte, A. and Osis, J., 2014. The Integrated Domain Modeling: A Case Study. In Databases and Information Systems: Proceedings of the 11th International Baltic Conference (DB&IS 2014), Estonia, Tallinn, 8-11 June, 2014. Tallinn: Tallinn University of Technology Press. pp. 465-470.
  29. Slihte, A., Osis, J. and Donins, U., 2011. Knowledge Integration for Domain Modeling. In Osis, J. and Nikiforova, O., eds. Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011). Lisbon, 2011. SciTePress. pp. 46-56.
  30. Spangelo, S., Kim, H. and Soremekun, G., 2013. Simulation of CubeSat Mission. [Online] Available at: http://www.omgsysml.org/Modeling-andSimulation_of_CubeSat_Mission_v15-May_2013- Spangelo-Kim_Soremekun.pdf [Accessed January 23 2016].
  31. W3C, 2015. State Chart XML: State Machine Notation for Control Abstraction. [Online] Available at: http://www.w3.org/TR/scxml/ [Accessed 30 November 2015].
  32. xtUML, 2012. Executable and Translatable UML Summary. [Online] Available at: https://xtuml.org/wpcontent/uploads/2012/09/xtUML_Summary.pdf [Accessed 17 January 2016].
  33. xtUML, 2015. What is xUML? [Online] Available at: http://xtuml.nrt.se/index.php?section=17 [Accessed 17 January 2016].
  34. xtUML, 2016. Action Language (OAL) Tutorial. [Online] Available at: https://xtuml.org/learn/action-languagetutorial/ [Accessed 17 January 2016].
Download


Paper Citation


in Harvard Style

Ovchinnikova V. and Nazaruka E. (2016). The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016) ISBN 978-989-758-189-2, pages 327-336. DOI: 10.5220/0005926003270336


in Bibtex Style

@conference{mdi4se16,
author={Viktorija Ovchinnikova and Erika Nazaruka},
title={The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)},
year={2016},
pages={327-336},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005926003270336},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)
TI - The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit
SN - 978-989-758-189-2
AU - Ovchinnikova V.
AU - Nazaruka E.
PY - 2016
SP - 327
EP - 336
DO - 10.5220/0005926003270336