Towards ontologies for formalizing modularization and communication in large software systems