Research (nur in Englisch)

General Informations

Project Manager:

• Prof. Dr. Hans Kleine Büning

• Zhihong Tao

Abstract

CBSD (component-based software development) is becoming an important paradigm in the software development process. The design, analysis and verification technique of such a CBSD software system is also an important topic in theoretical computer science and software engineering. Run-Time Model Checking focus on the behaviours of the Run-Time software application system developed by CBSD method. Its mathematical logic background is dynamic sematics logic. The possibility of avoiding exhaustive state space search can be achieved by methods in this area.

Selected Publications

• Tao Zhihong, Xu Daoyun. NP-completeness of Homomorphism for Logic Programs. (submitted)
• Hans Kleine Büning, Tao Zhihong. BDC-NET Protocol and Engineering Analysis.
  Technical Report, University of Paderborn, 2003.
• Hans Kleine Büning, Tao Zhihong. A Model Checkable Dynamic Semantics Logic System for Workflow Management.
  Technical Report, University of Paderborn, 2003.