The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
Original language description
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. We are interested in formal models 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. 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.
Czech name
The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
Czech description
Článek se věnuje metaúrovňovému modelování v nástroji PNtalk/SmallDEVS, který je určený pro vývoj systémů založený na modelech. Popisuje techniky meta-modelování nad formalismy Objektově orientované Petriho sítě a DEVS. Metaúrovňová manipulace s modely je užitečná pro vývoj vyvíjejících se systémů jako i pro návrh automatizovaných testů vyvíjených systémů.<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
Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering
ISBN
978-80-8086-092-9
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
—
Publisher name
elfa, s.r.o., TU Kosice
Place of publication
Košice
Event location
High Tatras - Stará Lesná
Event date
Sep 24, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—