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.

Requirements on software products are becoming more and more complicated and software systems of today are characterized by increasing complexity and size. Therefore, software systems can no longer be developed feasibly without the processes supported by appropriate methods. We propose a method for configuration and modification of software processes in companies based on gathered knowledge and our approach allows to support and optimize the processes with formal methods of modeling.

Software products in companies are a substantial part of their production and a necessary condition of their business success. However, there is still a problem of software proper specification and verification. We propose a formal specification method for software processes based on Transparent Intensional Logic, TIL. This method is logic-oriented, because logical specification within a rich formal framework makes it possible to explicitly define process resources as well as process logic. Moreover, our novel contribution consists in integrating a knowledge-based method with process dynamic modeling.

In the paper we propose a Brain Architecture which allows developers of a Multi-Agent System (MAS) to integrate various supporting tools. For the purpose of agents' communication and reasoning we make use of Transparent Intesional logic (TIL), or more exactly of its software variant the TIL-Script language. The proposed architecture makes it possible to utilise also the Prolog language as a reasoning tool. Rules and facts are stored in agent's internal knowledge base is designed in a way appropriate both for Prolog and TIL-Script languages. The architecture is an open one so that other tools of reasoning can be easily incorporated.

Multi-agent system is a system of autonomous, intelligent but resource-bounded agents. Particular agents have to be able to make decisions on their own, based on the activities of the other agents and events within the system as well as its environment. Thus the agents have to communicate and collaborate with each other as well as with their environment. They communicate by exchanging messages encoded in a near-to-natural language. Traditional first-order languages are not expressive enough to meet the demands of MAS communication. Therefore we make use of the powerful system of Transparent Intensional Logic (TIL). The paper introduces the software variant of TIL, namely the TIL-Script functional programming language. We describe its syntax and semantic, as well as the way the TIL-Script facilities are integrated into the whole multi-agent system.