loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Viktorija Ovchinnikova and Erika Nazaruka

Affiliation: Riga Technical University, Latvia

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

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 18.116.90.141

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 (ENASE 2016) - MDI4SE; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, 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 (ENASE 2016) - MDI4SE},
year={2016},
pages={327-336},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005926003270336},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic