loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Viktorija Ovchinnikova and Erika Nazaruka

Affiliation: Riga Technical University, Latvia

ISBN: 978-989-758-189-2

Keyword(s): Topological Functioning Model, Execution Model, Foundational UML, UML Activity Diagram.

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 d escription. 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.175.38

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.