A graphical specification environnement for GCM component-based applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2013

A graphical specification environnement for GCM component-based applications

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.
Fichier principal
Vignette du fichier
2013-OKulankhina-MasterReport.pdf (2.04 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00932190 , version 1

Cite

Oleksandra Kulankhina. A graphical specification environnement for GCM component-based applications. Information Theory [cs.IT]. 2013. ⟨hal-00932190⟩
195 View
323 Download

Share

Gmail Facebook Twitter LinkedIn More