Sciweavers

2375 search results - page 67 / 475
» Towards a Theory of Services
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Reasoning About Web Services in a Temporal Action Logic
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...
Alberto Martelli, Laura Giordano
WEBI
2005
Springer
15 years 11 months ago
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development
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
Antonella Chirichiello, Gwen Salaün
HICSS
2008
IEEE
137views Biometrics» more  HICSS 2008»
16 years 19 days ago
An Activity-Based Approach towards Development and Use of E-Government Service Ontologies
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...
Ralf Klischewski, Stefan Ukena
ICIW
2009
IEEE
16 years 25 days ago
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
Nasreddine Aoumeur, Kamel Barkaoui
INFSOF
2008
148views more  INFSOF 2008»
15 years 6 months ago
Translating unstructured workflow processes to readable BPEL: Theory and implementation
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 ...
Wil M. P. van der Aalst, Kristian Bisgaard Lassen