Publication detail

System Design with Object Oriented Petri Nets Formalism

KOČÍ, R. JANOUŠEK, V.

Original Title

System Design with Object Oriented Petri Nets Formalism

English Title

System Design with Object Oriented Petri Nets Formalism

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

system design, Object Oriented Petri Nets, modeling

RIV year

2008

Released

26.10.2008

Publisher

IEEE Computer Society

Location

Los Alamitos

ISBN

978-0-7695-3372-8

Book

The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

421

Pages to

426

Pages count

6

BibTex


@inproceedings{BUT32120,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="System Design with Object Oriented Petri Nets Formalism",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008",
  chapter="32120",
  edition="NEUVEDEN",
  howpublished="print",
  institution="IEEE Computer Society",
  year="2008",
  month="october",
  pages="421--426",
  publisher="IEEE Computer Society",
  type="conference paper"
}