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 11/1-2 - 2005  - pp.191-206  - doi:10.3166/objet.11.1-2.191-206
TITRE
Représentation graphique des objets et sous-typage

RÉSUMÉ
Les dépendances internes parmi les propriétés des objets caractérisent leurs comportements et les différencient des enregistrements. Des problèmes fondamentaux de typage/soustypage persistent encore dans les systèmes de types d'objets parce que les interdépendances parmi ces propriétés ne sont pas prises en compte. Dans ce papier, nous proposons une nouvelle méthode de typage des langages orientés objet qu'on appelera graphe type pour objets (OTG). Les types des objets sont représentés par des graphes orientés et colorés. Les interdépendances parmi les propriétés sont formalisées par des liens intégrés dans les types mêmes. Ainsi, nous démontrons que les problèmes qui existent dans les systèmes traditionnels de types peuvent être facilement résolus sous OTG.


ABSTRACT
Internal dependencies among object components characterize the behaviors of objects and differentiate them from records. Fundamental typing/subtyping shortcomings still persist in current object type systems due to the overlook of such object component interdependencies. In this paper, we propose object type graphs (OTG) as a new approach to the typing of object-oriented languages. Under OTG, object types are represented as colored directed graphs and object component interdependancies are formalized as computable links and integrated into object types. We show how problems in conventional object type systems can be easily resolved under OTG.


AUTEUR(S)
Cong-Cong XING, Boumediene BELKHOUCHE

MOTS-CLÉS
variance, sous-typage, interdépendance, lien.

KEYWORDS
variance, subtyping, interdependency, link.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
made by WAW Lavoisier