Adaptable pervasive flows are dynamic workflows situated in the real world that modify their execution in order to adapt to changes in the execution environment. This requires on the one hand that a flow must be context-aware and on the other hand that it must be flexible enough to allow an easy and continuous adaptation. In this paper we propose a set of constructs and principles for embedding the adaptation logic within the specification of a flow. Moreover, we show how a standard language for web process modeling (BPEL) can be extended to support the proposed built-in adaptation constructs. This work is partially funded by the FP7 EU FET project Allow IST-324449.
Web service discovery given a user request becomes a fundamental challenge in a service-oriented world. The overall success of Service Oriented Architectures (SOA) however will very much depend on automatic and accurate solutions for the discovery problem. Furthermore such solutions need to be efficiently integrated with other service related tasks (e.g. service composition). In this paper we propose a logic based approach for service discovery with composition support. First, we provide a formal model for service discovery based on semantic description of services and then we show how such approach can be integrated with service composition. Furthermore we provide a prototype implementation that validates our theoretical solution.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.