Conference paper

KOČÍ Radek and 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, pp. 361-366. ISBN 978-1-61208-230-1. Available from: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2012_13_20_10163
Publication language:english
Original title:Specification of UML Classes by Object Oriented Petri Nets
Title (cs):Specifikace UML tříd formalismem Objektově orientovaných Petriho sítí
Pages:361-366
Proceedings:ICSEA 2012, The Seventh International Conference on Software Engineering Advances
Conference:The Seventh International Conference on Software Engineering Advances
Place:Lisbon, PT
Year:2012
URL:http://www.thinkmind.org/index.php?view=article&articleid=icsea_2012_13_20_10163
ISBN:978-1-61208-230-1
Publisher:Xpert Publishing Services
Keywords
Class diagram, Object-Oriented Petri Nets, UML, transformation
Annotation
The UML class diagram defines a basic architectonic model of the system. Its behavior is then usually described by other UML diagrams, such as activity diagrams, sequence diagrams, etc. These models serve for the design purposes and are automatically or manually transformed in the next development stages, typically to the models with formal basis or to implementation (production) environment. There is no backward step allowing to investigate the system structure and its behavior with the designed models. On the other hand, there are approaches to system design combining design, testing, and implementing stages into one development technique. One of them uses Object Oriented Petri Nets (OOPN) as basic modeling formalism. Nevertheless, OOPN lacks for advisable architectonic view of modeled systems as it is offered by UML class diagram. The paper is aimed at using UML class diagrams for system architecture description and the OOPN formalism for description of classes behavior. Since UML classes and OOPN classes partially differs, we define formal transformation between UML classes and OOPN classes.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=10137}
}

Your IPv4 address: 54.198.31.213
Switch to IPv6 connection

DNSSEC [dnssec]