Towards Model-Based Design with PNtalk

Towards Model-Based Design with PNtalk

Paper in proceedings outside WoS and Scopus

The classic approach to the system design consists of two key parts -- the formal (or informal) specificationallowing 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 isusually based on models, these approaches are often called model-based. This paper presents our approach to model-based designusing PNtalk. PNtalk is an experimental language and system that combines Petri nets and Smalltalk. It is based on a formalismcalled Object Oriented Petri Nets and its objective is modeling, simulation, and prototyping. The model-based design approachusing 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.

The classic approach to the system design consists of two key parts -- the formal (or informal) specificationallowing 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 isusually based on models, these approaches are often called model-based. This paper presents our approach to model-based designusing PNtalk. PNtalk is an experimental language and system that combines Petri nets and Smalltalk. It is based on a formalismcalled Object Oriented Petri Nets and its objective is modeling, simulation, and prototyping. The model-based design approachusing 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.

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

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

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

13.09.2005

Faculty of management science and Informatics of Zilina University

Žilina

80-8070-468-6

Proceedings of the International Workshop MOSMIC'2005

59

66

6