Filters








76,561 Hits in 5.0 sec

Deciding Substitutability of Services with Operating Guidelines [chapter]

Christian Stahl, Peter Massuthe, Jan Bretschneider
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

Christian Stahl, Karsten Wolf
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

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
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]

Christian Stahl, Wil M. P. van der Aalst
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

Yijing Xia
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

Yun-Young Hwang, Jungsun Yoon, Kyu-Chul Lee
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

Yun-Young Hwang, Jungsun Yoon, Kyu-Chul Lee
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]

Christian Stahl, Karsten Wolf
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

Benjamin Benni, Sébastien Mosser, Philippe Collet, Michel Riveill
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

Estelle Malavolti, Frédéric Marty
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

W. M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, K. Wolf
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

Jordi Gual
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]

Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf
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

Gina Pugliese
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