Publication detail

Object Oriented Petri Nets in Software Development and Deployment

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

Original Title

Object Oriented Petri Nets in Software Development and Deployment

English Title

Object Oriented Petri Nets in Software Development and Deployment

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

Object Oriented Petri Nets, DEVS, model deployment

RIV year

2013

Released

28.10.2013

Publisher

Xpert Publishing Services

Location

Venice

ISBN

978-1-61208-304-9

Book

ICSEA 2013, The Eighth International Conference on Software Engineering Advances

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

485

Pages to

490

Pages count

6

URL

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"
}