Name
Abstract | ||
|---|---|---|
Framework composition, when used for designing and implementing applications, offers great potential for reuse and extensibility in large scale. However, the literature shows that composing frameworks may result in unexpected side-effects like, for instance, the introduction of deadlock. In this work, we use the process algebra CSP to formally characterize the framework composition problem, abstracting from implementation details or technology. We propose a framework composition strategy which guarantees that the properties of the compound frameworks are preserved after composition. The strategy is presented through a case study: a client/server application. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/SEFM.2005.5 | SEFM |
Keywords | Field | DocType |
framework composition strategy,process algebra csp,framework composition,framework composition problem,formal composition,great potential,implementation detail,composing framework,case study,compound framework,large scale,communicating sequential processes,formal verification,formal specification,process algebra,client server,side effect | Programming language,Reuse,Computer science,Communicating sequential processes,Deadlock,Formal specification,Formal methods,Process calculus,Application server,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2435-4 | 5 | 0.58 |
References | Authors | |
9 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Walter Mesquita | 1 | 5 | 0.58 |
| Augusto Sampaio | 2 | 96 | 13.42 |
| Ana C. V. De Melo | 3 | 5 | 0.92 |