Web services and business process management
IBM Systems Journal
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Covering Places and Transitions in Open Nets
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Abstract Processes in Orchestration Languages
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Proof Techniques for Adapter Generation
Web Services and Formal Methods
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Ensuring reachability by design
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
| Hi-index | 0.01 |
In the service-oriented architecture (SOA), we distinguish three roles of service owners: service providers, service requesters, and service brokers. Each service provider publishes information to the broker about how requesters can interact with its service. Thus, the broker can assign a fitting service provider to a querying requester. We propose the information published to the broker to be operating guidelines. Operating guidelines are essentially communication instructions for the service requester. We present an automata-theoretic approach that is centered around operating guidelines and is capable of implementing all tasks arising in the SOA.