A knowledge-based modeling approach for verification, direct execution and plan synthesis of system design
Nobuoki Mano, Takakazu Kaneko · 2005
Abstract:- We propose an approach using models in the knowledge-base for the system design of real-time distributed systems. Our approach belongs to a logical approach and our modeling is state-based. Models in our knowledge-base are built from specifications in our specification description language. These models in the knowledge-base works greatly for (semi-)automation of system design in the upper software development processes, i.e., the verification of their system design with deadlock detection, direct execution of specifications by interpretation, and plan synthesis. We explain how our system works, using ATM system design as an example problem.