Conference paper

KOČÍ Radek and JANOUŠEK Vladimír. Object Oriented Petri Nets in Software Development and Deployment. In: ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2013, pp. 485-490. ISBN 978-1-61208-304-9. Available from: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2013_17_40_10275
Publication language:english
Original title:Object Oriented Petri Nets in Software Development and Deployment
Title (cs):Objektově orientované Petriho sítě v návrhu a nasazení softwaru
Pages:485-490
Proceedings:ICSEA 2013, The Eighth International Conference on Software Engineering Advances
Conference:The Eighth International Conference on Software Engineering Advances
Place:Venice, IT
Year:2013
URL:http://www.thinkmind.org/index.php?view=article&articleid=icsea_2013_17_40_10275
ISBN:978-1-61208-304-9
Publisher:Xpert Publishing Services
URL:http://www.iaria.org/conferences2013/awardsICSEA13/icsea2013_a11.pdf [PDF]
Keywords
Object Oriented Petri Nets, DEVS, model deployment
Annotation
Modeling, implementation, and testing are integral parts of system development process. Models usually serve for description of system architecture and behavior and are automatically or manually transformed into executable models or code in a programming language. Tests can be performed on implemented code or executable models; it depends on used design methodology. Although models can be transformed, the designer has to usually adapt resulted code manually. It can results in inconsistency among design models and their realization and the further development, testing and debugging by means of prime models is impossible. The approach discussed in this paper allows to model and test systems using high-level languages, especially Object Oriented Petri Nets combined with Discrete Event System Specification, whereas models are deployed to the product environment and become integral part of the system.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {Object Oriented Petri Nets in Software Development and
	Deployment},
   pages = {485--490},
   booktitle = {ICSEA 2013, The Eighth International Conference on Software
	Engineering Advances},
   year = {2013},
   location = {Venice, IT},
   publisher = {Xpert Publishing Services},
   ISBN = {978-1-61208-304-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10381}
}

Your IPv4 address: 54.167.250.64
Switch to IPv6 connection

DNSSEC [dnssec]