Publication detail
The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
JANOUŠEK, V. KOČÍ, R.
Original Title
The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
English Title
The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
Type
conference paper
Language
en
Original Abstract
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.
English abstract
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.
Keywords
Object Oriented Petri Nets, DEVS, component framework, meta-level architecture, meta-level protocol
RIV year
2008
Released
24.09.2008
Publisher
elfa, s.r.o., TU Kosice
Location
Košice
ISBN
978-80-8086-092-9
Book
Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering
Edition
NEUVEDEN
Edition number
NEUVEDEN
Pages from
16
Pages to
23
Pages count
8
BibTex
@inproceedings{BUT32073,
author="Vladimír {Janoušek} and Radek {Kočí}",
title="The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques",
annote="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.",
address="elfa, s.r.o., TU Kosice",
booktitle="Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering",
chapter="32073",
edition="NEUVEDEN",
howpublished="print",
institution="elfa, s.r.o., TU Kosice",
year="2008",
month="september",
pages="16--23",
publisher="elfa, s.r.o., TU Kosice",
type="conference paper"
}