Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An axiomatic basis for computer programming
Communications of the ACM
LAO: a heuristic search algorithm that finds solutions with loops
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
SATO: An Efficient Propositional Prover
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Semantic E-Workflow Composition
Journal of Intelligent Information Systems
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
POESIA: An ontological workflow approach for composing Web services in agriculture
The VLDB Journal — The International Journal on Very Large Data Bases
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Modular verification of web services using efficient symbolic encoding and summarization
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Using interaction models to detect and resolve inconsistencies in evolving service compositions
Web Intelligence and Agent Systems
Synthesizing service composition models on the basis of temporal business rules
Journal of Computer Science and Technology
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Structured service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Hi-index | 0.00 |
An abstract business process contains a description the protocol that a business process engages in without revealing the internal computation of the process. This description provides the information necessary to compose the process with other Web services. BPEL supports this by providing distinct dialects for specifying abstract and executable processes. Unfortunately, BPEL does not prevent complex computations from being included in an abstract process. This complicates the protocol description, unnecessarily reveals implementation details, and makes it difficult to analyze correctness. We propose some restrictions on the data manipulation constructs that can be used in an abstract BPEL process. The restrictions permit a full description of a protocol while hiding computation. A restricted abstract process can easily be converted into an abstract BPEL process or expanded into an executable BPEL process. Based on these restrictions we propose a formal model for a business process and use it as the basis of an algorithm for demonstrating the correctness of a protocol described by a restricted abstract process. We then sketch an algorithm for synthesizing a protocol based on a formal specification of its outcome and the tasks available for its construction.