Proceedings of the Korea Society for Simulation Conference (한국시뮬레이션학회:학술대회논문집)

The Korea Society for Simulation (한국시뮬레이션학회)
권호 표지

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)
  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

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.

Keywords