System Design with Object Oriented Petri Nets Formalism
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
System Design with Object Oriented Petri Nets Formalism
Original language description
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.
Czech name
System Design with Object Oriented Petri Nets Formalism
Czech description
Výzkum v oblasti návrhu systémů se v současné době zaměřuje na efektivnost a spolehlivost vývojových procesů stejně jako na kvalitu výsledného systému. Byly vyvinuty metody návrhu založené na modelech, které jsou známé pod názvem Model-Based Design. Tytometody používají polo-formální modely umožňující generování kódu. Následný vývoj či ladění systému na úrovni modelů je však nemožná. Článek se věnuje modifikovanému přístupu k návrhu systémů, který je založen na formalismu Objektově orientované Petrihosítě. Tento přístup umožňuje ověřovat správnost (spolehlivost) modelů simulačními technikami a ponechat modely jako součást výsledného systému.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008
ISBN
978-0-7695-3372-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos
Event location
Sliema
Event date
Oct 26, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—