Detail publikačního výsledku

On the Keeping Models in the System Design and Implementation

KOČÍ, R.

Originální název

On the Keeping Models in the System Design and Implementation

Anglický název

On the Keeping Models in the System Design and Implementation

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Object Oriented Petri Nets; model transformation; Java

Klíčová slova v angličtině

Object Oriented Petri Nets; model transformation; Java

Autoři

KOČÍ, R.

Vydáno

28.09.2025

Nakladatel

Xpert Publishing Services

Místo

Lisbon, Portugal

ISBN

978-1-68558-296-8

Kniha

ICSEA 2025, The Twentieth International Conference on Software Engineering Advances

Strany od

66

Strany do

71

URL

https://www.thinkmind.org/library/ICSEA/ICSEA_2025/icsea_2025_1_110_10068.html

BibTex

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