Nowadays, using of Service-Oriented Architectures (SOA) is spreading as a flexible architecture for developing dynamic enterprise systems.In this paper we investigate fault tolerance mechanisms for modeling services in service-oriented architecture. We propose a metamodel (formalized by a type graph) with graph rules for monitoring services and their communications to detect existing faults.
Today, software architectures play an important role in developing large, complex and distributed systems. ServiceOriented 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. In this paper, we review dependable services in the level of service-oriented architecture. There are various methods for creating dependable services. One of these methods is fault tolerance algorithms. This paper is a study on the methods for creating fault tolerance dependable services in service-oriented architecture.
As the requirements of the systems change, it is desirable to take these changes into account. To do so, the software must be extended to consider the changes. But the problem is that the modifications on software artifacts may cause conflicts and inconsistencies in the structure of the software, which are difficult to find and time-consuming to correct. Hence, it is necessary to refactor software during its lifetime. In this paper, we present a formal approach to refactor the structure of the object-oriented models -specified through graph transformation systems-while preserving their semantics.
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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.