A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Filters
Deciding Substitutability of Services with Operating Guidelines
[chapter]
2009
Lecture Notes in Computer Science
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. ...
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. ...
Operating guidelines have been suggested to support service discovery so far. In this paper, we show that operating guidelines are well-suited for deciding substitutability of services, too. ...
doi:10.1007/978-3-642-00899-3_10
fatcat:ibfyaizdvzhippouhfcweqxzre
Deciding service composition and substitutability using extended operating guidelines
2009
Data & Knowledge Engineering
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. ...
Christian Stahl is funded by the DFG project "Substitutability of Services" (RE 834/16-1). Karsten Wolf is supported by the DFG within grant "Operating Guidelines for Services" (WO 1466/8-1). ...
doi:10.1016/j.datak.2009.02.012
fatcat:xiwkdi2ygzdabluqcavwwclyxq
Analysis Techniques for Service Models
2006
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
The basic idea of SOC, the interaction of services, rises a lot of issues such as proper termination of interacting services or substitution of a service by another one. ...
Such issues can be addressed by means of models of services. We show how services can intelligibly be modeled, and we present algorithms and tools to analyze properties of service models. ...
In [20] we propose a tool chain and algorithms to decide some of the questions stated above. In [12] we present the tool Fiona, which decides controllability and computes the operating guideline. ...
doi:10.1109/isola.2006.58
dblp:conf/isola/ReisigFLMSWWK06
fatcat:vuvtdiw3sbhthjoc7dm32gtxou
Behavioral Service Substitution
[chapter]
2013
Web Services Foundations
We present a formal model of service behavior, formalize service substitution, study algorithms to decide service substitution, and provide rules to construct services that are correct by design. ...
This chapter aims to give an overview of the state of the art and open challenges in the area of service substitution. Thereby, we restrict ourselves to changes of the service behavior. ...
With the operating guidelines OG(Spec) and OG(Impl) of two open nets Spec and Impl, we can decide whether Impl accords with Spec. Theorem 8 (Deciding accordance [50] ). ...
doi:10.1007/978-1-4614-7518-7_9
fatcat:xjxx36m5undzpoc4uguvbdijui
Dilemma and Breakthrough: Review on Substitution Analysis of the Definition of Relevant Markets and Platforms—From the Perspective of Guideline on Anti-Trust Platform Economy by the Anti-Trust Committee of the State Council
2022
Advances in Politics and Economics
Based on the Guideline of Platform Antitrust, this paper starts with the regulations about the definition of relevant markets in platform economy. ...
Then, it reviews the limitation and rationality of substitution analysis of relevant market definition. ...
Compared with the previous version of Antitrust Guidelines on Platform Economics (Exposure Draft), Guidelines of Platform Antitrust deleted statements concerning "relevant markets without being defined ...
doi:10.22158/ape.v5n2p33
fatcat:nsw3uffttjg2nb27x6p757ajwq
The Operation Recommendation based on QoS in Service Substitution Environment
2014
International Journal of Multimedia and Ubiquitous Engineering
The substitutable operation should support same functionality of existing operation. Moreover, it should be able to communicate with operation back and forth. ...
In service composition, an operation of a service should be substituted by another operation when the existing operation is not available. ...
If a service participating in combined services is not available or executable, US-Broker finds the substitutable services in same ServiceGroup with being substituted service. ...
doi:10.14257/ijmue.2014.9.10.36
fatcat:qaigqorhbfejtlbnyhbzeyjjde
The Service Recommendation Method based on Semantic Technology in Ubiquitous Computing
2014
International Journal of Smart Home
The substitutable operation should support same functionality of unavailable operation. Moreover, it should be able to communicate with pre operation and post operation. ...
In service composition, an operation of a service should be substituted by another operation when the operation is not available. ...
The related work about service substitution assumes that all levels of quality factors are given and did not propose a specific guideline to determine levels. ...
doi:10.14257/ijsh.2014.8.6.05
fatcat:s7ipgsrk25hgtjw3npgungx3y4
Covering Places and Transitions in Open Nets
[chapter]
2008
Lecture Notes in Computer Science
We further present an algorithm to decide whether a service M matches with the extended operating guideline of N . ...
Our representation is an extension of the existing notion of an operating guideline which only cared about deadlock freedom. ...
Christian Stahl is funded by the DFG project "Substitutability of Services" (RE 834/16-1). Karsten Wolf ...
doi:10.1007/978-3-540-85758-7_11
fatcat:rvllsntforht3o4ujhvrhhdd7m
Supporting micro-services deployment in a safer way
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18
Unfortunately, from the service deployment point of view, such form of black-box reuse prevent to ensure what is really shipped inside the container with the service to deploy. ...
The approach is validated through the automation of the guidelines provided by the user community associated to the reference Docker engine, and the analysis of 20,000 real deployment descriptors (hosted ...
We are defining here a checker instead of a rewriter, and it is up to the user to decide which service to start 3 . ...
doi:10.1145/3167132.3167314
dblp:conf/sac/Benni0CR18
fatcat:i6ohkdgwnjdd3nncc56h73ptuy
State Aids granted by regional airports: a two-sided market analysis
2017
Transportation Research Procedia
Surprisingly, the new 2014 guidelines on State Aids granted to airlines open the way to transitory operating aid schemes, an option apparently at odds with the European longstanding principles. ...
Surprisingly, the new 2014 guidelines on State Aids granted to airlines open the way to transitory operating aid schemes, an option apparently at odds with the European longstanding principles. ...
However, these guidelines do not deal with the issue of operating aids, the most distortive ones and at the theoretical point of view the more inconsistent with the EU competition law. ...
doi:10.1016/j.trpro.2017.05.195
fatcat:ewijksfpwjcbbe7zq4hhwnvy44
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
2008
Computer journal
Niels Lohmann is funded by the DFG project "Operating Guidelines for Services" (WO 1466/8-1). Christian Stahl is funded by the DFG project "Substitutability of Services" (RE 834/16-1). ...
The authors wish also to thank Robert Danitz and Leonard Kern for their contribution to the implementation of Fiona. ...
Thirdly, we show how accordance can be automatically decided for open nets with acyclic behavior by using the concept of an operating guideline [10] of a service as an abstract representation of all ...
doi:10.1093/comjnl/bxn064
fatcat:wzktglyqarahzj6k4gufzwoxnm
Market Definition in the Telecoms Industry
2003
Social Science Research Network
The EC argues that in fixed services there is a difference between subscriber (retail) access to infrastructure and operator (wholesale) access 45 , but in the case of mobile services this is to be decided ...
The accepted by the mobile operators, the issue was addressed to the Competition Commission, which has to decide before early 2003. The Oftel approach can be summarised as follows. ...
doi:10.2139/ssrn.462280
fatcat:w53yqy4n6zazxdk5vtbfouz2vm
Page 519 of Indiana Medicine : The Journal of the Indiana State Medical Association Vol. 76, Issue 8
[page]
1983
Indiana Medicine : The Journal of the Indiana State Medical Association
and Guidelines for Pre- Operative Visits’’ to be incorporated in- to the existing Reach to Recovery service program. ...
They recognize that even with assurances from doctors, and other professionals concerning the quality of life following treatment for breast cancer, there is no substitute for the visual proof received ...
Another Approach to Service Instance Migration
[chapter]
2009
Lecture Notes in Computer Science
Our technique scales up to services with thousands of states, including models of real WS-BPEL processes. ...
The approach assures that migration does not introduce behavioral problems with any running partner of the original service. ...
Acknowledgements Niels Lohmann and Karsten Wolf are funded by the DFG project "Operating Guidelines for Services" (WO 1466/8-1). ...
doi:10.1007/978-3-642-10383-4_44
fatcat:swm6q6npqbhp7ejnts3nifkrqy
Consecutive Annual Decreases in TB Incidence
1995
Infection control and hospital epidemiology
Because of the unusual nature of these infusion centers, the majority of services, particularly the complex pharmacy services, were not addressed specifically by any standards or survey process. ...
centers (most commonly owned and operated by home care organizations). ...
doi:10.1017/s0195941700002460
fatcat:gffswp7rgbbkpgxtciolgjgehi
« Previous
Showing results 1 — 15 out of 76,561 results