An Analysis Study of Contract-Based Approach for Quality-Driven Service Component Architecture
Maryem Rhanoui, Bouchra El Asri
Journal of Information & Systems Management, Vol. 3, No. 3, 2012.
DOI: 
Link: http://www.dline.info/jism/fulltext/v2n3/2.pdf
Abstract:
Dependability is a major requirement of complex systems which consists of the systemâ€™s ability to offer a trusted and reliable service. Service Component Architecture is a promising and recent approach and an industry standard for developing complex and distributed systems. To be adopted in a safety-critical environment it must handle dependability requirements and offer tools and frameworks to certify the reliability level of the components and the system. In this paper we present main techniques and models for assuring quality and trustworthiness of component-based systems in general, and then we present and justify the choice of the design by contract approach that we adopted for the following of our research about SCA-based systems. Design by Contract is an approach of software design that aims to address reliability and quality issues in software development by expressing a set of its properties and constraints.