Home // ICSEA 2025, The Twentieth International Conference on Software Engineering Advances // View article

On the Keeping Models in the System Design and Implementation

Authors:
Radek Kočí

Keywords: Object Oriented Petri Nets; model transformation; Java

Abstract:
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.

Pages: 66 to 71

Copyright: Copyright (c) IARIA, 2025

Publication date: September 28, 2025

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-68558-296-8

Location: Lisbon, Portugal

Dates: from September 28, 2025 to October 2, 2025