A method for module architecture verification and its application on a large component-based system

Information and Software Technology

Volumn 45, Issue 4, 2003, Pages 171-194

  Postma, André ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

Module architecture verification; Relational algebra; Software architecture; Software maintenance; Testing, analysis, and verification

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; LARGE SCALE SYSTEMS; SYSTEMS ANALYSIS;

SOFTWARE ARCHITECTURE;

COMPUTER SOFTWARE;

EID: 0037445390     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(02)00193-3     Document Type: Article

References (31)

1. Areces C., et al. Proceedings of IWSSD-9. Proceedings of IWSSD-9. 1998;IEEE Computer Society Press. pp. 150-152.
2. Bass L., Clements P., Kazman R. Software Architecture in Practice. 1998;Addison-Wesley, Reading, MA.
3. Carmichael I., Tzerpos V., Holt R.C. Proceedings of ICSM'95. Proceedings of ICSM'95. 1995;IEEE Computer Society Press. pp. 134-137.
4. Chikofsky E.J., Cross J.H. Reverse engineering and design recovery: a taxonomy. IEEE Software. January:1990;13-17.
5. J. Ebert et al. (Eds.), GUPRO - Generische Umgebung zum Programmverstehen, Fölbach - Koblenz Schriften zur Informatik, 1998, ISBN 3-923532-59-8 (in German and English).
6. Emery D.E., et al. Experiences applying a practical architectural method. LNCS 1088. LNCS 1088. 1996;Springer, Berlin.
7. Feijs L.M.G., de Jong R.P. 3D visualisation of software architectures. Communications of the ACM. 41:(12):1998;43-48.
8. Feijs L., et al. A relational approach to software architecture analysis. Software Practice and Experience. 28:(4):1998;371-400.
9. Feijs L.M.G., Krikhaar R.L. Relation algebra with multi-relations. International Journal Computer Mathematics. 70:1998;57-74.
10. Feijs L.M.G., van Ommering R.C. Relation partition algebra - mathematical aspects of uses and part-of relations. Science of Computer Programming. 33:1999;163-212.
11. Fradet P., et al. Consistency checking for multiple view architectures. LNCS 1687. LNCS 1687. 1999;Springer, Berlin.
12. Gansner E., North S.C. An open graph visualization system and its application to software engineering. Software Practice and Experience. 00:(S1):1999;1-5. More information on Graphviz, and the tool itself can be obtained from http://www.research.att.com/sw/tools/graphviz/.
13. Glas A. A module architecture browser. Visualization of Architectural Information in Support of Reverse Engineering. 1998;Eindhoven University of Techonology. ISBN 90-5282-878-4.
14. Harris D.R., et al. Proceedings of ICSE'95. Proceedings of ICSE'95. 1995;ACM Press. ISBN 0-89791-708-1.
15. R.C. Holt, Binary relational algebra applied to software architecture, CSRI Technical Report 345, University of Toronto, 1996.
16. Holt R.C. Structural manipulations of software architecture using Tarski relation algebra. Proceedings of WCRE'98, Honolulu, Hawaii. 1998.
17. M. Kamp, GreQL - eine Anfragesprache für das GUPRO-Repository 1.1, Projektbericht 8/96, University of Koblenz, 1996 (in German).
18. Krikhaar R.L. Proceedings of ICSM'97. Proceedings of ICSM'97. 1997;IEEE Computer Society. pp. 4-11.
19. R.L. Krikhaar, Software Architecture Reconstruction, PhD Thesis, University of Amsterdam (UvA), ISBN 90-74445-44-6, 1999.
20. Kruchten P.B. The 4+1 view model of architecture. IEEE Software. 12:(6):1995.
21. Kullbach B., Winter A. Querying as an enabling technology in software reengineering. Proceedings of CSMR'99. 1999;42-50.
22. Microsoft Browser Toolkit 6.0. Available at: http://support.microsoft.com/support/kb/articles/q153/3/93.asp.
23. Microsoft ScriptIt utility. Available at: http://www.microsoft.com/TechNet/winnt/Winntas/tools/scriptit.asp.
24. Murphy G., et al. Software reflexion models: bridging the gap between source and high-level models. Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, ACM, New York. 1995;18-28.
25. R.C. van Ommering, TEDDY user's manual, Technical report 12NC-4322-2730176-1, Philips Research, 1993.
26. Pronk B.J. An interface based platform approach. Proceedings of the SPLC 1, Denver. August:2000.
27. D. Rogerson, Inside COM, Microsoft's Component Object Model, Microsoft Press, ISBN 1-57231-349-8, 1997.
28. M. Roosen, Design visualisation definition and concepts, Philips internal report RWB-508-re-94040, Philips Research, 1994.
29. SEI, How do you define software architecture?, SEI webpage: http://www.sei.cmu.edu/architecture/definitions.html.
30. Soni D., et al. Proceedings of ICSE'95. Proceedings of ICSE'95. 1995;ACM Press. ISBN 0-89791-708-1.
31. Storey M.-A., Wong K., Mueller H. Rigi: a visualisation environment for reverse engineering. Proceedings of ICSE'97. 1997;600-607.