Towards Model-Based Design with PNtalk

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56478" target="_blank" >RIV/00216305:26230/05:PU56478 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Towards Model-Based Design with PNtalk

Original language description

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 appproaches 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 f

Czech name

Towards Model-Based Design with PNtalk

Czech description

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 appproaches 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 f

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automated methods and tools supporting development of reliable concurrent and distributed systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the International Workshop MOSMIC'2005

ISBN

80-8070-468-6

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

59-64

Publisher name

Faculty of management science and Informatics of Zilina University

Place of publication

Žilina

Event location

Žilina

Event date

Oct 11, 2005

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—