Object Oriented Petri Nets in Software Development and Deployment

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106383" target="_blank" >RIV/00216305:26230/13:PU106383 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Object Oriented Petri Nets in Software Development and Deployment

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Object Oriented Petri Nets in Software Development and Deployment

Popis výsledku anglicky

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.

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

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2013

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

ICSEA 2013, The Eighth International Conference on Software Engineering Advances

ISBN

978-1-61208-304-9

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

485-490

Název nakladatele

Xpert Publishing Services

Místo vydání

Venice

Místo konání akce

Venice

Datum konání akce

27. 10. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

—