본문 바로가기
  • Home

Verification method and Simulation of Object model Converted to Formal Specification

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2007, 12(6), pp.123-130
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

임근 1

1을지대학교

Accredited

ABSTRACT

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model conveted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

Citation status

* References for papers published after 2022 are currently being built.