Towards Model-Based Design with PNtalk

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Towards Model-Based Design with PNtalk

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Towards Model-Based Design with PNtalk

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů</a><br>

Návaznosti

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

Rok uplatnění

2005

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of the International Workshop MOSMIC'2005

ISBN

80-8070-468-6

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

59-64

Název nakladatele

Faculty of management science and Informatics of Zilina University

Místo vydání

Žilina

Místo konání akce

Žilina

Datum konání akce

11. 10. 2005

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—