HCPN4EH: A formal model for exception handling in service-oriented software

2013 ◽  
Author(s):  
C.Q. Jiang ◽  
S. Ying ◽  
S.M. Hu ◽  
H. Xu
Keyword(s):  
Formal Model ◽  
Exception Handling ◽  
Service Oriented

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.

The Architecture Framework with Exception Handing in SOA

2010 ◽  
Vol 20-23 ◽  
pp. 992-997 ◽  
Author(s):  
Qing Wu ◽  
Shi Ying ◽  
You Cong Ni ◽  
Hua Cui
Keyword(s):  
Exception Handling ◽  
Software Systems ◽  
Separation Of Concerns ◽  
Clear Separation ◽  
Reliable Service ◽  
Architecture Framework ◽  
Service Oriented ◽  
Business Function ◽  
Oriented System

Service-oriented software systems are inherently complex and have to cope with an increasing number of exceptional conditions in order to meet the system’s dynamic requirements. This work proposes an architecture framework which has exception handling capability. This framework ensures the credibility of service-oriented software, during the architectural stage, by adding exception handling-related architecture elements and modeling exception handling process. It allows a clear separation of concerns between the business function and the exception handling unit, using reflection mechanism. It plays an important guiding role for achieving reliable service-oriented system.

scholarly journals A formal model for service-oriented interactions

2012 ◽  
Vol 77 (5) ◽  
pp. 577-608 ◽  
Author(s):  
José Fiadeiro ◽  
Antónia Lopes ◽  
João Abreu
Keyword(s):  
Formal Model ◽  
Service Oriented

Formalization of business workflow with typed attributed graph

2018 ◽  
Vol 14 (3) ◽  
pp. 372-398
Author(s):  
Dipty Tripathi ◽  
Shreya Banerjee ◽  
Anirban Sarkar
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Structural Features ◽  
Exception Handling ◽  
Workflow Model ◽  
Deadlock Detection ◽  
Content Type ◽  
Proposed Model ◽  
Attributed Graph

Purpose Business process workflow is a design conceptualization to automate the sequence of activities to achieve a business goal with involved participants and a predefined set of rules. Regarding this, a formal business workflow model is a prime requisite to implement a consistent and rigorous business process. In this context, majority of the existing research works are formalized structural features and have not focused on functional and behavioral design aspects of business processes. To address this problem, this paper aims to propose a formal model of business process workflow called as business process workflow using typed attributed graph (BPWATG) enriched with structural, functional and behavioral characteristics of business processes. Design/methodology/approach Typed attributed graph (ATG) and first-order logic have been used to formalize proposed BPWATG to provide rigorous syntax and semantics towards business process workflows. This is an effort to execute a business workflow on an automated machine. Further, the proposed BPWATG is illustrated using a case study to show the expressiveness of proposed model. Besides, the proposed graph is initially validated using generic modelling environment (GME) case tool. Moreover, a comparative study is performed with existing formal approaches based on several crucial features to exhibit the effectiveness of proposed BPWATG. Findings The proposed model is capable of facilitating structural, functional and behavioral aspects of business process workflows using several crucial features such as dependency conceptualization, timer concepts, exception handling and deadlock detection. These features are used to handle real-world problems and ensure the consistency and correctness of business workflows. Originality/value BPWATG is proposed to formalize a business workflow that is required to make a model of business process machine-readable. Besides, formalizations of dependency conceptualization, exception handling, deadlock detection and time-out concepts are specified. Moreover, several non-functional properties (reusability, scalability, flexibility, dynamicity, reliability and robustness) are supported by the proposed model.

scholarly journals A formal model of service-oriented dynamic object groups

2016 ◽  
Vol 115-116 ◽  
pp. 3-22 ◽  
Author(s):  
Einar Broch Johnsen ◽  
Olaf Owe ◽  
Dave Clarke ◽  
Joakim Bjørk
Keyword(s):  
Formal Model ◽  
Dynamic Object ◽  
Service Oriented

A BPEL-Based Fault-Handling Architecture for Telecom Operation Support Systems

2010 ◽  
Vol 14 (5) ◽  
pp. 523-530 ◽  
Author(s):  
Ing-Yi Chen ◽  
◽  
Guo-Kai Ni ◽  
Cheng-Hwa Kuo ◽  
Chau-Young Lin ◽  
...  
Keyword(s):  
Service Composition ◽  
Service Oriented Architecture ◽  
Stable State ◽  
Exception Handling ◽  
Fault Handling ◽  
Service Oriented ◽  
Business Process Execution ◽  
Telecom Operation

Exception handling is an important issue in dependable software computing. This paper presents a system architecture and explains the role of responsibility of each component that is introduced in the architecture. The design is used to ensure the constructed service-oriented applications remain in a stable state. Service-Oriented Architecture is a paradigm for constructing current enterprise applications. It uses service composition technology to induce existing service components to provide advanced services. The most important concept in this methodology is that of reusing existing components. Business Process Execution Language (BPEL) is widely used for achieving service composition, providing basic capability for developers to deal with faults using defined activities standard in BPEL. No sufficient design, however, supports developers in implementing fault-handling components efficiently. The architecture proposed in this paper provides the design approach to explain how to reuse the fault-handling components. Additionally, the paper also provides an empirical case study that illustrates how this design was used by the Chunghwa Telecom Company in an effort to improve efficiency in implementing fault-handling components and in constructing service-oriented applications. The number of fault-handling components required was reduced from 38 to 3, implying a 92.10% efficiency rate.

Sign in / Sign up

Export Citation Format

Share Document