Publication detail

System Composition Using Petri Nets and DEVS Formalisms

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

Original Title

System Composition Using Petri Nets and DEVS Formalisms

English Title

System Composition Using Petri Nets and DEVS Formalisms

Type

conference paper

Language

en

Original Abstract

This paper is part of the work dealing with system development and deployment, where the system behavior should be modeled by formalisms allowing to define workflow scenarios and offering an interface for workflows synchronization. One such formalism is represented by Object Oriented Petri Nets (OOPN). OOPN are based on well-known class-based approach enriched by concurrency. Nevertheless, OOPN lacks one important element---a hierarchy followed by a simple way to model items exchanges on the fly. Therefore, the formalism of Discrete Event System Specification (DEVS) is taken into account. In the presented approach, the OOPN model is split up into DEVS components. Each component can be coupled with another component through the same compatible interface. A combination of OOPN and DEVS formalisms is used to compose the system using DEVS-based components, where each such 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 deals with the combination of both formalisms and compares the classic object approach to the component approach for system composition.

English abstract

This paper is part of the work dealing with system development and deployment, where the system behavior should be modeled by formalisms allowing to define workflow scenarios and offering an interface for workflows synchronization. One such formalism is represented by Object Oriented Petri Nets (OOPN). OOPN are based on well-known class-based approach enriched by concurrency. Nevertheless, OOPN lacks one important element---a hierarchy followed by a simple way to model items exchanges on the fly. Therefore, the formalism of Discrete Event System Specification (DEVS) is taken into account. In the presented approach, the OOPN model is split up into DEVS components. Each component can be coupled with another component through the same compatible interface. A combination of OOPN and DEVS formalisms is used to compose the system using DEVS-based components, where each such 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 deals with the combination of both formalisms and compares the classic object approach to the component approach for system composition.

Keywords

Object Oriented Petri Nets, DEVS, system composition, data passing

RIV year

2014

Released

12.10.2014

Publisher

Xpert Publishing Services

Location

Nice

ISBN

978-1-61208-367-4

Book

The Ninth International Conference on Software Engineering Advances

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

309

Pages to

315

Pages count

7

URL

BibTex


@inproceedings{BUT111599,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="System Composition Using Petri Nets and DEVS Formalisms",
  annote="This paper is part of the work dealing with system development and deployment,
where the system behavior should be modeled by formalisms allowing to define
workflow scenarios and offering an interface for workflows synchronization. One
such formalism is represented by Object Oriented Petri Nets (OOPN). OOPN are
based on well-known class-based approach enriched by concurrency. Nevertheless,
OOPN lacks one important element---a hierarchy followed by a simple way to model
items exchanges on the fly. Therefore, the formalism of Discrete Event System
Specification (DEVS) is taken into account. In the presented approach, the OOPN
model is split up into DEVS components. Each component can be coupled with
another component through the same compatible interface. A combination of OOPN
and DEVS formalisms is used to compose the system using DEVS-based components,
where each such 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 deals with the combination of both formalisms and
compares the classic object approach to the component approach for system
composition.",
  address="Xpert Publishing Services",
  booktitle="The Ninth International Conference on Software Engineering Advances",
  chapter="111599",
  edition="NEUVEDEN",
  howpublished="online",
  institution="Xpert Publishing Services",
  year="2014",
  month="october",
  pages="309--315",
  publisher="Xpert Publishing Services",
  type="conference paper"
}