한국시뮬레이션학회:학술대회논문집 (Proceedings of the Korea Society for Simulation Conference)
- 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
- /
- Pages.141-146
- /
- 2001
Formal Modeling and Verification of an Information Retrieval System using SMV
- Kim, Jong-Hwan (Dept. of Computer Science & Engineering, Korea University) ;
- Park, Hea-Sook (Dept. of Computer Science & Engineering, Korea University) ;
-
Baik, Doo-Kwon
(Dept. of Computer Science & Engineering, Korea University)
- 발행 : 2001.10.01
초록
An Information Retrieval System offers the integrated view of SCM(Supply Chain Management) information to the enterprise by making it possible to exchange data between regionally distributed heterogeneous computers and also to enable these computers to access various types of databases. The Information Retrieval System is modeled using Data Registry Model based on X3.285. We only verify the MetaData Registry Manager(MDR Manager) among the core parts using SMV(Symbolic Model Verifier) in order to verify whether our model satisfies the requirements under the given assumptions.
키워드