Download Introduction

Introduction
afin de permettre au concepteur de manipuler des modèles qui n'excèdent pas ses capacités de
compréhension, et qui permettent la vision d'un modèle à différents niveaux d'abstraction.
Les techniques de décomposition fonctionnelle hiérarchique ont été les premières appliquées aux
RdPHN et favorisent une approche descendante. Elles apportent les mêmes avantages, et souffrent des
mêmes carences que lorsqu'elles sont appliquées à la conception de logiciel. Des techniques de
composition de réseaux, favorisant une approche ascendante ont également été présentées, avec les
mêmes buts.
L'objet de notre travail est de définir un modèle qui concilie les concepts de la conception Orientée
Objet avec ceux des Réseaux de Petri de Haut Niveau (RdPHN), en conservant les avantages propres
à chacune de ces approches, et notamment :
•
Gérer la complexité des modèles, par des techniques et des critères sains de structuration ;
•
Faciliter la réutilisation et l'extension de modèles déjà produits ;
•
Offrir les mécanismes d'abstraction permettant de modéliser un système à différents niveaux, et
d'utiliser le même formalisme à différentes étapes du cycle de vie ;
•
Produire des modèles faciles à lire et à valider, en autorisant la description d'interfaces de haut
niveau entre composants et en profitant de la représentation graphique claire et concise des
Réseaux de Petri ;
•
Permettre des validations statiques et dynamiques du modèle en cours d'élaboration, afin de
détecter au plus tôt les erreurs et les dysfonctionnements, grâce à une sémantique formellement
définie.
Pour atteindre ces objectifs, nous proposons un formalisme appelé Objets Coopératifs. Ce
formalisme est défini formellement, avec toute la précision nécessaire pour qu'il puisse être
effectivement utilisé comme un Langage de Spécification Exécutable. Le but est de mettre à la
disposition du modélisateur les concepts structurant les plus puissants de l'approche objet
(classification, encapsulation, héritage, composition) pour décrire les aspects structurels (ou statiques)
d'un système, tout en profitant de l'expression claire, concise et formelle de la concurrence qui est une
des caractéristiques de l'approche réseaux de Petri.
On peut envisager d'utiliser ce formalisme dans les domaines suivants :
•
Le modèle peut servir de spécification fonctionnelle du système modélisé. On doit alors
fournir un modèle qui se comporte comme le système, et dans cette optique les qualités
primordiales d'un formalisme sont le pouvoir d'expression (un formalisme de haut niveau
facilite la communication des modèles au sein d'une équipe) et le caractère formel (pour éviter
toute interprétation subjective de la spécification) ;
•
Le modèle peut servir à la conception du système. Les aspects structurels du modèle sont alors
les plus importants, et les facilités d'abstraction et de structuration sont primordiales ;
•
Le modèle peut servir à la simulation (ou au prototypage) du système. Le formalisme doit
alors être suffisamment formel pour être exécutable ;
Laboratoire d'accueil : LIS - Université Toulouse I - Place Anatole France - 31042 Toulouse Cedex