Abstract. The intrinsic flexibility and dynamism of service-centric applications preclude their pre-release validation and demand for suitable probes to monitor their behavior at run-time. Probes must be suitably activated and deactivated according to the context in which the application

ambiguous aspects of the WS-BPEL specification, which have led to engines implementing different semantics and, thus, undermined portability of WS-BPEL programs over different platforms. We illustrate the main features of Blite by means of many examples, some of which are also exploited to test and compare

obstruct coherent teamwork. In particular, team members often encounter differing, incomplete, and possibly inconsistent views of their environment. Furthermore, team members can unexpectedly fail in fulfilling responsibilities or discover unexpected opportunities. Highly flexible coordination

infrastructure. Based on our claim, we suggest to use an agentoriented extension of UML 2.0 named AUML to model agent interaction protocols, and a business protocol execution language for WSs named WS-BPEL, to publish the specification of these protocols on the Web. To demonstrate the feasibility of our approach

capabilities. In this paper we introduce BPEL-TIME, a WS-BPEL extension for time management purposes. It allows the definition, execution and monitoring of business processes with time management capabilities. This extension makes a fixed, variable and probabilistic representation of temporal constraints

AspectJ-TM is a simple and practical aspect-oriented extension to Java-TM. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ's dynamic join point model, join points are well-defined points in the execution

Abstract. We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WS-BPEL, one of the most used XML-based standard lan-guages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model

Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety of reasons. In this paper we present VieDAME, a system which allows monitoring of BPEL processes according to Quality

various limitations of current recommendation methods and discusses possible extensions that can improve recommendation capabilities and make recommender systems applicable to an even broader range of applications. These extensions include, among others, an improvement of understanding of users and items

WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also introduces the concept of abstract processes: In contrast to their executable siblings, abstract processes