Detail publikace

Specification of UML Classes by Object Oriented Petri Nets

KOČÍ Radek a JANOUŠEK Vladimír. Specification of UML Classes by Object Oriented Petri Nets. In: ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012, s. 361-366. ISBN 978-1-61208-230-1. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2012_13_20_10163
Název česky
Specifikace UML tříd formalismem Objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Diagram tříd z jazyka UML definuje základní architektonický model navrhovaného systému. Diagram tříd bývá doplněn dalšími diagramy, které slouží pro návrhové účely a bývají automatizované nebo manuálně transformovány do formálních modelů nebo implementačního prostředí. V dalších krocích není možné zkoumat systém na úrovni modelů. Naproti tomu existují přístupy kombinující etapy návrhu, implementace a testování do jedné techniky. Jedna z těchto technik používá Objektově orientované Petriho sítě (OOPN) jako modelovací formalismus. OOPN však postrádají vhodný architektonický pohled na vyvíjený systém, který nabízí právě diagram tříd. Článek se zaměřuje na využití diagramu tříd pro popis architektury systému a OOPN pro popis chování navržených tříd.

Rok
2012
Strany
361-366
Sborník
ICSEA 2012, The Seventh International Conference on Software Engineering Advances
Konference
The Seventh International Conference on Software Engineering Advances, Lisabon, PT
ISBN
978-1-61208-230-1
Vydavatel
Xpert Publishing Services
Místo
Lisbon, PT
BibTeX 
@INPROCEEDINGS{FITPUB10137,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Specification of UML Classes by Object Oriented Petri Nets",
   pages = "361--366",
   booktitle = "ICSEA 2012, The Seventh International Conference on Software Engineering Advances",
   year = 2012,
   location = "Lisbon, PT",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-230-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10137"
}
Nahoru