Framework composition conformance via refinement checking

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2008, Pages 119-125

  Ramos, Rodrigo ^a   Sampaio, Augusto ^a   Mota, Alexandre ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Conformance notions; CSP; Framework composition; Refinement

Indexed keywords

ADHESIVES; GLUES; GLUING; MODEL CHECKING;

CONFORMANCE NOTIONS; CSP; CSP MODELS; CSP PROCESS ALGEBRAS; FAILURES REFINEMENTS; FRAMEWORK COMPOSITION; GLUE CODES; REFINEMENT; REFINEMENT CHECKING; SOFTWARE FRAMEWORKS;

COMPUTER OPERATING PROCEDURES;

EID: 51849117576     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1363686.1363717     Document Type: Conference Paper

References (18)

1. R. Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, 1997.
2. F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical. Structures in Com.p. Sci., 14(3):329-366, 2004.
3. M. Autili, P. Inverardi, A. Navarra, and M. Tivoli. SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. In 29th International Conference on Software Engineering (ICSE 2007), pages 784-787. IEEE Computer Society, 2007.
4. A. Brogi, C. Canal, and E. Pimentel. Measuring component adaptation. In 6th International Conference on Coordination Models and Languages, volume 2949 of Lecture Notes in Computer Science, pages 71-86. Springer, 2004.
5. A. Brogi, C. Canal, and E. Pimentel. Component adaptation through flexible subservicing. Science of Computer Programming, 63(1):39-56, 2006.
6. X. Chen, J. He, and Z. Liu. Component Coordination in rCOS. Technical Report 335, UNU-IIST, P.O.Box 3058, Macau, 2006.
7. A. C. V. de Melo and B. M. Moutinho. On the composition of java frameworks control-flows. Information and Soft, Tech., 46(5):301-307, 2004.
8. P. Eskelin. Component interaction patterns. In Pattern Languages of Programming Conference, August 1999.
9. Formal-Systems (Europe). Failures divergence refinement: Fdr2 user manual, June 2005.
10. G. Hohpe and B. Woolf. Enterprise Integration Patterns. Addison-Wesley, 2003.
11. X. L. Jifeng He and Z. Liu. A theory of reactive components. Electronic Notes in Theoretical Computer Science, 160:173-195, 2006. International Workshop on Formal Aspects of Component Software.
12. B. H. Liskov and J. M. Wing. A behavioural notion of subtyping. ACM Trans. On Programming Languages and Systems, 16(6), 1994.
13. M. Mattsson and J. Bosch. Stability assessment of evolving industrial object-oriented frameworks. Journal of Software Maintenance, 12(2):79-102, 2000.
14. W. Mesquita. Uma estrategia para composicao formal de frameworks. Master's thesis, Centre of Informatics, Federal University of Pernambuco, 2004.
15. W. Mesquita, A. Sampaio, and A. C. V. de Melo. A strategy for the formal composition of frameworks. In 3rd Int. Conf. on Soft. Eng. and Formal Methods, pages 404-413. IEEE Computer Society, 2005.
16. A. W. Roscoe. Theory and Practice of Concurrency, The. Prentice-Hall Series in Computer Science. Prentice-Hall, 1998.
17. B. Spitznagel and D. Garlan. A compositional formalization of connector wrappers. In 25th International Conference on Software Engineering, pages 374-384. IEEE Computer Society, 2003.
18. H. Wehrheim. Behavioral subtyping relations for active objects. Formal Methods in System Design, 23(2):143-170, 2003.