Reference Hub1
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach

Linas Laibinis, Elena Troubitsyna, Sari Leppänen
Copyright: © 2010 |Volume: 1 |Issue: 2 |Pages: 25
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781609604387|DOI: 10.4018/jertcs.2010040104
Cite Article Cite Article

MLA

Laibinis, Linas, et al. "Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach." IJERTCS vol.1, no.2 2010: pp.61-85. http://doi.org/10.4018/jertcs.2010040104

APA

Laibinis, L., Troubitsyna, E., & Leppänen, S. (2010). Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 1(2), 61-85. http://doi.org/10.4018/jertcs.2010040104

Chicago

Laibinis, Linas, Elena Troubitsyna, and Sari Leppänen. "Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 1, no.2: 61-85. http://doi.org/10.4018/jertcs.2010040104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.