An abductive framework for a-priori verification of web services

2006 ◽  
Author(s):  
Marco Alberti ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Federico Chesani ◽  
Paola Mello ◽  
...  
Keyword(s):  
Web Services ◽  
A Priori

A Two Phases Self-healing Framework for Service-oriented Systems

2021 ◽  
Vol 15 (2) ◽  
pp. 1-25
Author(s):  
Amal Alhosban ◽  
Zaki Malik ◽  
Khayyam Hashmi ◽  
Brahim Medjahed ◽  
Hassan Al-Ababneh
Keyword(s):  
Web Services ◽  
A Priori ◽  
Fault Management ◽  
Service Selection ◽  
Exception Handling ◽  
Self Healing ◽  
Service Oriented Architectures ◽  
Service Oriented ◽  
Improved Performance ◽  
High Level

Service-Oriented Architectures (SOA) enable the automatic creation of business applications from independently developed and deployed Web services. As Web services are inherently a priori unknown, how to deliver reliable Web services compositions is a significant and challenging problem. Services involved in an SOA often do not operate under a single processing environment and need to communicate using different protocols over a network. Under such conditions, designing a fault management system that is both efficient and extensible is a challenging task. In this article, we propose SFSS, a self-healing framework for SOA fault management. SFSS is predicting, identifying, and solving faults in SOAs. In SFSS, we identified a set of high-level exception handling strategies based on the QoS performances of different component services and the preferences articled by the service consumers. Multiple recovery plans are generated and evaluated according to the performance of the selected component services, and then we execute the best recovery plan. We assess the overall user dependence (i.e., the service is independent of other services) using the generated plan and the available invocation information of the component services. Due to the experiment results, the given technique enhances the service selection quality by choosing the services that have the highest score and betters the overall system performance. The experiment results indicate the applicability of SFSS and show improved performance in comparison to similar approaches.

A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition

2012 ◽  
Vol 3 (1) ◽  
pp. 58-72
Author(s):  
Nacéra Bennacer ◽  
Guy Vidal-Naquet
Keyword(s):  
Web Services ◽  
Description Logic ◽  
A Priori ◽  
Search Space ◽  
Community Based ◽  
Execution Plan ◽  
Multi Level ◽  
Priori Information ◽  
Dynamic Execution ◽  
Execution Order

This paper proposes an Ontology-driven and Community-based Web Services (OCWS) framework which aims at automating discovery, composition and execution of web services. The purpose is to validate and to execute a user’s request built from the composition of a set of OCWS descriptions and a set of user constraints. The defined framework separates clearly the OCWS external descriptions from internal realistic implementations of e-services. It identifies three levels: the knowledge level, the community level and e-services level and uses different participant agents deployed in a distributed architecture. First, the reasoner agent uses a description logic extended for actions in order to reason about: (i) consistency of the pre-conditions and post-conditions of OCWS descriptions and the user constraints with ontologies semantics, (ii) consistency of the workflow matching assertions and the execution dependency graph. Then the execution plan model is generated automatically to be run by the composer agents using the dynamic execution plan algorithm (DEPA), according to the workflow matching and the established execution order. The community composer agents invoke the appropriate e-services and ensure that the non functional constraints are satisfied. DEPA algorithm works dynamically without a priori information about e-services states and has interesting properties such as taking into account the non-determinism of e-services and reducing the search space.

scholarly journals QoS Based Discovery and Service Provider System

2019 ◽  
pp. 197-204
Author(s):  
Ramesh Kumar ◽  
Lavanya V ◽  
Karthika R ◽  
Harshini B
Keyword(s):  
Web Services ◽  
A Priori ◽  
Search Space ◽  
Added Value ◽  
Layer By Layer ◽  
Semantic Matching ◽  
Semantic Approach ◽  
Service Patterns ◽  
Numeric Estimation ◽  
Multiple Services

We propose a two-step, context-based semantic approach to the problem of matching and ranking Web services for possible service composition. Semantic understanding of Web services may provide added value by identifying new possibilities for compositions of services and context-based semantic. The semantic matching ranking approach is unique since it provides the Web service designer with an explicit numeric estimation of the extent to which a possible composition. This process consists of multiple services that can be executed in sequence or in a parallel process. Given a service request, a set of candidates (available services and service patterns) is dynamically generated layer by layer from inputs to outputs of this request. For each layer, the algorithm traverses a priori search space which is a set of service patterns from historical solutions, then it searches available services from the repositories. That means each layer contains all services and service patterns that can be executed with a set of outputs provided by previous layers. The search process terminates until all the outputs of a request are obtained.

scholarly journals Natural Language based On-demand Service Composition

2010 ◽  
Vol 5 (5) ◽  
pp. 871 ◽  
Author(s):  
Florin-Claudiu Pop ◽  
Marcel Cremene ◽  
Mircea Vaida ◽  
Michel Riveill ◽  
Jean-Yves Tigli ◽  
...  
Keyword(s):  
Web Services ◽  
Natural Language ◽  
Service Composition ◽  
A Priori ◽  
Composite Service ◽  
On Demand ◽  
User Request ◽  
Semantic Concepts ◽  
Service Configuration ◽  
Demand Service

The widespread of Web services in the ubiquitous computing era and the impossibility to predict a priori all possible user needs generates the necessity for on-demand service composition. Natural language is one of the the easiest ways for a user to express what he expects regarding a service. Two main problems need to be solved in order to create a composite service to satisfy the user: a)retrieval of relevant services and b) orchestration/composition of the selected services in order to fulfill the user request. We solve the first problem by using semantic concepts associated with the services and we define a conceptual distance to measure the similarity between the user request and a service configuration. Retrieved services are composed, based on aspect oriented templates called Aspects of Assembly. We have tested our application in an environment for pervasive computing called Ubiquarium, where our system composes a service according to the user request described by a sentence. The implementation is based on the WComp middleware that enables us to use regular Web services but also Web services for devices.

dDelega

2013 ◽  
Vol 7 (3) ◽  
pp. 53-67 ◽  
Author(s):  
Michele Tomaiuolo
Keyword(s):  
Web Services ◽  
Access Control ◽  
Open Source Software ◽  
Trust Management ◽  
A Priori ◽  
Third Parties ◽  
Organizational Boundaries ◽  
Management Framework ◽  
Multiple Levels ◽  
Access Rights

In the context of Web services, access control presents some interesting challenges, especially when services are exposed to a global audience, with users accessing them from different systems and under different security settings. A decentralized approach to access control, which can be applied to such open environments, is represented by Trust Management. In fact, it is based on the peer-to-peer delegation of access rights among users, also across organizational boundaries, without supposing a-priori the existence of trusted third parties in the system. This article presents dDelega, a Trust Management framework for SOAP-style and REST-style Web services, available as open source software and usable in different application scenarios. The framework allows users to create multiple levels of delegation of access rights for protected resources. It defines various certificates, for binding names, permissions and oblivious attributes to users, adhering to relevant standards, such as WS-Security, SAML and XACML.

Application of cross correlation to HREM images of surfaces

1987 ◽  
Vol 45 ◽  
pp. 754-755
Author(s):  
D. E. Luzzi ◽  
L. D. Marks ◽  
M. I. Buckett
Keyword(s):  
Cross Correlation ◽  
A Priori ◽  
Matrix Material ◽  
Correlation Method ◽  
Accurate Knowledge ◽  
Complex Image ◽  
Fourier Filtering ◽  
The Matrix ◽  
Low Pass ◽  
Data Reduction Technique

As the HREM becomes increasingly used for the study of dynamic localized phenomena, the development of techniques to recover the desired information from a real image is important. Often, the important features are not strongly scattering in comparison to the matrix material in addition to being masked by statistical and amorphous noise. The desired information will usually involve the accurate knowledge of the position and intensity of the contrast. In order to decipher the desired information from a complex image, cross-correlation (xcf) techniques can be utilized. Unlike other image processing methods which rely on data massaging (e.g. high/low pass filtering or Fourier filtering), the cross-correlation method is a rigorous data reduction technique with no a priori assumptions.We have examined basic cross-correlation procedures using images of discrete gaussian peaks and have developed an iterative procedure to greatly enhance the capabilities of these techniques when the contrast from the peaks overlap.

Towards 1-Ångstrom-resolution STEM

1993 ◽  
Vol 51 ◽  
pp. 996-997
Author(s):  
H.S. von Harrach ◽  
D.E. Jesson ◽  
S.J. Pennycook
Keyword(s):  
High Resolution ◽  
Field Emission ◽  
Phase Contrast ◽  
Spherical Aberration ◽  
A Priori ◽  
Dark Field ◽  
Image Resolution ◽  
Objective Lens ◽  
Annular Dark Field ◽  
First Results

Phase contrast TEM has been the leading technique for high resolution imaging of materials for many years, whilst STEM has been the principal method for high-resolution microanalysis. However, it was demonstrated many years ago that low angle dark-field STEM imaging is a priori capable of almost 50% higher point resolution than coherent bright-field imaging (i.e. phase contrast TEM or STEM). This advantage was not exploited until Pennycook developed the high-angle annular dark-field (ADF) technique which can provide an incoherent image showing both high image resolution and atomic number contrast.This paper describes the design and first results of a 300kV field-emission STEM (VG Microscopes HB603U) which has improved ADF STEM image resolution towards the 1 angstrom target. The instrument uses a cold field-emission gun, generating a 300 kV beam of up to 1 μA from an 11-stage accelerator. The beam is focussed on to the specimen by two condensers and a condenser-objective lens with a spherical aberration coefficient of 1.0 mm.

Treating Velopharyngeal Inadequacy Using Bilateral Buccal Flap Revision Palatoplasty

2019 ◽  
Vol 4 (5) ◽  
pp. 878-892
Author(s):  
Joseph A. Napoli ◽  
Linda D. Vallino
Keyword(s):  
Systematic Review ◽  
Obstructive Sleep Apnea ◽  
Sleep Apnea ◽  
Cleft Lip ◽  
Cleft Lip And Palate ◽  
A Priori ◽  
Sufficient Evidence ◽  
Obstructive Sleep ◽  
Before And After ◽  
Buccal Flap

Purpose The 2 most commonly used operations to treat velopharyngeal inadequacy (VPI) are superiorly based pharyngeal flap and sphincter pharyngoplasty, both of which may result in hyponasal speech and airway obstruction. The purpose of this article is to (a) describe the bilateral buccal flap revision palatoplasty (BBFRP) as an alternative technique to manage VPI while minimizing these risks and (b) conduct a systematic review of the evidence of BBFRP on speech and other clinical outcomes. A report comparing the speech of a child with hypernasality before and after BBFRP is presented. Method A review of databases was conducted for studies of buccal flaps to treat VPI. Using the principles of a systematic review, the articles were read, and data were abstracted for study characteristics that were developed a priori. With respect to the case report, speech and instrumental data from a child with repaired cleft lip and palate and hypernasal speech were collected and analyzed before and after surgery. Results Eight articles were included in the analysis. The results were positive, and the evidence is in favor of BBFRP in improving velopharyngeal function, while minimizing the risk of hyponasal speech and obstructive sleep apnea. Before surgery, the child's speech was characterized by moderate hypernasality, and after surgery, it was judged to be within normal limits. Conclusion Based on clinical experience and results from the systematic review, there is sufficient evidence that the buccal flap is effective in improving resonance and minimizing obstructive sleep apnea. We recommend BBFRP as another approach in selected patients to manage VPI. Supplemental Material https://doi.org/10.23641/asha.9919352

Project MATCH secondary a priori hypotheses

Addiction ◽  
1997 ◽  
Vol 92 (12) ◽  
pp. 1671-1698 ◽  
Author(s):  
Project Match Research Group
Keyword(s):  
A Priori ◽  
Project Match
Sign in / Sign up

Export Citation Format

Share Document