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
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.5
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 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||