Abstract | ||
---|---|---|
A major challenge related to the composition of software frameworks is to ensure that certain services provided by the frameworks are preserved. Since, in general, such a composition might involve heterogeneous frameworks with incompatible interfaces (distinct signatures or protocols), some glue code is usually needed for an integration. Naturally, the right design of the glue code is critical because otherwise the composition might exercise the original frameworks only partially, and the original services may malfunction in subtle ways. The notion of conformance of these services does not directly correspond to standard refinement. In this paper, we build on a systematic strategy for framework composition based on the CSP process algebra. We propose notions of conformance for behaviour preservation based on Failures refinement for CSP and show how conformance can be mechanically checked using a CSP model checker (FDR). |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1363686.1363717 | SAC |
Keywords | Field | DocType |
standard refinement,failures refinement,framework composition,certain service,original service,original framework,behaviour preservation,refinement checking,csp process algebra,csp model checker,glue code,framework composition conformance,process algebra,software framework,refinement,csp,service provider | Programming language,Model checking,Computer science,Glue code,Process calculus,Database,Software framework | Conference |
Citations | PageRank | References |
4 | 0.49 | 11 |
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 |