Conference paper

KOČÍ Radek and JANOUŠEK Vladimír. System Design with Object Oriented Petri Nets Formalism. In: The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008, pp. 421-426. ISBN 978-0-7695-3372-8.
Publication language:english
Original title:System Design with Object Oriented Petri Nets Formalism
Title (cs):System Design with Object Oriented Petri Nets Formalism
Pages:421-426
Proceedings:The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008
Conference:The Third International Conference on Software Engineering Advances ICSEA 2008
Place:Los Alamitos, US
Year:2008
ISBN:978-0-7695-3372-8
Publisher:IEEE Computer Society
Keywords
system design, Object Oriented Petri Nets, modeling
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {System Design with Object Oriented Petri Nets Formalism},
   pages = {421--426},
   booktitle = {The Third International Conference on Software Engineering
	Advances Proceedings ICSEA 2008},
   year = {2008},
   location = {Los Alamitos, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-3372-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8776}
}

Your IPv4 address: 54.166.245.10
Switch to IPv6 connection

DNSSEC [dnssec]