loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Walter Mesquita, Universidade Federal de Pernambuco, Brazil
Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
Ana C. V. De Melo, Universidade de Sao Paulo, Brazil
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.