Home Page

Main.HomePage History

Hide minor edits - Show changes to output

Added lines 16-31:

''List of Institutions''\\

LORIA, France\\
University of Kaiserslautern, Germany\\
University of North Texas, USA\\
ReDCAD, Tunisia\\
Information Science Institute, Tunisia\\
Mohammed Premier Oujda, Morroco\\
USDA and Cornell University, USA\\
University of Southampton, UK\\
HuNan University,China\\
LAAS-CNRS, France\\
University of Kaiserslautern, Germany\\
School of Informatics, Edinburgh, UK\\
Changed lines 1-2 from:
GMTE: The Graph Matching and Transformation Engine Presentation
to:
'''GMTE: The Graph Matching and Transformation Engine Presentation'''
Changed lines 15-17 from:
General Presentation
to:
%center% %width=500px% http://www.laas.fr/~khalil/GMTE/images/gmteUsers.png"Figure: Gmte users location." | Gmte users location.

'''General Presentation'''
Changed line 33 from:
%center% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
%center% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips" | Paper clips
Changed line 33 from:
%center %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
%center% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed line 33 from:
%center%width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
%center %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed lines 32-34 from:
<center>
%width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
</center>
to:
%center%width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed lines 32-33 from:
<center> %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
<center>
%width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed line 32 from:
<center>%lframe width=300px bgcolor=white% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
<center> %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed lines 32-33 from:
<center>
%lframe width=300px bgcolor=white% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
<center>%lframe width=300px bgcolor=white% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed line 33 from:
%lframe width=300px http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
%lframe width=300px bgcolor=white% %width=200px%http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Deleted lines 35-36:

bgcolor=white% %width=200px%
Changed line 33 from:
%lframe http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
%lframe width=300px http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Changed line 37 from:
width=300px bgcolor=white% %width=200px%
to:
bgcolor=white% %width=200px%
Changed lines 33-34 from:
%lframe width=300px bgcolor=white% %width=200px% http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
to:
%lframe http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"
Added line 37:
width=300px bgcolor=white% %width=200px%
Changed line 32 from:
to:
<center>
Changed line 35 from:
to:
</center>
Deleted line 37:
(:htpasswdform:)
Added lines 35-38:



(:htpasswdform:)
Added lines 1-34:
GMTE: The Graph Matching and Transformation Engine Presentation

GMTE, the graph matching and transformation engine is an efficient tool we have been implementing
in C++ since a decade now. It is an efficient implementation of an extension of MessmerÂ’s
algorithm. Our experiments show that the tool is capable of searching small and medium graph patterns in huge
graphs in a short time. A computational complexity analysis of our algorithm has conducted
and performant experimental results are obtained.We have also shown that, when only constant
labels are considered, this complexity is similar to the complexity of UllmannÂ’s algorithm . Both pattern graph (called rule graph) and host graph have labelled nodes
and edges. The rule graph labels may be totally or partially instatiated. Unification is conducted
for non-instantiated labels.
The tool can be used non-interactively as a C++ library providing a function that can be
invoked from either a C++ or a Java main program. The tool can be used through as a C++
executable that reads rule graph and host graph description from input TXT or XML files.

General Presentation

The approach ACG (Abstract Graph Component) that we use is based on graphs and coordination rules to describe the dynamic evolution of architectures. It is also used to simulate the different instantiation component stages, behaviour change during implementation, migration, and other characteristics specific to the distributed systems software architecture.

We propose to model the architecture by an architecture graph (AG), and manage its evolution by the management architecture protocol (GAP). The nodes AG describe software components, and edges describe the dependence relationship between these components.
The rules that guide the dynamic evolution are modelled as graphs called rule graphs

(RG) partitioned into four zones that determine the rule application and the changes that occur when a rule is applicable.

We distinguish: :

# The Inv zone: representing a fragment of the RG which must be identified (by homomorphism) in the GA, if several subgraphs are homomorphic to this area, a subgraph is chosen randomly;
# The Abs zone: representing a fragment of RG (containing the fragment Inv) which must do not exit (by homomorphism) in the AG for the rule is applicable;
# The Del zone: is under a fragment of the Inv zone that will be deleted on the application of the rule;
# The Add zone: is the fragment that will be added after the application of the rule.

The protocol management architecture PGA involves coordinating events occurring in the system to the rule of coordination RC (or combination of coordination rules) to be applied to transform architecture. The management architecture protocol involves coordinating events occurring in the system to the rule of coordination RC (or combination of coordination rules) to be applied to transform architecture.

%lframe width=300px bgcolor=white% %width=200px% http://www.laas.fr/~khalil/GMTE/images/regle.gif"Paper clips"