AIC Seminar Series

Service-Oriented Computing (SOC) is an emerging computing paradigm for building cooperative information systems in which the concepts of distribution, openness, asynchronous messaging and lack of centralized control take a leading role. This novel way of building massively distributed applications calls for new techniques and raises a number of challenging issues. I will focus on the problem of enabling users and service providers with high-level goal languages. I present a service request language (XSRL) and choreographic support framework that allows users to formulate their requests against standard business processes. The framework is also capable of automatically associating business rules (XSAL) with relevant processes involved in a user request. The solution to the service choreography problem we propose handles the non-determinism and uncertainty typical of SOC environments and is based on the interleaving of planning and execution modeled as a constraint problem.

Marco Aiello is assistant professor in the Department of Information and Communication Technologies at the Univ. of Trento, currently on sabbatical leave at the Distributed Systems Group at TUWien. His research interests lie in the fields of Service-Oriented Computing, Document Image Understanding and Spatial Reasoning. He received a PhD from the Univ. of Amsterdam in 2002 under the guidance of Johan van Benthem on modal logics of space, for which he won the 2003 AI*IA Best Dissertation award.