Modeling Fault Tolerant Services in Service-Oriented Architecture

Mahdian, Farzaneh; Rafe, Vahid; Rafeh, Reza; Rahmani, Adel Torkaman

doi:10.1109/tase.2009.41

Cited by 12 publications

(5 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This approach also considers only one aspect of the non-functional properties and other aspects are ignored in this proposal. , Rafe and Mahdian (2011) and Mahdian et al (2009) uses the style presented in (Gönczy et al, 2007) to consider different type of non-functional properties. They extend the formal style by adding new elements to the type graph and new graph transformation rules to consider new configurations.…”

Section: Resultsmentioning

confidence: 99%

Modeling and non-functional analysis of service-oriented architectures using AADL

Aminpour¹,

Rafe²,

Rahmanei³

2011

Sci. Res. Essays

View full text Add to dashboard Cite

Nowadays, service-oriented architectures (SoA) are increasingly used to develop dynamic enterprise systems. Due to the increasing need for high quality services, it is desirable to consider different qualitative aspects in this architecture (for example security, availability, reliability, fault tolerance, etc.). As architecture analysis and design language (AADL) can be used in the analysis of partially defined architectural patterns with limited architectural details, it is suitable for specifying large-scale complex systems. In this paper, we present a formal approach to model functional and non-functional aspects in service oriented applications through AADL language. We will explain how different parts of SoA can be specified through AADL and how different non-functional aspects can be analyzed using the proper existing tools for AADL.

show abstract

Section: Resultsmentioning

confidence: 99%

Modeling and non-functional analysis of service-oriented architectures using AADL

Aminpour¹,

Rafe²,

Rahmanei³

2011

Sci. Res. Essays

View full text Add to dashboard Cite

show abstract

“…To verify our models, we have used model checking techniques by considering our previous approach [7,8,9] to translate graph transformation systems to an appropriate input of a model checker called Bogor [10]. Bogor performs the verification and sends the results back to the users [11].…”

Section: Our Proposed Approachmentioning

confidence: 99%

Style-based modeling and verification of fault tolerance service oriented architectures

Rafe

Mahdian

2011

Procedia Computer Science

Self Cite

View full text Add to dashboard Cite

Service-Oriented Architecture (SOA) is a flexible, loosely coupled and dynamic architecture for developing different distributed systems. Since using this architecture is every day increasing in the design of software systems, creating dependable services in this architecture is one of the main challenges. Considering different QoS levels consisting of non-functional aspects like security, safety; accessibility, etc is necessary for dependable systems. One of these non-functional aspects is fault tolerance. In this paper, in order to have a fault tolerance system, initially SOA core style has been extended using required parameters. Then, different communication and reconfiguration mechanisms of fault tolerance have been developed by graph transformation rules. Finally, the proposed model has been verified using model checking techniques available for graph transformation systems.

show abstract

“…The services are self-descriptive in this architecture [2,5,6]. Many of the descriptions are kept in component called "service discovery" or "service registry".…”

Section: Introductionmentioning

confidence: 99%

“…Taking into account the increasing need for high-quality services in service-oriented architecture, it's better to consider the dimensions of service quality in this architecture such as security, availability, and reliability. These dimensions are among the most significant features for developing the fundamental reliable systems [2,5,7]. Quality of service (QoS) means all components which mix to define quality of service suggested by one service.…”

Section: Introductionmentioning

confidence: 99%

Measuring The Failure Rate In Service-oriented Architecture Using Fuzzy Logic

Yavari¹,

Musavi²,

Momeni³

et al. 2013

J. Math. Computer Sci.

View full text Add to dashboard Cite

Service-Oriented architecture is a developing method to creating distributed programs for flexible and dynamic architecture and is highly suitable for expanding the distributing systems. The use of this architecture has increased the design of software systems. Reliability is the main challenge of this architecture. The fault tolerance mechanism is one of the existing mechanisms for creating reliable services and failure rate measurement of the system is a challenge for fault tolerance. In this paper we propose a method named Service-Oriented SysFailRate Measurement for measuring the failure rate of the system in service-oriented architecture using fuzzy logic. In this system we used incomplete description of a service, lack of integration, incorrect format, and being out of the pre-determined time out factors to measuring the failure rate. Testing rests demonstrated that this approach is promising to significantly improve measuring the failure rate in Service-Oriented architecture.

show abstract

Modeling Fault Tolerant Services in Service-Oriented Architecture

Cited by 12 publications

References 5 publications

Modeling and non-functional analysis of service-oriented architectures using AADL

Modeling and non-functional analysis of service-oriented architectures using AADL

Style-based modeling and verification of fault tolerance service oriented architectures

Measuring The Failure Rate In Service-oriented Architecture Using Fuzzy Logic

Contact Info

Product

Resources

About