Sciweavers

ECEASST
2008
84views more  ECEASST 2008»
13 years 11 months ago
An Incremental OCL Compiler for Modeling Environments
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
Tamás Vajk, Gergely Mezei, Tihamer Levendov...
ECEASST
2008
112views more  ECEASST 2008»
13 years 11 months ago
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
ECEASST
2008
83views more  ECEASST 2008»
13 years 11 months ago
Layered Architecture Consistency for MANETs: Introducing New Team Members
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
ECEASST
2008
79views more  ECEASST 2008»
13 years 11 months ago
From Hyperedge Replacement to Separation Logic and Back
Mike Dodds, Detlef Plump
ECEASST
2008
96views more  ECEASST 2008»
13 years 11 months ago
Deriving Barbed Bisimulations for Bigraphical Reactive Systems
Davide Grohmann, Marino Miculan
ECEASST
2008
76views more  ECEASST 2008»
13 years 11 months ago
Implementing Petri Net Transformations using Graph Transformation Tools
Enrico Biermann, Claudia Ermel, Tony Modica, Peggy...
ECEASST
2008
55views more  ECEASST 2008»
13 years 11 months ago
Reconfigurable Open Algebraic High-Level Systems
Conny Ullrich, Julia Padberg