Skip to Main content Skip to Navigation
Master thesis

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 , Laboratoire I3S - 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.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Oleksandra Kulankhina Connect in order to contact the contributor
Submitted on : Thursday, January 16, 2014 - 2:42:25 PM
Last modification on : Saturday, June 25, 2022 - 11:12:45 PM
Long-term archiving on: : Saturday, April 8, 2017 - 5:59:53 PM


Files produced by the author(s)


  • HAL Id : hal-00932190, version 1



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



Record views


Files downloads