System Composition Using Petri Nets and DEVS Formalisms

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU112004" target="_blank" >RIV/00216305:26230/14:PU112004 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2014_12_30_10305" target="_blank" >http://www.thinkmind.org/index.php?view=article&articleid=icsea_2014_12_30_10305</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

System Composition Using Petri Nets and DEVS Formalisms

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

System Composition Using Petri Nets and DEVS Formalisms

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

The Ninth International Conference on Software Engineering Advances

ISBN

978-1-61208-367-4

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

309-315

Název nakladatele

Xpert Publishing Services

Místo vydání

Nice

Místo konání akce

Nice

Datum konání akce

12. 10. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—