A graphical specification environnement for GCM component-based applications

Oleksandra Kulankhina 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : According to the paradigm of component-based software engineering a software system can be represented as a set of independent reusable modules which communicate with each other. The OASIS team is working on a Grid Component Model (GCM) which defines how a distributed component-based application should be designed, deployed and developed. This work is focused on the modeling aspect of GCM-based applications. First, we define a formal model for the GCM-based applications architecture. Second, we provide a formalized set of consistency constraints for the GCM-based architecture validation. The created set consists of the validation rules gathered from different sources. Finally, we implement a graphical editor for the GCM-based applications architecture and behavior specifications. It has an architecture validation module which allows to verify the formalized set of constraints.
Type de document :
Mémoires d'étudiants -- Hal-inria+
Information Theory [cs.IT]. 2013
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00932190
Contributeur : Oleksandra Kulankhina <>
Soumis le : jeudi 16 janvier 2014 - 14:42:25
Dernière modification le : mercredi 8 avril 2015 - 16:34:33
Document(s) archivé(s) le : samedi 8 avril 2017 - 17:59:53

Fichier

2013-OKulankhina-MasterReport....
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00932190, version 1

Collections

Citation

Oleksandra Kulankhina. A graphical specification environnement for GCM component-based applications. Information Theory [cs.IT]. 2013. 〈hal-00932190〉

Partager

Métriques

Consultations de
la notice

291

Téléchargements du document

318