A knowledge-based modeling approach for verification, direct execution and plan synthesis of system design

Authors:
Nobuoki Mano;Takakazu Kaneko
Affiliations:
Graduate School of Informatics, Meisei University, Nagabuchi, Ohme-shi, Tokyo-to, Japan;Graduate School of Informatics, Meisei University, Nagabuchi, Ohme-shi, Tokyo-to, Japan
Venue:
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Year:
2005

Citing 8
Cited 0

Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

Quantified Score

Hi-index	0.00

Visualization

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.