DocumentCode :
3292010
Title :
Contract-Based Approach to Analyze Software Components
Author :
Zitou, A. ; Seinturier, L. ; Boufaida, M.
Author_Institution :
Mentouri Univ. of Constantine, Constantine
fYear :
2008
fDate :
March 31 2008-April 3 2008
Firstpage :
237
Lastpage :
242
Abstract :
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and compositional conflicts among components constitute a crucial barrier to successful software composition. In this paper, we present a contract-based approach to analyze and model the properties of components and their composition in order to detect and correct composition errors. With this approach we characterize the structural, interface and behavioural aspects, and a specific form of evolution of these components. Enabling this, we propose the use of the LOTOS language as an Architecture Description Language (ADL) for formalising these aspects.
Keywords :
software engineering; specification languages; LOTOS language; architecture description language; component-based software development; large software systems; software components; software composition; Computer architecture; Computer science; Contracts; Costs; Error correction; Laboratories; Pattern analysis; Programming; Software design; Software systems; Components; Contract; Design Patterns; LOTOS; Software Components;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location :
Belfast
Print_ISBN :
0-7695-3139-3
Type :
conf
DOI :
10.1109/ICECCS.2008.32
Filename :
4492897
Link To Document :
بازگشت