The sub-project B3 of the CRC "On-The-Fly Computing" is concerned with the model-based analysis of functional and non-functional properties of service compositions created by sub-project B2. Since different formalisms like layered queueing networks and process algebras are used to analyze these properties, B3 has to develop multiple complex transformations of service composition models into these formalisms.
To address this issue, we have proposed a model transformation development approach, which allows simplifying and improving the quality of the developed transformations via the exploitation of the languages’ structures. The approach is based on context-free graph grammars, used for the definition of modeling languages, and transformations, defined by pairing productions of these source and target grammars in a certain way. We have shown that model transformations defined using this approach and conforming to its requirements, exhibit three important characteristics: they are sound, complete, and deterministic.
To be able to re-use the developed quality model transformation in the cases where service compositions are modeled at different levels of abstraction (e.g., with or without platform/infrastructure services models), we have proposed a modular approach based on weaving models. This approach allows modeling of inter-service interactions in a non-invasive way, as weavings. Furthermore, by subjecting weaving models to a separate model transformation, it enables re-use of existing model transformations for the individual woven models.