Detail publikace

On the Object Oriented Petri Nets Model Transformation into Java Programming Language

KOČÍ Radek. On the Object Oriented Petri Nets Model Transformation into Java Programming Language. In: ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2024, s. 38-42. ISBN 978-1-68558-194-7. Dostupné z: https://www.thinkmind.org/library/ICSEA/ICSEA_2024/icsea_2024_1_90_10053.html
Název česky
Transformace Objektově orientovaných Petriho sítí do programovacího jazyka Java
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

V současné době se často používají vysokoúrovňové jazyky a přístupy k návrhu a implementaci softwaru. Hlavními důvody jsou možnost rychlejšího a efektivnějšího návrhu a účinnější verifikace vytvořeného návrhu. Pro nasazení takto vytvořeného systému lze použít buď framework, který zpracovává použitý formalismus, nebo lze návrh transformovat do programovacího jazyka nebo formalismu nižší úrovně. V tomto článku se zaměříme na formalismus Objektově orientované Petriho sítě (OOPN) a představíme myšlenku transformace modelů OOPN do programovacího jazyka Java.

Rok
2024
Strany
38-42
Sborník
ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances
Konference
The Nineteenth International Conference on Software Engineering Advances, Venice, IT
ISBN
978-1-68558-194-7
Vydavatel
Xpert Publishing Services
Místo
Venice, IT
BibTeX 
@INPROCEEDINGS{FITPUB13368,
   author = "Radek Ko\v{c}\'{i}",
   title = "On the Object Oriented Petri Nets Model Transformation into Java Programming Language",
   pages = "38--42",
   booktitle = "ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances",
   year = 2024,
   location = "Venice, IT",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-68558-194-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13368"
}
Nahoru