A graphical specification environnement for GCM component-based applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Mémoires D'étudiants -- Hal-Inria+ Année : 2013

A graphical specification environnement for GCM component-based applications

Résumé

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.
Fichier principal
Vignette du fichier
2013-OKulankhina-MasterReport.pdf (2.04 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00932190 , version 1 (16-01-2014)

Identifiants

  • HAL Id : hal-00932190 , version 1

Citer

Oleksandra Kulankhina. A graphical specification environnement for GCM component-based applications. Information Theory [cs.IT]. 2013. ⟨hal-00932190⟩
197 Consultations
330 Téléchargements

Partager

Gmail Facebook X LinkedIn More