Detail publikace

Object Oriented Petri Nets in Software Development and Deployment

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

Originální název

Object Oriented Petri Nets in Software Development and Deployment

Anglický název

Object Oriented Petri Nets in Software Development and Deployment

Jazyk

en

Originální abstrakt

Modeling, implementation, and testing are integral parts of system development process. Models usually serve for description of system architecture and behavior and are automatically or manually transformed into executable models or code in a programming language. Tests can be performed on implemented code or executable models; it depends on used design methodology. Although models can be transformed, the designer has to usually adapt resulted code manually. It can results in inconsistency among design models and their realization and the further development, testing and debugging by means of prime models is impossible. The approach discussed in this paper allows to model and test systems using high-level languages, especially Object Oriented Petri Nets combined with Discrete Event System Specification, whereas models are deployed to the product environment and become integral part of the system.

Anglický abstrakt

Modeling, implementation, and testing are integral parts of system development process. Models usually serve for description of system architecture and behavior and are automatically or manually transformed into executable models or code in a programming language. Tests can be performed on implemented code or executable models; it depends on used design methodology. Although models can be transformed, the designer has to usually adapt resulted code manually. It can results in inconsistency among design models and their realization and the further development, testing and debugging by means of prime models is impossible. The approach discussed in this paper allows to model and test systems using high-level languages, especially Object Oriented Petri Nets combined with Discrete Event System Specification, whereas models are deployed to the product environment and become integral part of the system.

Dokumenty

BibTex


@inproceedings{BUT103523,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Object Oriented Petri Nets in Software Development and Deployment",
  annote="Modeling, implementation, and testing are integral parts of system development
process. Models usually serve for description of system architecture and behavior
and are automatically or manually transformed into executable models or code in
a programming language. Tests can be performed on implemented code or executable
models; it depends on used design methodology. Although models can be
transformed, the designer has to usually adapt resulted code manually. It can
results in inconsistency among design models and their realization and the
further development, testing and debugging by means of prime models is
impossible. The approach discussed in this paper allows to model and test systems
using high-level languages, especially Object Oriented Petri Nets combined with
Discrete Event System Specification, whereas models are deployed to the product
environment and become integral part of the system.",
  address="Xpert Publishing Services",
  booktitle="ICSEA 2013, The Eighth International Conference on Software Engineering Advances",
  chapter="103523",
  edition="NEUVEDEN",
  howpublished="online",
  institution="Xpert Publishing Services",
  year="2013",
  month="october",
  pages="485--490",
  publisher="Xpert Publishing Services",
  type="conference paper"
}