Knowledge-base approach to software-process development based on TIL.

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.