Conference paperKOČÍ Radek and JANOUŠEK Vladimír. The Object Oriented Petri Net Component Model. In: The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015, pp. 18-24. ISBN 978-1-61208-438-1. Available from: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2015_1_40_10130 | Publication language: | english |
---|
Original title: | The Object Oriented Petri Net Component Model |
---|
Title (cs): | Komponentový model Objektově orientovaných Petriho sítí |
---|
Pages: | 18-24 |
---|
Proceedings: | The Tenth International Conference on Software Engineering Advances |
---|
Conference: | The Tenth International Conference on Software Engineering Advances |
---|
Place: | Barcelona, ES |
---|
Year: | 2015 |
---|
URL: | http://www.thinkmind.org/index.php?view=article&articleid=icsea_2015_1_40_10130 |
---|
ISBN: | 978-1-61208-438-1 |
---|
Publisher: | Xpert Publishing Services |
---|
Keywords |
---|
Object Oriented Petri Nets; DEVS; component platform; interface consistency |
Annotation |
---|
The formalism of Object Oriented Petri Nets (OOPN) is a part of the work dealing with the method
of system development in simulation. The work is based on the ideas that system models are always
executed even if they contain only one simple element or any changes are performed. Thus, there
is no difference between models, prototypes, or target system. Moreover, it should be possible
to use different formalisms to describe models.
Whence it follows that a common platform is needed. The platform has to be simple and has to
allow to change models on the fly. Therefore, the formalism of Discrete Event System Specification
(DEVS) has been used to specify the platform. It enables to compose system using DEVS-based
components, whereas each such a component is modeled by means of OOPN. It preserves the advantages
of using OOPN for behavior modeling and makes it possible to hierarchize models.
The paper defines a platform based on DEVS and OOPN formalisms and deals with a question
of safe changes of components on the fly. |
BibTeX: |
---|
@INPROCEEDINGS{
author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
title = {The Object Oriented Petri Net Component Model},
pages = {18--24},
booktitle = {The Tenth International Conference on Software Engineering
Advances},
year = {2015},
location = {Barcelona, ES},
publisher = {Xpert Publishing Services},
ISBN = {978-1-61208-438-1},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10913}
} |
|