426 search results - page 10 / 86 » Towards Verifying Model Transformations |
ADBIS
2007
Springer
14 years 1 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
AGTIVE
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
ENTCS
2006
13 years 7 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
WISE
2002
Springer
14 years 11 days ago
2002
Springer
Web based services and applications have increased the availability and accessibility of information. XML has recently emerged as an important standard in the area of information ...