In the last decades we have got used to software applications and services being everywhere and working for us. However sometimes they fail to work as desired. The situation we experience nowadays is often characterized as the second software crisis and it is caused by many root causes. One main root problem is an old one – it is an insufficient specification of requirements and processes to be executed in software development. Even though the computer science offers many specification methods, standards, generic software processes, best practices, and languages, the problem is still here. The research presented in this work proposes utilization of formal methods and knowledge bases as a key solution for software process capture and modeling; the goal of the research is to describe particular sub-processes of software development process and their optimization with formalisms like Web Ontology Language (OWL). We will propose and develop complex software process modeling methodology that would combine semi-formal and formal approaches with forward and reverse process engineering (process mining) that would be used easily as well-known semi-formal approaches.