Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
A Strategy for the Formal Composition of Frameworks
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
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.
Citation:
Walter Mesquita, Augusto Sampaio, Ana C. V. De Melo, "A Strategy for the Formal Composition of Frameworks," sefm, pp.404-413, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005