Distributed and Collaborative Design of Composite Service Deployments Using Graph Transformations

The design of composite service deployments (including software, hardware, network and storage), is complicated due to multiple cross cutting concerns, both functional and non-functional, and organizational division of expertise to multiple overlapping domains. In [1], we proposed an approach for deployment design that includes the usage of an abstract requirement graph, and its refinement into a concrete (physical) “desired state” deployment topology using a set of fine grained transformation rules expressing configuration knowledge, best practices and policy. The approach reduces the amortized complexity of the deployment process, and the associated risk, and is suitable for a distributed deployment design activity, where multiple domain experts collaborate, which is the reality in large enterprises. IBM Rational’s deployment modeling platform is based on this approach.

In this paper, we lay out the theoretical foundations of the graph transformation approach for distributed design of composite service deployments. We propose a formal model for deployment design based on the Double Push Out (DPO) graph transformation technique. Our formal model includes a configuration domain containing abstract and concrete graph classes, and a configuration framework associating a graph transformation set with a configuration domain. We formally define what it means for a configuration framework to satisfy correctness, completeness and convergence. We demonstrate the approach on an example configuration framework (in the area of communication networks). We prove that the example configuration framework satisfies correctness and convergence, weak completeness, but not completeness.

By: Tamar Eilam; Michael Kalantar; Alexander Konstantinou

Published in: RC24916 in 2009


This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.


Questions about this service can be mailed to reports@us.ibm.com .