A strategy for the formal composition of frameworks

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005

Volumn , Issue , 2005, Pages 404-413

  Mesquita, Walter ^a   Sampaio, Augusto ^a   De Melo, Ana C V ^b  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT/SERVER APPLICATION; COMPOSITION PROBLEM; PROCESS ALGEBRAS; SIDE EFFECT;

ENGINEERING; INDUSTRIAL ENGINEERING;

SOFTWARE ENGINEERING;

EID: 50249101171     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2005.5     Document Type: Conference Paper

References (19)

1. R. J. Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon Institute, Technical Report Number: CMU-CS-97-144, 1997.
2. F. Arbab. A channel-based coordination model for component composition. Technical Report SEN-R0203, CWI-Centrum voor Wiskunde en Informatica, CWI, P. O. Box 94079, 1090 GB Amsterdam, The Netherlands, February 2002.
3. A. C. V. de Melo and B. M. Moutinho. On the composition of JAVA frameworks. Information and Software Technology, 46(5):301-307, 2004.
4. C. Fischer. Combining CSP and Z. PhD thesis, University of Oldenburg, 2000.
5. C. Fischer, E.-R. Olderog, and H. Wehrheim. A CSP view on UML-RT structure diagrams. Lecture Notes in Computer Science, 2029:91-108, 2001.
6. P. Gardiner. Failures-Divergence Refinement, FDR2 User Manual and Tutorial. Formal Systems Ltd., 1997.
7. C. A. R. Hoare. Comunicating Sequencial Processes. Prentice Hall, 1985.
8. R. E. Johnson and V. F. Russo. Reusing object-oriented design. Technical Report UIUCDCS 91-1696, University of Illinois, 1991.
9. K.-K. Lau and M. Ornaghi. Ood frameworks in componentbased software development in computational logic. Lecture Notes in Computer Science, 1559:101-123, 1999.
10. M. Mattsson and J. Bosch. Framework composition: Problems, causes and solutions. Communications TOOLS USA, pages 1-17, 1997.
11. M. Mattsson and M. E. Fayad. Framework integration, problems, causes, solutions. Communications of ACM, 42(10):80-87, 1999.
12. W. Mesquita. Uma estratégia para composiç ão formal de frameworks (in portuguese). Master's thesis, Centro de Inform á.tica-UFPE, 2004.
13. A. Mota and A. Sampaio. Model-checking CSP-Z: Strategy, tool support and industrial application. Science of Computer Programming, 40:59-96, 2001.
14. B. M. Moutinho. Composiç ão de fluxo de controle de frameworks JAVA (in portuguese). Master's thesis, USP, 2001.
15. C. Pahl. A pi-calculus based framework for the composition and replacement of components. In OOPSLA '2001: Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, 2001.
16. B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. In LCTES 98: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, pages 250-260. Springer-Verlag, 1998.
17. S. K. Shukla, F. Doucet, and R. K. Gupta. Structured component composition frameworks for embedded system design. In HiPC '02: Proceedings of the 9th International Conference on High Performance Computing, pages 663-678. Springer-Verlag, 2002.
18. J. Spivey. The Z Notation: a reference manual. Prentice Hall, 1998.
19. J. Woodcock and J. Davies. Using Standard Z: Specification, Refinement and Proof. Prentice Hall, 1996.