Results 1 - 10
of
19
Behavioral constraints for services
- In Proceedings of BPM 2007, LNCS
, 2007
"... Abstract. Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom of the composition of both services. In practice, there are intended ..."
Abstract
-
Cited by 31 (13 self)
- Add to MetaCart
(Show Context)
Abstract. Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom of the composition of both services. In practice, there are intended and unintended deadlock-freely interacting partners of a service. In this paper, we provide a formal approach to express intended and unintended behavior as behavioral constraints. With such a constraint, unintended partners can be “filtered ” yielding a customized operating guideline. Customized operating guidelines can be applied to validate a service and for service discovery. Key words: Business process modeling and analysis, Formal models in business
On Context-Sensitive Substitutability of Web Services
- In 5th IEEE International Conference on Web Services
, 2007
"... Web service substitution refers to the problem of identifying a service that can replace another service in the context of a composition with a specified functionality. Existing solutions to this problem rely on detecting the functional and behavioral equivalence of a particular service to be replac ..."
Abstract
-
Cited by 14 (3 self)
- Add to MetaCart
(Show Context)
Web service substitution refers to the problem of identifying a service that can replace another service in the context of a composition with a specified functionality. Existing solutions to this problem rely on detecting the functional and behavioral equivalence of a particular service to be replaced and candidate services that could replace it. We introduce the notion of context-specific substitutability, where context refers to the overall functionality of the composition that is required to be maintained after replacement of its constituents. Using the context information, we investigate two variants of the substitution problem, namely environment-independent and environmentdependent, where environment refers to the constituents of a composition and show how the substitutability criteria can be relaxed within this model. We provide a logical formulation of the resulting criteria based on model checking techniques as well as prove the soundness and completeness of the proposed approach.
MoSCoE: An Approach for Composing Web Services through Iterative Reformulation of Functional Specifications
- International Journal on Artificial Intelligence Tools
"... We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These ser ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented using labeled transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach. Keywords: Service-oriented architectures; web services; composition; symbolic transition systems; tabled-logic programming. 109 110 J. Pathak et al. 1.
Enterprise interoperability with soa: a survey of service composition approaches
- In Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops (EDOCW
, 2008
"... Service-Oriented Architecture (SOA) claims to facilitate the construction of flexible and loosely coupled business applications, and therefore is seen as an enabling factor for enterprise interoperability. The concept of service, which is central to SOA, is very convenient to address the matching of ..."
Abstract
-
Cited by 7 (1 self)
- Add to MetaCart
(Show Context)
Service-Oriented Architecture (SOA) claims to facilitate the construction of flexible and loosely coupled business applications, and therefore is seen as an enabling factor for enterprise interoperability. The concept of service, which is central to SOA, is very convenient to address the matching of needs and capabilities in enterprise collaborations. In order to satisfy more demanding needs or to rapidly adapt to changing needs it is possible to perform service composition in order to combine the capabilities provided through several available services. This paper presents a survey on recent approaches for service composition. To perform this study a conceptual framework for service composition is proposed. This framework allows studying how different approaches deal with the service composition life-cycle and provides basic guidelines for their analysis, evaluation and comparison. The proposed framework is used to analyse five representative service composition approaches. 1.
A Service-Oriented Architecture for Electric Power System Asset Management
- System Asset Management,” 2 nd International Workshop on Engineering ServiceOriented Applications: Design and Composition
, 2006
"... Abstract. In electric power transmission systems, the assets include transmission lines, transformers, power plants and support structures. Maintaining these assets to reliably deliver electric energy at low prices is critical for a nation’s growth and development. Towards this end, we describe a no ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
(Show Context)
Abstract. In electric power transmission systems, the assets include transmission lines, transformers, power plants and support structures. Maintaining these assets to reliably deliver electric energy at low prices is critical for a nation’s growth and development. Towards this end, we describe a novel service-oriented architecture for sensing, information integration, risk assessment, and decisionmaking tasks that arise in operating modern high-voltage electric power systems. The proposed framework integrates real-time data acquisition, modeling, and forecasting functionalities provided by relatively autonomous, loosely coupled entities that constitute the power industry to determine operational policies, maintenance schedules and facility reinforcement plans required to ensure reliable operation of power systems. 1
Modeling Web Services using Semantic Graph Transformations to aid Automatic Composition
"... In this paper, we propose a novel way of modeling web services using semantic graph transformations. Each operation supported by a web service is associated with a semantic annotation that describes the input and output messages using RDF graph patterns. The terms used in these patterns are defined ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
(Show Context)
In this paper, we propose a novel way of modeling web services using semantic graph transformations. Each operation supported by a web service is associated with a semantic annotation that describes the input and output messages using RDF graph patterns. The terms used in these patterns are defined in OWL ontologies that describe the application domain. A key difference between our model and existing semantic web service models like OWL-S is that it describes the inputs and outputs in terms of instance-based graph patterns, rather than in terms of concepts. This allows associating a rich set of constraints on the input and output data in terms of relations between instances. We also propose a composition model for web service operations, that describes the conditions for composing services into workflows. The composition model includes the notion of semantic propagation, i.e. the semantic description of the output message of an operation depends on the semantics of the input message. We have developed a planner that uses this model to compose services, automatically. The planner uses DLP reasoning to aid plan search. We present performance results for the planner. 1
Assembling Composite Web Services from Autonomous Components
- Emerging Artificial Intelligence Applications in Computer Engineering, Frontiers in Artificial Intelligences and Applications
, 2007
"... ..."
(Show Context)
World-altering Semantic Web Services Discovery and Composition Techniques- A Survey
"... Abstract — Semantic Web services evolved from traditional computational services by semantic descriptions. Recently, there have been many research efforts in the field of semantic Web services, which reveals enormous potential for Service-Oriented Architecture to be promoted to an improved architect ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
(Show Context)
Abstract — Semantic Web services evolved from traditional computational services by semantic descriptions. Recently, there have been many research efforts in the field of semantic Web services, which reveals enormous potential for Service-Oriented Architecture to be promoted to an improved architecture. However, world-altering services have been largely disregarded because of the limited facilities in current description languages to express required conditions. Enterprise Application Integration systems need world-altering services because most of the business services need preconditions to be held prior to their service execution. Moreover, they generate effects, both of which must be contemplated in the service environment. To exploit the semantic Web services in reality, efficient discovery and composition approaches need to be developed to complement the service environment requirements. This paper intends to overview selective methods for discovery and composition of worldaltering semantic Web services.
MoSCoE: A Specification-Driven Framework for Modeling Web Services using Abstraction, Composition, and Reformulation
- In 2nd IBM Ph.D. Symposium at 4th International Service Oriented Computing Conference
, 2006
"... Abstract. We propose a new framework for modeling Web services based on the techniques of abstraction, composition and reformulation. The approach allows users to specify an abstract and possibly incomplete specification of the composite (goal) service. This specification is used to select a set of ..."
Abstract
-
Cited by 3 (3 self)
- Add to MetaCart
(Show Context)
Abstract. We propose a new framework for modeling Web services based on the techniques of abstraction, composition and reformulation. The approach allows users to specify an abstract and possibly incomplete specification of the composite (goal) service. This specification is used to select a set of suitable component services such that their composition realizes the desired goal. In the event that such a composition is unrealizable, the cause for the failure of composition is determined and is communicated to the user thereby enabling further reformulation of the goal specification. This process can be iterated until a feasible composition is identified or the user decides to abort. 1
Composing web services through automatic reformulation of service specifications
- In Proceedings of the 5th IEEE International Conference on Services Computing
"... All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately. ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
(Show Context)
All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.
