Publication detail

Towards Model-Based Design with PNtalk

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

Original Title

Towards Model-Based Design with PNtalk

English Title

Towards Model-Based Design with PNtalk

Type

conference paper

Language

en

Original Abstract

The classic approach to the system design consists of two key parts -- the formal (or informal) specification allowing to check the validity and correctness of the designed system, and subsequently the system implementation. The implementations are usually done using traditional programming and tend to diverge from the specifications. To avoid this, there are the possible ways allowing to get the implementation directly from the specification. Since the specification is usually based on models, these approaches are often called model-based. This paper presents our approach to model-based design using PNtalk. PNtalk is an experimental language and system that combines Petri nets and Smalltalk. It is based on a formalism called Object Oriented Petri Nets and its objective is modeling, simulation, and prototyping. The model-based design approach using PNtalk preserves OOPN-based models during all design stages including final implementation. To get the implementation, we use the PNtalk feature allowing to use models not only for the system specification, but also like the system prototype.

English abstract

The classic approach to the system design consists of two key parts -- the formal (or informal) specification allowing to check the validity and correctness of the designed system, and subsequently the system implementation. The implementations are usually done using traditional programming and tend to diverge from the specifications. To avoid this, there are the possible ways allowing to get the implementation directly from the specification. Since the specification is usually based on models, these approaches are often called model-based. This paper presents our approach to model-based design using PNtalk. PNtalk is an experimental language and system that combines Petri nets and Smalltalk. It is based on a formalism called Object Oriented Petri Nets and its objective is modeling, simulation, and prototyping. The model-based design approach using PNtalk preserves OOPN-based models during all design stages including final implementation. To get the implementation, we use the PNtalk feature allowing to use models not only for the system specification, but also like the system prototype.

Keywords

Object oriented Petri Nets, PNtalk, model-based design, open architecture

RIV year

2005

Released

13.09.2005

Publisher

Faculty of management science and Informatics of Zilina University

Location

Žilina

ISBN

80-8070-468-6

Book

Proceedings of the International Workshop MOSMIC'2005

Pages from

59

Pages to

66

Pages count

6

BibTex


@inproceedings{BUT18049,
  author="Vladimír {Janoušek} and Radek {Kočí}",
  title="Towards Model-Based Design with PNtalk",
  annote="The classic approach to the system design consists of two key parts -- the formal (or informal) specification
allowing to check the validity and correctness of the designed system, and subsequently the system implementation.
The implementations are usually done using traditional programming and tend to diverge from the specifications. To avoid this,
there are the possible ways allowing to get the implementation directly from the specification. Since the specification is
usually based on models, these approaches are often called model-based. This paper presents our approach to model-based design
using PNtalk. PNtalk is an experimental language and system that combines Petri nets and Smalltalk. It is based on a formalism
called Object Oriented Petri Nets and its objective is modeling, simulation, and prototyping. The model-based design approach
using PNtalk preserves OOPN-based models during all design stages including final implementation. To get the implementation,
we use the PNtalk feature allowing to use models not only for the system specification, but also like the system prototype.",
  address="Faculty of management science and Informatics of Zilina University",
  booktitle="Proceedings of the International Workshop MOSMIC'2005",
  chapter="18049",
  institution="Faculty of management science and Informatics of Zilina University",
  year="2005",
  month="september",
  pages="59--66",
  publisher="Faculty of management science and Informatics of Zilina University",
  type="conference paper"
}