Formal Techniques Based On Nets, Object Orientation and Reusability For Rapid Prototyping of Complex Systems

F. Kordon

IBP-Masi 1994/19: Rapport de Recherche Masi / Masi research reports
23 pages - Mai/May 1994 - French document.

PostScript : Ko /Kb

Titre / Title: Formal Techniques Based On Nets, Object Orientation and Reusability For Rapid Prototyping of Complex Systems


Résumé : Résumé
L'objectif de cet article est de présenter une technique de prototypage
combinant une représentation objet (les Unités de modélisations définies
dans [Bachatène 92]) et les réseaux de Petri Colorés.
Les principes de la modélisation et du prototypage sont présentés et
appliqués à un exemple complexe.
Les techniques présentées dans ce papier sont partiellement implémentées
dans l'environnement ACPN-MI, disponible sur ftp (ftp.ibp.fr).

Abstract : Abstracts
This paper presents a prototyping technique that combine both an object
oriented formalism (Modeling units defined in [Bachatène 92]) and Colored
Petri Nets.
Principles of the modeling and prototyping procedure are presented and
applied to a complex example.
The techniques presented in this paper are partially implemented in the
CPN-AMI environment. CPN-AMI is available by ftp (ftp.ibp.fr).


Publications internes Masi 1994 / Masi research reports 1994