ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 23/4 - 2004  - pp.543-567  - doi:10.3166/tsi.23.543-567
TITRE
UML et réseaux de Petri

RÉSUMÉ
Cet article étend la méthode UML/PNO au niveau de l'analyse des besoins des systèmes embarqués. D'abord, il présente les interfaces des objets et la structuration hiérarchique des modèles de l'analyse par composition d'objets. Ensuite, il aborde la formalisation et la validation des besoins à travers les cas d'utilisation associés aux diagrammes de collaboration et de séquence. Les diagrammes de séquence sont traduits en modèles à réseaux de Petri, et l'assemblage de ces modèles de base permet de construire les réseaux de Petri de comportement des objets. Les cas d'utilisation ainsi formalisés peuvent être soumis à V&V.


ABSTRACT
This paper extends the UML/PNO method to a formal requirements analysis approach for embedded systems. First it shows the objects interfaces and the hierarchical structuring based on object composition. Then it addresses the requirements formalisation and validation through the Use Cases, the collaboration and sequence UML diagrams. Specifically, sequence diagrams are translated to Petri Nets models. Finally, the behavioural objects PNs are built from such design patterns. So, a Use Case formalisation is done for V&V purpose.


AUTEUR(S)
Mario PALUDETTO, Jérôme DELATOUR, Adel BENZINA

Reçu le 12 novembre 2001.    Accepté le 23 juillet 2003.

MOTS-CLÉS
analyse et conception orientées objets, systèmes embarqués, UML, méthodes formelles, réseaux de Petri, validation et vérification.

KEYWORDS
object oriented analysis and design, embedded system, UML, formal method, Petri nets, verification and validation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (280 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier