ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 9/4 - 2003  - pp.53-73  - doi:10.3166/objet.9.4.53-73
TITLE
RSDS, a Subset of UML with Precise Semantics

RÉSUMÉ
Dans cet article nous décrivons les bases sémantiques d'un sous-ensemble, RSDS, de la notation UML. Ce sous-ensemble est spécifiquement étudié pour cibler la spécification des systèmes réactifs et a une sémantique formelle exprimée en logique temporelle. Nous définissons cette sémantique et nous l'utilisons pour justifier la technique de décomposition modulaire de RSDS, la vérification de systèmes réactifs aussi bien que la traduction vers SMV.


ABSTRACT
In this paper we describe the semantic foundation of a subset, RSDS, of the UML notation. This subset is specifically intended to support reactive system specification, and has a formal semantics expressed in temporal logic. We define this semantics, and use the semantics to justify RSDS techniques for modular decomposition and verification of reactive systems, including a structure-preserving translation to SMV.


AUTEUR(S)
Kevin LANO, David CLARK, Kelly ANDROUTSOPOULOS

MOTS-CLÉS
UML, RSDS, sémantique formelle, systèmes réactifs, SMV.

KEYWORDS
UML, RSDS, Formal semantics, Reactive systems, SMV.

LANGUE DE L'ARTICLE
Anglais

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier