A Formal Framework For Building, Checking And Evolving Service Oriented Architectures

2007 ◽  
Author(s):  
Herve Verjus ◽  
Frederic Pourraz
Keyword(s):  
Service Oriented Architectures ◽  
Formal Framework ◽  
Service Oriented

Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems

2020 ◽  
Vol 17 (2) ◽  
pp. 1-17
Author(s):  
Maya Souilah Benabdelhafid ◽  
Mahmoud Boufaida
Keyword(s):  
Formal Methods ◽  
Enterprise Resource Planning ◽  
Resource Planning ◽  
Erp Systems ◽  
Strategic Decisions ◽  
Service Oriented Architectures ◽  
Erp System ◽  
Formal Framework ◽  
Service Oriented ◽  
System Properties

Service oriented architectures (SOA) and software as a service (SaaS) models are accelerating the use of the service concept. They have been rapidly adopted by enterprise resource planning (ERP) providers and offers to organizations modern environments favorable for making strategic decisions. However, as the SaaS concept is often confused with the SOA one, a solution is needed to clarify this problem before moving to the introduction of a framework that aggregates several services. Moreover, most of the services-based solutions rely on a particular composition and only a few are equipped with appropriate formal tools for automating the service verification. They focus on specific formal models and are based on particular properties. This article proposes a formal framework that reveals a set of general steps starting from defining the service composition before shifting to the use of the chosen formal methods so as to verify the ERP system properties.

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.

DESIGN OF DECOUPLED CLINICAL DECISION SUPPORT FOR SERVICE-ORIENTED ARCHITECTURES

2009 ◽  
Vol 19 (02) ◽  
pp. 159-183 ◽  
Author(s):  
JENS WEBER-JAHNKE
Keyword(s):  
Decision Support ◽  
Clinical Decision Support ◽  
Service Oriented Architecture ◽  
Empirical Evaluation ◽  
Cost Savings ◽  
Clinical Decision ◽  
Service Oriented Architectures ◽  
Distributed Services ◽  
Service Oriented ◽  
Computer Based

Computer-based clinical decision support (CDS) contributes to cost savings, increased patient safety and quality of medical care. Most existing CDS systems are stand-alone products (first generation) or part of complete electronic medical record packages (second generation). Experience shows that creating and maintaining CDS systems is expensive and requires effort that should be economized by sharing them among multiple users. It makes good economic sense to share CDS service installations among a larger set of client systems. The paradigm of a service-oriented architecture (SOA) embraces this idea of sharing distributed services. Some attempts making CDS services available to distributed health information systems exist. However, these approaches have not gained much adoption. We argue that they do not provide a sufficient level of decoupling between client and CDS in order to be broadly reusable in SOAs. In this paper, we present a new CDS service component called EGADSS, which has been designed and implemented with the declared objective to minimize the coupling between client and CDS server. We present our key design decisions, which are guided by empirical research in SOA development. We evaluate our result theoretically by measuring the level of decoupling achieved compared to existing CDS approaches. Furthermore, we report on an empirical evaluation of the resulting design, integrating the EGADSS service with an example client system.

Supporting the dynamic evolution of Web service protocols in service-oriented architectures

2008 ◽  
Vol 2 (2) ◽  
pp. 1-46 ◽  
Author(s):  
Seung Hwan Ryu ◽  
Fabio Casati ◽  
Halvard Skogsrud ◽  
Boualem Benatallah ◽  
Régis Saint-Paul
Keyword(s):  
Web Service ◽  
Dynamic Evolution ◽  
Service Oriented Architectures ◽  
Service Oriented
Sign in / Sign up

Export Citation Format

Share Document