Dynamic Service Synthesis on a Large Service Models of a Federated Governmental Information System

In this paper we describe our experiments with large syntactic Web service models of a federated governmental information system for automatic composition of services. The paper describes a method for handling syntactic service models for synthesis of compound services. The method’s implementation as a visual tool developed in software en-vironment CoCoViLa is explained on an example from e-government domain. Given a specification and a goal, the tool automatically synthesizes a program that generates a required composite service description in BPEL or OWL-S