Result Details
On the Keeping Models in the System Design and Implementation
An essential criterion for software design and implementation is the effectiveness of requirements specification, development, and verification. One possibility is the use of high-level models and languages. A particular disadvantage is the need to transform models into a production environment, either manually or automated. In both cases, the link to the original models is often lost, degrading their usability in the future. In this paper, using a demonstration example, we will look at the possibility of modeling requirements using Object-Oriented Petri Nets and then transforming them into Java to maintain the model's and implementation's correlation. We will discuss the automation of this process and possible ways to increase efficiency.
Object Oriented Petri Nets; model transformation; Java
@inproceedings{BUT201259,
author="Radek {Kočí}",
title="On the Keeping Models in the System Design and Implementation",
booktitle="ICSEA 2025, The Twentieth International Conference on Software Engineering Advances",
year="2025",
pages="66--71",
publisher="Xpert Publishing Services",
address="Lisbon, Portugal",
isbn="978-1-68558-296-8",
url="https://www.thinkmind.org/library/ICSEA/ICSEA_2025/icsea_2025_1_110_10068.html"
}