Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers

  title={Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers},
  author={A. Mooij and Jarungjit Parnjai and C. Stahl and M. Voorhoeve},
  • A. Mooij, Jarungjit Parnjai, +1 author M. Voorhoeve
  • Published in WS-FM 2010
  • Computer Science, Chemistry
  • 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… CONTINUE READING
    19 Citations
    Behavioral Service Substitution
    • 1
    Chapter 1 Behavioral Service Substitution
    • PDF
    Filtering Undesirable Service Substitution Behaviors using Filtering Guidelines
    • 1
    • PDF
    An Operating Guideline Based Approach to Analyzing Timed Compatibility of Service Composition
    • 2
    • Highly Influenced
    Specification and Generation of Adapters for System Integration
    • 5
    Soundness-Preserving Refinements of Service Compositions
    • 17
    • PDF
    Verifying responsiveness for open systems by means of conformance checking
    • Highly Influenced
    • PDF
    Deciding conformance for bounded responsiveness
    Conformance Checking of Services Using the Best Matching Private View
    • 11
    • PDF
    Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss
    • Highly Influenced
    • PDF


    Behavioral Constraints for Services
    • 49
    • PDF
    Deciding Substitutability of Services with Operating Guidelines
    • 63
    • PDF
    Operating Guidelines for Finite-State Services
    • 126
    • Highly Influential
    • PDF
    Representing, analysing and managing Web service protocols
    • 217
    Proof Techniques for Adapter Generation
    • 18
    Does My Service Have Partners?
    • K. Wolf
    • Computer Science
    • Trans. Petri Nets Other Model. Concurr.
    • 2009
    • 89
    Operating guidelines for services
    • 49
    • PDF
    Contract based multi-party service composition
    • 78
    From Public Views to Private Views - Correctness-by-Design for Services
    • 89
    • PDF
    The Must Preorder Revisited
    • 84