Communicating sequential processes
Communicating sequential processes
Trace theory for automatic hierarchical verification of speed-independent circuits
Trace theory for automatic hierarchical verification of speed-independent circuits
Communication and Concurrency
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Galois connections and fixed point calculus
Algebraic and coalgebraic methods in the mathematics of program construction
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
The Challenges of Service Evolution
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Covering Places and Transitions in Open Nets
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Proof Techniques for Adapter Generation
Web Services and Formal Methods
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Web services and business process management
IBM Systems Journal
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Trading Off Concurrency to Generate Behavioral Adapters
ACSD '09 Proceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design
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
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
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
| Hi-index | 0.00 |
Service-oriented systems support process evolution by allowing the replacement of a service S by another service T. To maintain proper interaction in the overall system, service T should interact properly with all controllers (i. e., in all contexts) of service S. To support the construction of such services T, we compute operating guidelines that represent all services that can replace service S. Our computation relies on the additional notion of a maximal controller. Maximal controllers can also be used for deciding whether a service T can replace service S, and for computing a public view that hides service details that are not relevant for controllers.