Relation partition algebra - Mathematical aspects of uses and part-of relations

Science of Computer Programming

Volumn 33, Issue 2, 1999, Pages 163-212

  Feijs, L M G ^a   Van Ommering, R C ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

Galois connections; Modularisation; Partitioning; Relation algebra; Software engineering

Indexed keywords

ALGEBRA; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS;

GALOIS CONNECTIONS; RELATION PARTITION ALGEBRA;

SOFTWARE ENGINEERING;

EID: 0033079458     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(98)00007-0     Document Type: Article

References (25)

1. C. Aarts, R. Backhouse, P. Hoogendijk, E. Voermans, J. van der Woude, A relational theory of datatypes, TUE, December 1992.
2. A.V. Aho, R. Sethi, J.D. Ullman, Compilers, Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
3. K. Arnold, J. Gosling, The Java™ Programming Language, Addison-Wesley, Reading, MA, 1996, ISBN 0-201-63455-4.
4. J.A. Bergstra, J. Heering, P. Klint, Module algebra, J. ACM 37 (2) (1990) 335-372.
5. J.A. Bergstra, J.W. Klop, Process algebra for synchronous communication, Inform. Control 60 (1984) 82-95.
6. G. Birkhoff, T.C. Bartee, Modern Applied Algebra, McGraw-Hill, New York, 1971.
7. M. Boasson, The artistry of software architecture, IEEE Software (special issue on architecture) (November 1995) 13-16.
8. Bourbaki, Theorie des Ensembles, Hermann, Paris, 1970.
9. I. Carmichael, V. Tzerpos, R.C. Holt, Design maintenance: unexpected architectural interactions, in: Proc. Internat. Conf. on Software Maintenance, ICSM'95, Nice, France, IEEE Computer Society Press, Silver Spring, MD, 1995.
10. Changes for Java 1.1, Appendix D to [3], http://java.sun.com/docs/books/javaprog/1.1Update.html, 1997.
11. P. Cousot, R. Cousot, Abstract interpretation and application to logic programs, J. Logic Programming 13 (1992) 103-179.
12. D. Dams, Abstract interpretation and partition refinement for model checking, Ph.D. Thesis, Eindhoven University of Technology, 1996.
13. L. Feijs, R. De Jong, Adding 3D vizualisation to relational software architecture analysis, Philips Research Technical Note UR30/96; Comm. ACM, accepted for publication.
14. L.M.G. Feijs, H.B.M. Jonkers, C.A. Middelburg, Notations for Software Design, Springer, Berlin, 1994.
15. L. Feijs, R. Krikhaar, R. van Ommering, A relational approach to support software architecture analysis, Software Practice Experience 28 (4) (1998) 371-400.
16. L.M.G. Feijs, R.C. Van Ommering, Architecture visualisation and analysis, motivation and example, in: Internat. Workshop on Development and Evolution of Software Architectures for Product Families, Electronic Proceedings, http://sirio.dit.upm.es/ares/workshop/proceedi.htm, 1996.
17. L.M.G. Feijs, R.C. van Ommering, Relation partition algebra, mathematical aspects of uses and part-of relations. Unclassified Report UR 029/96, Philips Research Eindhoven, Prof. Holstlaan 4, 5656 AA Eindhoven, 1996.
18. D.R. Harris, H.B. Reubenstein, A.S. Yeh, Reverse engineering to the architectural level, in: Proc. 17th Internat. Conf. on Software Engineering (ICSE-17), ACM Press, New York, 1995.
19. H. Hasse, Über die Klassenzahl abelschen Zahlkörper, Akademie Verlag, Berlin, 1952.
20. A.C. Melton, D.A. Schmidt, D.E. Strecker, Galois connections and computer science applications, in: D. Pitt, S. Abramsky, A. Poigné, D. Rydeheard (Eds.), Category Theory and Computer Programming, Lecture Notes in Computer Science, Vol. 240, Springer, Berlin, 1986, pp. 299-312.
21. G.C. Murphy, D. Notkin, K. Sullivan, Reflecting source code relations in higher-level modules of software systems, Technical Report 94-09-03 Dept. of Computer Science and Engineering, University of Washington, 1994.
22. O. Ore, Galois connexions, Trans. Amer. Math. Soc. 55 (1944) 493-513.
23. G. Pickert, Bemerkungen über Galois-Verbindungen, Arch. Math. 3 (1952) 285-289.
24. G. Schmidt, T. Ströhlein, Relations and Graphs, Springer, Berlin, 1993.
25. G.S. Volta, M.J. Egenhofer, Interaction with GIS attribute data based on categorial coverages, in: A.U. Frank, I. Campari (Eds.), Spatial Information Theory: A Theoretical Basis for GIS, Lecture Notes in Computer Science, Vol. 716, Springer, Berlin, 1993, pp. 215-233.