WWW '05 Proceedings of the 14th international conference on World Wide Web
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
A Calculus of Global Interaction based on Session Types
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A theory for strong service compliance
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
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
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Electronic Notes in Theoretical Computer Science (ENTCS)
Interacting services: From specification to execution
Data & Knowledge Engineering
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Behavioral consistency measurement and analysis of WS-BPEL processes
WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management
Hi-index | 0.00 |
WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also introduces the concept of abstract processes: In contrast to their executable siblings, abstract processes are not executable and can have parts where business logic is disguised. Nevertheless, the WS-BPEL specification introduces a notion of compatibility between such an under-specified abstract process and a fully specified executable one. Basically, this compatibility notion defines a set of syntactical rules that can be augmented or restricted by profiles. So far, there exist two of such profiles: the Abstract Process Profile for Observable Behavior and the Abstract Process Profile for Templates. None of these profiles defines a concept of behavioral equivalence. Therefore, both profiles are too strict with respect to the rules they impose when deciding whether an executable process is compatible to an abstract one. In this paper, we propose a novel profile that extends the existing Abstract Process Profile for Observable Behavior by defining a behavioral relationship. We also show that our novel profile allows for more flexibility when deciding whether an executable and an abstract process are compatible.