System Design with Object Oriented Petri Nets Formalism

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU76812" target="_blank" >RIV/00216305:26230/08:PU76812 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

System Design with Object Oriented Petri Nets Formalism

Popis výsledku v původním jazyce

The actual trend in the research of system design aims at an efficiency and safety of developing processes as well as at the quality of resulted systems. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use executable semi-formal models allowing for transformations including code generation in selected language. Nevertheless, the further development or debugging by means of prime models is impossible. This paper brings an outline of our approach to Model-Based Design based on the Object Oriented Petri Nets formalism allowing for clear modeling, the possibility to check correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. The paper depicts the basis of the formalism and used techniques.

Název v anglickém jazyce

System Design with Object Oriented Petri Nets Formalism

Popis výsledku anglicky

The actual trend in the research of system design aims at an efficiency and safety of developing processes as well as at the quality of resulted systems. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use executable semi-formal models allowing for transformations including code generation in selected language. Nevertheless, the further development or debugging by means of prime models is impossible. This paper brings an outline of our approach to Model-Based Design based on the Object Oriented Petri Nets formalism allowing for clear modeling, the possibility to check correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. The paper depicts the basis of the formalism and used techniques.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

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 Third International Conference on Software Engineering Advances Proceedings ICSEA 2008

ISBN

978-0-7695-3372-8

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

IEEE Computer Society

Místo vydání

Los Alamitos

Místo konání akce

Sliema

Datum konání akce

26. 10. 2008

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

WRD - Celosvětová akce

Kód UT WoS článku

—