Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
810
Operating Guidelines for Finite-State Services
- ICATPN 2007. LNCS
, 2007
"... We study services modeled as open workflow nets (oWFN) and describe their behavior as service automata. Based on arbitrary finite-state service automata, we introduce the concept of an operating guideline, generalizing the work of [1,2] which was restricted to acyclic services. An operating guideli ..."
Abstract
-
Cited by 67 (27 self)
- Add to MetaCart
We study services modeled as open workflow nets (oWFN) and describe their behavior as service automata. Based on arbitrary finite-state service automata, we introduce the concept of an operating guideline, generalizing the work of [1,2] which was restricted to acyclic services. An operating
An Operating Guideline Approach to the SOA
- ANNALS OF MATHEMATICS, COMPUTING & TELEINFORMATICS
, 2005
"... Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, service requester, and service broker, together with the three operations ..."
Abstract
-
Cited by 68 (14 self)
- Add to MetaCart
Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, service requester, and service broker, together with the three operations
Conversation specification: a new approach to design and analysis of e-service composition
- In World Wide Web Conference
, 2003
"... This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate through asynchronous messages and each peer maintains a queue for incoming messages. A global “watcher ” keeps track of message ..."
Abstract
-
Cited by 175 (28 self)
- Add to MetaCart
of messages as they occur. We propose and study a central notion of a “conversation”, which is a sequence of (classes of) messages observed by the watcher. We consider the case where the peers are represented by Mealy machines (finite state machines with input and output). The sets of conversations exhibit
Finite-State Markov Modeling for High-Speed Railway Fading Channels
"... Abstract—Developing an accurate and mathematically tractable high-speed railway (HSR) channel model is a key issue to provide reliable, cost-effective wireless services for the HSR operators and users. Although finite-state Markov chain (FSMC) has been ex-tensively investigated to describe fading ch ..."
Abstract
- Add to MetaCart
Abstract—Developing an accurate and mathematically tractable high-speed railway (HSR) channel model is a key issue to provide reliable, cost-effective wireless services for the HSR operators and users. Although finite-state Markov chain (FSMC) has been ex-tensively investigated to describe fading
Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines
"... Abstract. In the context of asynchronously communicating and deadlock free services, the refinement relation of services has been formalized by the accordance preorder. A service Impl accords with a service Spec if every controller of Spec—that is, every environment that can interact with service Sp ..."
Abstract
- Add to MetaCart
Spec without deadlocking—is a controller of Impl. The procedure to decide accordance of two services uses that the set of controllers of a finite-state service has a finite representation, called operating guideline. Recently, it has been shown that the accordance preorder is not a precongruence
Deciding Substitutability of Services with Operating Guidelines
- LNCS ToPNoC II
"... Abstract. Deciding whether a service S can be substituted by another service S ′ is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability notions for services. Accordance specifies that S ′ cooperates with a ..."
Abstract
-
Cited by 28 (13 self)
- Add to MetaCart
algorithm. To this end we apply the concept of an operating guideline of a service as an abstract representation of all environments the service cooperates with.
Petrifying Operating Guidelines for Services
"... Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented as an annotated transition system. For the sake of saving space in the registry, we want to translate operating guideli ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented as an annotated transition system. For the sake of saving space in the registry, we want to translate operating
Operating Guidelines for Services
- Petri Net Newsletter
, 2006
"... Abstract. In the service-oriented architecture (SOA), we distinguish three roles of service owners: service providers, service requesters, and service brokers, and the three standard operations publish, find, and bind. We provide a formal method based on Petri nets to model services. We suggest oper ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
operating guidelines as a convenient and intuitive artifact to realize publish. Then, the find operation reduces to a matching problem between the requester’s service and the operating guideline. 1
An Algorithm for Matching Non-deterministic Services with Operating Guidelines
- INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT (IJBPIM) 2(2) (2007) 81–90
"... Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SOA describe three roles of services, the service provider, the service requester, and the service broker, together with t ..."
Abstract
-
Cited by 10 (5 self)
- Add to MetaCart
with the three operations publish, find, and bind. We provide a formal method based on nondeterministic automata to model services and their interaction. In this paper, we restrict ourselves to finite and acyclic automata. We suggest operating guidelines as a convenient and intuitive artifact to realize
Results 1 - 10
of
810
