Affiliation:
1. King’s College London, UK
Abstract
From the outset, service-based systems offer several advantages, including the promise of shortening the development life cycle, reducing the costs of software development and faster utilisation of recent technical improvements in the software industry in terms of capability, reliability, compatibility, performance, and so forth. However, this is rarely realised in practice. An important issue of service-based systems is that they are likely to be (or perhaps already being) used in domains where human life and/or economic loss are possible and the need for a highly reliable system is a must. However, would it be possible to build reliable service-based systems that meet such domains’ requirements? Does it necessarily mean that composing a system from highly reliable services produce a highly reliable system? Is it possible to predict quality attributes of a service-based system from its services before building it? In this chapter, the complexity of this issue is highlighted, focusing on reliability, in an attempt to answer some of these questions. The chapter outlines various approaches that attempt to address this issue, and proposes a possible way forward for predicting the reliability of service-based systems from its individual services.
Reference40 articles.
1. Abadi, M. & Lamport, L. (2009). Composing specifications. ACM Transactions of Programming Language Systems, 15(1).
2. Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., et al. (2000). Volume II: Technical concepts of component-based software engineering. (Technical Report, CMU/SEI-2000-TR-008, 2000).
3. Clarke, E. M., Long, D. E., & McMillan, K. L. (1989). Compositional model checking. In Proceedings of the 4th Symposium on Logic in Computer Science, (pp. 353-362).
4. Cotroneo, D., Di Flora, C. & Russo, S. (2003). An enhanced Service Oriented Architecture for developing Web-based applications. Journal of Web Engineering.