Formal Service-Oriented Development of Fault Tolerant Communicating Systems

2006 ◽  
pp. 261-287 ◽  
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen ◽  
Johan Lilius ◽  
Qaisar Ahmad Malik
Keyword(s):  
Fault Tolerant ◽  
Formal Service ◽  
Service Oriented

scholarly journals Byzantine Fault-Tolerant Web Services for n-Tier and Service Oriented Architectures

2008 ◽  
Author(s):  
Sajeeva L. Pallemulle ◽  
Haraldur D. Thorvaldsson ◽  
Kenneth J. Goldman
Keyword(s):  
Web Services ◽  
Fault Tolerant ◽  
Service Oriented Architectures ◽  
Byzantine Fault ◽  
Service Oriented

Exploiting P2P and Grid Computing Technologies for Resource Sharing to Support High Performance Distributed System

2010 ◽  
pp. 450-475
Author(s):  
Liangxiu Han
Keyword(s):  
Resource Sharing ◽  
High Performance ◽  
Large Scale ◽  
Fault Tolerant ◽  
Resource Discovery ◽  
Distributed Computing Systems ◽  
Computing Systems ◽  
Efficient Resource ◽  
Service Oriented ◽  
Important Design

This chapter identifies challenges and requirements for resource sharing to support high performance distributed Service-Oriented Computing (SOC) systems. The chapter draws attention to two popular and important design paradigms: Grid and Peer-to-Peer (P2P) computing systems, which are evolving as two practical solutions to supporting wide-area resource sharing over the Internet. As a fundamental task of resource sharing, the efficient resource discovery is playing an important role in the context of the SOC setting. The chapter presents the resource discovery in Grid and P2P environments through an overview of related systems, both historical and emerging. The chapter then discusses the exploitation of both technologies for facilitating the resource discovery within large-scale distributed computing systems in a flexible, scalable, fault-tolerant, interoperable and security fashion.

Service-Oriented Development of Fault Tolerant Communicating Systems

2010 ◽  
Vol 1 (2) ◽  
pp. 61-85 ◽  
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen
Keyword(s):  
Formal Methods ◽  
Formal Specification ◽  
Development Process ◽  
Formal Model ◽  
Fault Tolerant ◽  
Model Driven ◽  
Telecommunication Systems ◽  
Service Oriented ◽  
Model Driven Approach ◽  
High Degree

Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps increase confidence in building correct software. However, to be used in practice, formal methods should be well integrated into existing development process. In this paper, the authors propose a formal model-driven approach to development of communicating systems. The authors formalize and extend the Lyra approach—a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decomposition of models expressed in UML2. The authors formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra phases. Moreover, this paper extends Lyra to integrate reasoning about fault tolerance in the entire development flow.

Sign in / Sign up

Export Citation Format

Share Document