Conference paper

JANOUŠEK Vladimír and KOČÍ Radek. The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques. In: Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering. Košice: elfa, s.r.o., TU Kosice, 2008, pp. 16-23. ISBN 978-80-8086-092-9.
Publication language:english
Original title:The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
Title (cs):The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques
Pages:16-23
Proceedings:Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering
Conference:International Scientific Conference on Computer Science and Engineering, CSE 2008
Place:Košice, SK
Year:2008
ISBN:978-80-8086-092-9
Publisher:elfa, s.r.o., TU Kosice
Keywords
Object Oriented Petri Nets, DEVS, component framework, meta-level architecture, meta-level protocol
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Vladim{\'{i}}r Janou{\v{s}}ek and Radek Ko{\v{c}}{\'{i}}},
   title = {The PNtalk/SmallDEVS Framework -- Meta-level Modeling
	Techniques},
   pages = {16--23},
   booktitle = {Proceedings of CSE 2008 International Scientific Conference
	on Computer Science and Engineering},
   year = {2008},
   location = {Ko{\v{s}}ice, SK},
   publisher = {elfa, s.r.o., TU Kosice},
   ISBN = {978-80-8086-092-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8750}
}

Your IPv4 address: 54.224.197.86
Switch to IPv6 connection

DNSSEC [dnssec]