A relational approach to support software architecture analysis

Software - Practice and Experience

Volumn 28, Issue 4, 1998, Pages 371-400

  Feijs, L ^a   Krikhaar, R ^b   Van Ommering, R ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

Relational algebra; Reverse engineering; Software architecture; Software structuring

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE;

RELATIONAL ALGEBRA; REVERSE ENGINEERING; SOFTWARE ARCHITECTURE; SOFTWARE STRUCTURING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032049599     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(19980410)28:4<371::AID-SPE154>3.0.CO;2-1     Document Type: Article

References (39)

1. M. Boasson, 'The artistry of software architecture', IEEE Software (special issue on architecture), 13-16 November 1995.
2. G. C. Murphy, D. Notkin and K. Sullivan, 'Reflecting source code relations in higher-level modules of software systems', Technical Report 94-09-03, Department of Computer Science and Engineering, University of Washington, 1994.
3. D. R. Harris, H. B. Reubenstein and A. S Yeh, 'Reverse engineering to the architectural level', ACM 0-89791-708-1/95/0004, 1995.
4. R. C. Holt, 'Binary relational algebra applied to software architecture', CSRI Technical Report 345, University of Toronto, 1996.
5. S. Paul and A. Prakesh, 'A query algebra for program databases', IEEE Trans. Software Engineering, SE-22(3), 202-217 (1996).
6. Y. F. Chen, M. Nishimoto and C. V. Ramamoorthy, 'The C information abstraction system', IEEE Trans. Software Engineering, 16(3), 325-334 (1990).
7. M.-A. D. Storey, K. Wong and H. Müller, Rigi: a visualization environment for reverse engineering', International Conference on Software Engineering, ICSE '97, ACM Press, pp. 606-607, 1997.
8. H. B.M. Jonkers, 'An overview of the SPRINT method', in J. C. P. Woodcock and P. G. Larsen (eds.), Industrial Strength Formal Methods, LNCS 670, Springer-Verlag, Berlin, pp. 403-427. 1993.
9. L. M. G. Feijs, H. B. M. Jonkers and C. A. Middelburg, Notations for Software Design, Springer-Verlag, Berlin, 1994.
10. I. Nassi and B. Schneidermann, 'Flowchart techniques for structured programming', ACM SIGPLAN Not. 8(8), 12-16 (1973).
11. H. B. M. Jonkers, 'An introduction to COLD-K', in M. Wirsing and J. A. Bergstra (eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer-Verlag, Berling, 1989 pp. 139-205.
12. R. D. Van den Bos, L. M. G. Feijs and R. C. van Ommering, 'POLAR, a picture-oriented language for abstract representations', in J. A. Bergstra and L. M. G. Feijs (eds.), Algebraic Methods: Theory, Tools and Applications, Part II. LNCS 490, Springer-Verlag, Berlin, 1991, pp. 233-276.
13. M. Roosen, 'Design visualization definition and concepts. Philips Internal Report RWB-508-re-94040, 1994.
14. R. C. Van Ommering, 'TEDDY user's manual', Technical report 12NC 4322 2730176 1, Philips Research, Dept. for Information and Software Technology, 1993.
15. C. Aarts, R. Backhouse, P. Hoogendijk, E. Voermans and J. van der Woude, 'A relational theory of datatypes', Eindhoven University of Technology, 1992.
16. G. Schmidt and T. Ströhlein, Relations and Graphs, Springer-Verlag, Berlin 1993.
17. QAC™ 3.1 User Guide and Reference Manual. Programming Research Ltd, 1993.
18. A. V. Aho, B. W. Kernighan and P. J. Weinberger, The AWK Programming Language, Addison-Wesley, Reading, MA, 1988.
19. R. Plasmeijer and M. van Eekelen, Functional Programming and Parallel Graph Rewriting, Addison-Wesley 1993.
20. Lipschitz, Reading, MA, Set theory, Schaum outlines series, 1980.
21. L.M. G. Feijs and R. C. van Ommering, 'The theory of relations and its applications to software structuring', IST report RWB-510-re-95011, 1995.
22. L. M. G. Feijs and R. C. van Ommering, 'Relation partition algebra - mathematical aspects of uses and part-of relations', Philips Research Technical Report NL 29/96 (also submitted to Science of Computer Programming) 1996.
23. L. M. G. Feijs and R. C. van Ommering, 'Relation partition algebra - mathematical aspects of uses and part-of relations', Philips Research Technical Report NL 29/96 (also submitted to Science of Computer Programming) 1996.
24. L. M. G. Feijs and R. L. Krikhaar, 'Relation algebra with multi-relations', Philips research internal report, 1996.
25. F. van der Linden and J. Mueller, 'Creating architectures with building blocks', IEEE Software, (November 1995).
26. R. L. Krikhaar, 'Reverse architecting approach for complex systems', Proceedings of ICSM '97 Bari, Italy, 1997.
27. I. Carmichael, V. Tzerpos and R. C. Holt, 'Design maintenance: unexpected architectural interactions', Int. Conf. on Software Maintenance, IEEE Press, 1995, pp. 134-137.
28. R. Berghammer, B. von Karger and C. Ulke, 'Relation-algebraic analysis of Petri nets with RELVIEW', in T. Margaria and B. Steffen (eds.), Proc. 2nd Workshop 'Tools and Applications for the Construction and Analysis of Systems (TACAS '96), Passau, March 1996. (LNCS 1055), Springer-Verlag, Berlin, 1996, pp. 49-69.
29. M. Peters van Ton M. de Rooij and J. Trum, 'Programma's voor relatie algebra', Stage-verslag, Technical University Eindhoven, 1995.
30. S. Warshall, 'A theorem on Boolean matrices', J. ACM 9, 11-12 (1962).
31. A. V. Aho, R. Sethi and J. D. Ullman, Compilers, Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
32. Y.-F. R. Chen, G. S. Fowler, E. Koutsofios and R. Wallach, 'Ciao: a graphical navigator for software and document repositories'. Int. Conf. on Software Maintenance, IEEE Press, 1995, pp. 66-75.
33. E. J. Chikofsky and J. H. Cross, 'Reverse engineering and design recovery: a taxonomy' IEEE Software, 13-17 (January 1990).
34. R. O'Callahan and D. Jackson, 'Lackwit: a program understanding tool based on type inference', Int. Conf. on Software Engineering, ICSE '97, ACM Press, 1997, pp. 338-348.
35. W. Eixelsberger, L. Warholm, R. Klösch and H. Gall, 'Software architecture recovery of embedded software', Int. Conf. on Software Engineering, ICSE '97, ACM Press, 1997, pp. 358-359.
36. D. F. Jerding, J. T. Stasko and T. Ball, 'Visualising interactions in program executions', Int. Conf. on Software Engineering, ICSE '97, ACM Pres, 1997, pp. 360-370.
37. M. G. J. van den Brand, P. Klint and C. Verhoef, 'Reverse engineering and system renovation - an annotated bibliography', Software Engineering Notes 22(1) (1997).
38. L. M. G. Feijs and R. P. de Jong, '3D visualization of software architectures', Comm. ACM (submitted 1996).
39. V. Braitenberg, Gehirngespinste (Neuroanatomie für kybernetisch interessierte), Springer-Verlag, Berlin, 1973.