Sciweavers

4074 search results - page 147 / 815
» Abstract Graph Transformation
Sort
View
SAC
2006
ACM
15 years 7 months ago
Simplifying transformation of software architecture constraints
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
Chouki Tibermacine, Régis Fleurquin, Salah ...
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
15 years 7 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 6 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÃIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
BPM
2008
Springer
158views Business» more  BPM 2008»
15 years 3 months ago
Towards Transformations from BPMN to Heterogeneous Systems
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
Tobias Küster, Axel Heßler
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 2 months ago
Using ATL to define advanced and flexible constraint model transformations
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
Raphaël Chenouard, Laurent Granvilliers, Rica...