Detail publikace

Specification of UML Classes by Object Oriented Petri Nets

KOČÍ, R.; JANOUŠEK, V. Specification of UML Classes by Object Oriented Petri Nets. ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012. p. 361-366. ISBN: 978-1-61208-230-1.
Název česky
Specifikace UML tříd formalismem Objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

Class diagram, Object-Oriented Petri Nets, UML, transformation

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
ISBN
978-1-61208-230-1
Vydavatel
Xpert Publishing Services
Místo
Lisbon
BibTeX 
@inproceedings{BUT97037,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Specification of UML Classes by Object Oriented Petri Nets",
  booktitle="ICSEA 2012, The Seventh International Conference on Software Engineering Advances",
  year="2012",
  pages="361--366",
  publisher="Xpert Publishing Services",
  address="Lisbon",
  isbn="978-1-61208-230-1",
  url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2012_13_20_10163"
}
Nahoru