-
...this paper we concentrate on refinements of service compositions. we model service compositions using petri nets, and consider...check
whether such a pair of places can be refined by another sound service composition, so that soundness is preserved through
the refinement.
...
-
soundness is one of the well-studied properties of processes; it denotes that a...reachable from the initial state. soundness-preserving refinements are important for enabling the compositional design of systems....
-
...preferences are a key component of effective web service composition, and one that has largely...end, we propose a means of performing automated web service composition by ex- ploiting a flexible template of the composition in the form of a generic procedure. this template...
-
...be realized by composing existing services into new, added-value composite services. the external services with which a service composition interacts are usually known by...to fulfill the functional requirements of the composite application. given the requirements specification of a composite service, we present a technique for...
-
...end-users from the complexity of service composition, we propose an approach which can compose services on the fly to meet...to easily understand the description of services and add their own descriptions using descriptive tags. instead of requiring
end-users to specify detailed steps for composition, the end-users only need...
-
service oriented architectures draw heavily on...new theo- ry for adaptable service compositions. the theory pro- vides an effective framework for analyzing the conformance of contract-based service compositions, and for enforcing their compliance...
-
...development of sound approaches and software tools for specification, assembly, and deployment of compos- ite web services from independently developed compo- nents...a new incremental approach to service com- position, moscoe (modeling web service composition and execution), based on the three steps of abstraction, composition and refinement. abstraction refers to the high...
-
...domain variables. we develop a sound and complete logi- cal approach for identifying the existence of composition of available component-stss, such that...the user to achieve appropriate refinement of the goal specifi- cation, thereby paving the way for incremental development of composite services....
-
...studied before. an operating guideline of a service p is an operational characterization of all deadlock-free interacting partners of p. in this paper, we present an extension of the concept of an operating guideline to characterize all correctly interacting partners of a service p. this extension can be...
-
...safely
combined to obtain a sound model of combined services. two refinements are defined following directions of refinement and
the refinement-as-composition principle is developed with the b-event-based approach called b system. although service composition
is non monotonie, b system provides a framework for analysing services and services composition.
...