Name
Abstract | ||
|---|---|---|
In component-based development, software components are taken as units of composition. Nevertheless, to achieve the widely disseminated status of components being plugged together as simple 'Lego Pieces', the integration of components must be carefully designed, systematised and verified; only this can ensure reliable architectures. In this work, we propose some conformance notions to predict the precise nature of some forms of composition, considering coordination patterns used in the integration. These notions are formalised in terms of the denotational semantics of the process algebra CSP, and assist the designer in common activities during integration, such as the substitution of component specifications by implementations, contract adaptations, and system extensions. To support mechanical verifications using FDR (a model-checker for CSP), we derive test characterisations from the denotational definitions of conformance. We illustrate the application of these notions through a systematic composition strategy of software frameworks, and we mechanically verify the preservation of behavioural component properties in these compositions. Moreover, we characterise the well-formedness of a coordination pattern used in this strategy at the design stage, before components are assembled. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1016/j.scico.2009.12.005 | Sci. Comput. Program. |
Keywords | Field | DocType |
frameworks,denotational definition,coordination pattern,composition predictability,coordination patterns,behavioural component property,component specification,software components,software component,software framework,process algebra csp,interaction component,denotational semantics,conformance notion,systematic composition strategy,conformance verification,process algebra,component based development | Programming language,Computer science,Denotational semantics,Theoretical computer science,Implementation,Component-based software engineering,Process calculus,Software framework | Journal |
Volume | Issue | ISSN |
75 | 5 | Science of Computer Programming |
Citations | PageRank | References |
4 | 0.45 | 33 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rodrigo Ramos | 1 | 53 | 4.26 |
| Augusto Sampaio | 2 | 501 | 43.38 |
| Alexandre Cabral Mota | 3 | 199 | 18.27 |