The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Distributed and Parallel Databases
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Coordination technology and Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Business alignment: using process mining as a tool for Delta analysis and conformance testing
Requirements Engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Workflow data patterns: identification, representation and tool support
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
A client for distributed geo-processing and workflow design
Journal of Location Based Services
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
An evaluation framework for business process modeling languages in healthcare
Journal of Theoretical and Applied Electronic Commerce Research
Detecting distant homologies on protozoans metabolic pathways using scientific workflows
International Journal of Data Mining and Bioinformatics
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Declarative technologies for open agent systems and beyond
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Interaction protocols and capabilities: a preliminary report
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
| Hi-index | 0.00 |
The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microsoft and positioned as the “process language of the Internet”. This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. Finally, the paper addresses several challenges not directly addressed by BPEL but highly relevant to the support of web services.