@article {115,
	title = {Enforcing Web Services Business Protocols at Run-Time: a Process Driven Approach},
	journal = {International Journal of Web Engineering and Technology (IJWET)},
	volume = {2},
	year = {2006},
	pages = {396-411},
	abstract = {Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is possible to automatically derive role-specific processes from a global protocol definition and also statically verify the compliance of a local process with the corresponding global business process. In this paper, we show that a similar approach can be used at run-time. We propose to employ process-based tools to enforce that the messages exchanged between different WS comply with a given business protocol, both in terms of sequencing constraints and data flow characteristics. Our solution simplifies the implementation of WS because it helps to separate the concern of business protocol compliance from the actual service implementation. To do so, we show how to transparently add a protocol enforcement layer to the WS messaging stack. Our experimental results indicate that this imposes a minimal overhead.},
	keywords = {business process modeling, business protocols, choreography, conversation controller, data flow, JOpera, Web services},
	issn = {1476-1289},
	doi = {10.1504/IJWET.2006.010422},
	url = {http://www.inderscience.com/info/inarticle.php?artid=10422},
	author = {Bi{\"o}rn Bi{\"o}rnstad and Cesare Pautasso and Gustavo Alonso}
}
@article {106,
	title = {The JOpera visual composition language},
	journal = {J. Vis. Lang. Comput.},
	volume = {16},
	year = {2005},
	month = {February},
	pages = {119{\textendash}152},
	abstract = {Composing Web services into a coherent application can be a tedious and error-prone task when using traditional textual scripting languages or emerging XML-based approaches. As an alternative, complex interactions patterns and data exchanges between different Web services can be effectively modeled using a visual language. In this paper, we discuss the requirements of such an application scenario and we fully describe the JOpera Visual Composition Language. An extensive set of visual editing tools, a compiler and a debugger for the language have been implemented as part of the JOpera system with the goal of providing a true visual environment for Web service composition with usability features emphasizing rapid development and visual scalability. },
	keywords = {data flow, JOpera, visual composition languages, Web service composition, Web services},
	issn = {1045-926X},
	doi = {10.1016/j.jvlc.2004.08.004},
	author = {Cesare Pautasso and Gustavo Alonso}
}
@inproceedings {95,
	title = {From Web Service Composition to Megaprogramming},
	volume = {3324},
	year = {2004},
	month = {August},
	pages = {39 - 53},
	publisher = {Springer},
	address = {Toronto, Canada},
	abstract = {With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using Web services as reusable components. However, when attempting to apply the Web service composition paradigm in practical settings, some limitations become apparent. First of all, all kinds of existing {\textquotedblleft}legacy{\textquotedblright} components must be wrapped as Web services, incurring in additional development, maintenance, and unnecessary runtime overheads. Second, current implementations of Web service protocols guarantee interoperability at high runtime costs, which justifies the composition of only coarse-grained Web services. To address these limitations and support the composition of also fine-grained services, in this paper we generalize the notion of service by introducing an open service meta-model. This offers freedom of choice between different types of services, which also include, but are not limited to, Web services. As a consequence, we argue that service composition {\textendash} defined at the level of service interfaces {\textendash} should be orthogonal from the mechanisms and the protocols which are used to access the actual service implementations.},
	keywords = {heterogeneity, JOpera, megaprogramming, Web services},
	isbn = {978-3-540-25049-4},
	doi = {10.1007/b10662610.1007/978-3-540-31811-8_4},
	author = {Cesare Pautasso and Gustavo Alonso}
}
@conference {93,
	title = {Programming for dependability in a service-based grid},
	booktitle = {3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003 (CCGrid 2003)},
	year = {2003},
	month = {May},
	pages = {164 - 171},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Tokyo, Japan},
	abstract = {Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services provided by the different sites of the Grid. Recent developments in the area of Web services have strengthened this idea by standardizing procedures like service description, publication and invocation. What is still missing is the infrastructure necessary to support the complete life cycle of applications running on service based Grids, i.e., suitable programming paradigms, execution infrastructure, and the ability to monitor and control such computations. Moreover, once computations are made of composable services, dependability becomes a key issue that needs to be addressed by the infrastructure as it cannot be addressed separately by each individual service. To address these concerns, we have developed the BioOpera Grid computing platform. BioOpera is a process support system for dependable cluster computing that has been extended with additional functionality to provide adequate support for service-based Grids. In this paper we describe how BioOpera can be used to develop, execute, and administer highly dependable computations over service-based Grids.},
	keywords = {BioOpera, distributed business process execution engines, grid computing, Web services},
	isbn = {0-7695-1919-9},
	doi = {10.1109/CCGRID.2003.1199365},
	url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1199365},
	author = {Win Bausch and Cesare Pautasso and Gustavo Alonso}
}
@conference {94,
	title = {Visual composition of Web services},
	booktitle = {IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)},
	year = {2003},
	month = {October},
	pages = {92 - 99},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Auckland, New Zealand},
	abstract = {Composing Web services into a coherent application can be a tedious and error prone task when using traditional textual scripting languages. As an alternative, complex interactions patterns and data exchanges between different Web services can be effectively modeled using a visual language. In this paper we discuss the requirements of such an application scenario and we present the design of the BioOpera Flow Language. This visual composition language has been fully implemented in a development environment for Web service composition with usability features emphasizing rapid development and visual scalability.},
	keywords = {JOpera, visual languages, visual service composition, Web service composition, Web services},
	doi = {10.1109/HCC.2003.1260208},
	url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1260208},
	author = {Cesare Pautasso and Gustavo Alonso}
}
