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

ENASE 2016 : Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering 2016
Viktorija Gribermane, Ērika Nazaruka

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.

Keywords
Topological Functioning Model, Execution Model, Foundational UML, UML Activity Diagram
DOI
10.5220/0005926003270336

Ovchinnikova, V., Nazaruka, Ē. The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit. In: ENASE 2016 : Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Italy, Rome, 27-28 April, 2016. [S.l.]: SciTePress, 2016, pp.327-336. ISBN 978-989-758-189-2. Available from: doi:10.5220/0005926003270336

Publication language
English (en)