Model-directed web transactions under constrained modalities
Proceedings of the 15th international conference on World Wide Web
Model-directed Web transactions under constrained modalities
ACM Transactions on the Web (TWEB)
Monitoring Web Services: A Database Approach
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Bridging the Web Accessibility Divide
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
The workflow automaton in ad hoc network
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Sharing RFID and complex event data among organizations
Information Systems Frontiers
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Service research challenges and solutions for the future internet
Examining usage protocols for service discovery
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
On constructing environment ontology for semantic web services
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Overview on decentralized establishment of multi-lateral collaborations
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
Web services peer-to-peer discovery service for automated web service composition
ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Evolution of process choreographies in DYCHOR
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
Specifying and Composing Web Services with an Environment Ontology-Based Approach
International Journal of Web Services Research
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
A survey of change management in service-based environments
Service Oriented Computing and Applications
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |
Web services advocate loosely coupled systems, althoughcurrent loosely coupled applications are limitedto stateless services. The reason for this limitation is thelack of a method supporting matchmaking of state dependentservices exemplarily specified in BPEL. In particular,the sender's requirement that the receiver must supportall possible messages sent at a certain state arenot captured by models currently used for service discovery.Annotated deterministic finite state automataprovide this expressiveness. In this paper the transformationof a local process specification given in BPELto annotated deterministic finite state automata is presented.