Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The advantages of web service orchestration in perspective
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
BondFlow: A System for Distributed Coordination of Workflows over Web Services
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 1 - Volume 02
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Towards Constraint-Based Composition with Incomplete Service Descriptions
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
The VLDB Journal — The International Journal on Very Large Data Bases
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A Petri Nets based functional validation for services composition
Expert Systems with Applications: An International Journal
Conceptual and usability issues in the composable web of software services
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Ontological service layer for digital libraries: a requirement and architectural analysis
ICADL'04 Proceedings of the 7th international Conference on Digital Libraries: international collaboration and cross-fertilization
Realising personalised web service composition through adaptive replanning
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Web service composition using markov decision processes
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
E-service/process composition through multi-agent constraint management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards semi-automated workflow-based aggregation of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Semantics of BPEL4WS-Like fault and compensation handling
FM'05 Proceedings of the 2005 international conference on Formal Methods
WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Interoperability for GIS document management in environmental planning
Journal on Data Semantics III
A model-driven approach for QoS prediction of BPEL processes
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Modelling of service compositions: relations to business process and workflow modelling
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Journal of Database Management
The WTE+ framework: automated construction and runtime adaptation of service mashups
Automated Software Engineering
Hi-index | 0.00 |
Recently, several languages for web service compositionhave emerged (e.g., BPEL4WS and WSCI). The goal ofthese languages is to glue web services together in aprocess-oriented way. For this purpose, these languagestypically borrow concepts from workflow management systemsand embed these concepts in the so-called "web servicesstack". Up to now, little or no effort has been dedicatedto systematically evaluate the capabilities and limitationsof these languages. BPEL4WS for example is said tocombine the best of other standards for web service compositionsuch as WSFL (IBM) and XLANG (Microsoft), and allowsfor a mixture of block structured and graph structuredprocess models. However, aspects such as the expressiveness,adequacy, orthogonality, and formal characterizationof BPEL4WS (e.g. reachability) have not yet been systematicallyinvestigated. Although BPEL4WS is not a bad proposal,it is remarkable how much attention it receives whilemore fundamental issues such as semantics, expressiveness,and adequacy do not get the attention they deserve. Therefore,we advocate the use of more rigorous approaches tocritically evaluate the so-called standards for web servicescomposition, and to learn from 25 years of experiences inthe workflow/office automation domain.