“…More than just a binding, it stores the interaction constraints and provides a mechanism to intercept the messages exchanged between two roles during run-time in order to verify the interaction. The monitoring ability of ROAD contracts is discussed elsewhere [9]. Of particular relevance to the discussion in this paper, is the ability of ROAD contracts to define protocol clauses that describe permissible sequences of transactions that can occur between roles.…”
Section: Fig 1 Protocols In a Road Service Compositementioning
confidence: 99%
“…Our approach also provides an automatic consistency checking to ensure no violation has occurred during the changes. The reader is referred to [9] where we describe how IRS constraints can be incrementally added or deleted from ROAD contracts. …”
Section: Fig 1 Protocols In a Road Service Compositementioning
confidence: 99%
“…These constraints are converted into finite state automata (FSA) within the contract so that interaction can be checked at runtime, as discussed in [5,9]. (For multiple contracts in a composite, the organiser also maintains a model of any dependency constraints between these contract protocols.)…”
Section: Listing 1 Modified Temporal Constraints In Buyer-broker Conmentioning
Abstract. In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service composition those behavioural requirements may be continually changing. This paper shows how the behavioural requirements in abstract service definitions (roles) can be dynamically and incrementally defined using constraints. These constraints are then used to generate finite state automata, which are used to check the compatibility of candidate services that have their behaviour expressed in static interface descriptions such as OWL-S.
“…More than just a binding, it stores the interaction constraints and provides a mechanism to intercept the messages exchanged between two roles during run-time in order to verify the interaction. The monitoring ability of ROAD contracts is discussed elsewhere [9]. Of particular relevance to the discussion in this paper, is the ability of ROAD contracts to define protocol clauses that describe permissible sequences of transactions that can occur between roles.…”
Section: Fig 1 Protocols In a Road Service Compositementioning
confidence: 99%
“…Our approach also provides an automatic consistency checking to ensure no violation has occurred during the changes. The reader is referred to [9] where we describe how IRS constraints can be incrementally added or deleted from ROAD contracts. …”
Section: Fig 1 Protocols In a Road Service Compositementioning
confidence: 99%
“…These constraints are converted into finite state automata (FSA) within the contract so that interaction can be checked at runtime, as discussed in [5,9]. (For multiple contracts in a composite, the organiser also maintains a model of any dependency constraints between these contract protocols.)…”
Section: Listing 1 Modified Temporal Constraints In Buyer-broker Conmentioning
Abstract. In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service composition those behavioural requirements may be continually changing. This paper shows how the behavioural requirements in abstract service definitions (roles) can be dynamically and incrementally defined using constraints. These constraints are then used to generate finite state automata, which are used to check the compatibility of candidate services that have their behaviour expressed in static interface descriptions such as OWL-S.
“…Contract terms define the mutual obligations of the participant roles in an organisational context. They define the interactions that are permissible or required by the participant roles, and can be used to enforce sequences of interactions [15]. Contracts can also set any non-functional requirements (NFRs), in the form of utility objects, on their roles' interactions, and monitor those interactions for compliance to those requirements.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.