Publication detail

The Object Oriented Petri Net Component Model

KOČÍ, R. JANOUŠEK, V.

Original Title

The Object Oriented Petri Net Component Model

English Title

The Object Oriented Petri Net Component Model

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

Object Oriented Petri Nets; DEVS; component platform; interface consistency

RIV year

2015

Released

15.11.2015

Publisher

Xpert Publishing Services

Location

Barcelona

ISBN

978-1-61208-438-1

Book

The Tenth International Conference on Software Engineering Advances

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

18

Pages to

24

Pages count

7

URL

BibTex


@inproceedings{BUT119874,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="The Object Oriented Petri Net Component Model",
  annote="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.",
  address="Xpert Publishing Services",
  booktitle="The Tenth International Conference on Software Engineering Advances",
  chapter="119874",
  edition="NEUVEDEN",
  howpublished="online",
  institution="Xpert Publishing Services",
  year="2015",
  month="november",
  pages="18--24",
  publisher="Xpert Publishing Services",
  type="conference paper"
}