The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques

Kód výsledku v IS VaVaI

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

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques

Popis výsledku v původním jazyce

The importance of models used in the area of software engineering is growing. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use semi-formal models and need for model transformations.&nbsp; We are interested in formal models allowing for clear modeling,&nbsp; 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&nbsp; including the target application.&nbsp; We have developed the tool named PNtalk/SmallDEVS for checking of our approach to model-based design. The tool allows for meta-level manipulation with models. It can be very useful in design of self-evaluated systems as well as in testing and debugging of designed systems. The paper shows techniques of meta-level manipulation with models.

Název v anglickém jazyce

The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques

Popis výsledku anglicky

The importance of models used in the area of software engineering is growing. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use semi-formal models and need for model transformations.&nbsp; We are interested in formal models allowing for clear modeling,&nbsp; 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&nbsp; including the target application.&nbsp; We have developed the tool named PNtalk/SmallDEVS for checking of our approach to model-based design. The tool allows for meta-level manipulation with models. It can be very useful in design of self-evaluated systems as well as in testing and debugging of designed systems. The paper shows techniques of meta-level manipulation with models.

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

Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering

ISBN

978-80-8086-092-9

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

—

Název nakladatele

elfa, s.r.o., TU Kosice

Místo vydání

Košice

Místo konání akce

High Tatras - Stará Lesná

Datum konání akce

24. 9. 2008

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

WRD - Celosvětová akce

Kód UT WoS článku

—