Sciweavers

1357 search results - page 22 / 272
» Compositionality in Graph Transformation
Sort
View
IFIP
2009
Springer
14 years 3 months ago
Transformations between Cryptographic Protocols
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
Joshua D. Guttman
MODELS
2009
Springer
14 years 1 months ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
FAC
2010
148views more  FAC 2010»
13 years 7 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe
VL
2005
IEEE
126views Visual Languages» more  VL 2005»
14 years 2 months ago
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
Claudia Ermel, Karsten Hölscher, Sabine Kuske...
AINA
2005
IEEE
14 years 2 months ago
Preserving Composition in XML Object Relational Storage
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...
Eric Pardede, J. Wenny Rahayu, David Taniar