The Modularity Matrix as a Source of Software Conceptual Integrity

Iaakov Exman

Abstract

Conceptual Integrity has been declared the most important consideration for software system design. However, the very concept of Conceptual Integrity remained quite vague, lacking a precise formal definition. This paper offers a path to a novel definition of Conceptual Integrity in terms of the Modularity Matrix, the basic structure of Linear Software Models. We provide arguments for the plausibility of the Modularity Matrix as the suggested source of software system Conceptual Integrity, viz. the orthogonality and propriety of the Matrix modules. Furthermore, the paper also reveals some new characteristic properties of Software Conceptual Integrity.

References

  1. Beynon, W.M., Boyatt, R.C. and Chan, Z.E., 2008. "Intuition in Software Development Revisited", in Proc. of 20th Annual Psychology of Programming Interest Group Conference, Lancaster University, UK.
  2. Brooks, F.P., 1995. The Mythical Man-Month - Essays in Software Engineering - Anniversary Edition, Addison-Wesley, Boston, MA, USA.
  3. Brooks, F.P., 2010. The Design of Design: Essays from a Computer Scientist, Addison-Wesley, Boston, MA, USA.
  4. Buzaglo, M., 2002. The Logic of Concept Expansion, Cambridge University Press, Cambridge, UK.
  5. Clements, P., Kazman, R, and Klein, M., 2001. Evaluating Software Architecture: Methods and Case Studies. Addison-Wesley, Boston, MA, USA.
  6. DeRosso, S.P. and Jackson, D., 2013. “What's Wrong with Git? A Conceptual Design Analysis”, in Proc. of Onward! Conference, pp. 37-51, ACM. DOI: http://dx.doi.org/10.1145/2509578.2509584.
  7. Exman, I., 2012a. “Linear Software Models”, Proc. GTSE 1st SEMAT Workshop on a General Theory of Software Engineering, KTH Royal Institute of Technology, Stockholm, Sweden. http://semat.org/wp-con tent/uploads/2012/10/GTSE_2012_Proceedings.pdf.
  8. Exman, I., 2012b. “Linear Software Models”, video presentation of paper (Exman, 2012a) at GTSE 2012, KTH, Stockholm, Sweden, Web site: http://www.youtube.com/watch?v=EJfzArH8-ls.
  9. Exman, I., 2014. “Linear Software Models: Standard Modularity Highlights Residual Coupling”, Int. Journal of Software Engineering and Knowledge Engineering, Vol. 24, pp. 183-210. DOI: 10.1142/S0218194014500089.
  10. Exman, I. and Speicher, D., 2015. “Linear Software Models: Equivalence”, in Proc. ICSOFT'2015 Int. Conference on Software Technology, pp. 109-116, ScitePress, Portugal. DOI = 10.5220/0005557701090 116
  11. Gabriel, R.P., 2007. "Designed as Designer". In Essay track, ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications, Montreal, Canada. Web site: http://dreamsongs.com/DesignedAsDesigner.html.
  12. Ganter, B. and Wille, R., 1998. Formal Concept Analysis: Mathematical Foundations, Springer-Verlag, Berlin, Germany.
  13. Ganter, B., Stumme, G. and Wille, R., 2005. Formal Concept Analysis - Foundations and Applications. Springer-Verlag, Berlin, Germany.
  14. Jackson, D., 2013. “Conceptual Design of Software: A Research Agenda”, CSAIL Technical Report, MITCSAIL-TR-2013-020. URL: http://dspace.mit.edu/bit stream/ handle/1721.1/79826/MIT-CSAIL-TR-2013- 020.pdf?sequence=2
  15. Jackson, D., 2015. "Towards a Theory of Conceptual Design for Software", in Proc. Onward! 2015 ACM Int. Symposium on New Ideas, New Paradigms and Reflections on Programming and Software, pp. 282- 296. DOI: 10.1145/2814228.2814248.
  16. Kazman, R., 1996. “Tool Support for Architecture Analysis and Design”, in ISAW'96 Proc. 2nd Int. Software Architecture Workshop, pp. 94-97, ACM, New York, NY, USA. DOI: 10.1145/243327.243618
  17. Kazman, R. and Carriere, S.J., 1997. “Playing Detective: Reconstructing Software Architecture from Available Evidence.” Technical Report CMU/SEI-97-TR-010, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA.
  18. Krone, M. and Snelting, G., 1994. "On the Inference of Configuration Structures from Source Code, in Proc. ICSE-16 16th Int. Conf. on Software Engineering. DOI: 10.1109/ICSE.1994.296765.
  19. Lakatos, I., 1976. Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge University Press, Cambridge, UK.
  20. Liskov, B., 1988. "Keynote address - data abstraction and hierarchy". ACM SIGPLAN Notices. 23 (5): 17-34. doi:10.1145/62139.62141
  21. Rovetto, R., 2011. "The Shape of Shapes: an Ontological Exploration", in Proc. SHAPES 1.0 1st Interdisciplinary Workshop on Shapes, Karlsruhe, Germany.
Download


Paper Citation


in Harvard Style

Exman I. (2016). The Modularity Matrix as a Source of Software Conceptual Integrity . In Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016) ISBN 978-989-758-202-8, pages 27-35. DOI: 10.5220/0006098300270035


in Bibtex Style

@conference{sky16,
author={Iaakov Exman},
title={The Modularity Matrix as a Source of Software Conceptual Integrity},
booktitle={Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016)},
year={2016},
pages={27-35},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006098300270035},
isbn={978-989-758-202-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016)
TI - The Modularity Matrix as a Source of Software Conceptual Integrity
SN - 978-989-758-202-8
AU - Exman I.
PY - 2016
SP - 27
EP - 35
DO - 10.5220/0006098300270035