The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Abstract Descriptions into Executable Web Services: Towards a Formal Development Antonella Chirichiello1 and Gwen Sala¨un2 1 DIS - Universit`a di Roma “La Sapienza”, Italy
In order to assist bottom-up efforts by administrations annotating their Web resources with adequate metadata, we introduce and follow an activity-based approach towards developme...
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...