Automatic Derivation of Components Using Choreographies - A Case Study.

In this paper we use a model driven development approach for the derivation of the component behaviors from choreography models. We consider the reactive system domain where services are collaborative in nature involving one or more active components that may take initiatives on their own. Two different forms of choreography models having different level of details are used. An algorithm is proposed to automatically derive reusable component types utilizing these choreography models. The approach is illustrated with a case study -- the European Rail Traffic Management System. [ABSTRACT FROM AUTHOR]