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 7/3 - 2001  - pp.323-362
TITLE
A Formal Denotational Semantics of UML in Object-Z

RÉSUMÉ

Cet article présente une spécification formelle des métamodèles UML avec Object-Z. Dans la spécification, la syntaxe abstraite, la sémantique statique et la sémantique dynamique d’un modèle construit à partir du métamodèle sont groupées ensemble et encapsulées dans une unique classe Object-Z. A partir de là, quand UML est tendu, la sémantique d’UML peut facilement être étendue. Avec cette approche, non seulement nous proposons une spécification formelle du métamodèle UML mais nous recouvrons aussi le manque de modularité et d’extensibilité de la sémantique UML courante.

ABSTRACT

This paper presents a formal specification of the UML metamodel using Object-Z. In the specification, the abstract syntax, static semantics, and dynamic semantics of an individual modeling construct in the metamodel are grouped together and encapsulated within a single Object-Z class. Therefore, when UML is enhanced, the semantics of the UML can be readily extended. With this approach, we not only provide a formal specification of the UML metamodel, but also overcome the lack of modularity and extensibility of the current UML semantic representation.

AUTEUR(S)
Soon-Kyeong KIM, David CARRINGTON

MOTS-CLÉS
orienté-objet, méthode formelle, UML, Object-Z, intégration de méthodes, métamodèle.

KEYWORDS
Object-orientation, Formal Method, UML, Object-Z, Method Integration, Metamodel.

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  (492 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier