Extracting state machines from model-based formal specifications by focusing on data types

Kengo Miyoshi, Shigeru Kusakabe, Keijiro Araki

Research output: Contribution to journalArticle


In software development, verification of the specifications and designs at the earlier stage of development is effective in reducing errors which occur at the later development stage. While there are many methods for verification of the specifications and designs, combining such methods in a systematic way enables us to analyze multi-aspect of the target system. In this paper, we discuss a systematic method to extract FSP models from a VDM-SL model. Our approach is to focus on the data types related to the functional property and trace the transition of the value of the variables whose data types are focused on.

Original languageEnglish
Pages (from-to)211-224
Number of pages14
JournalComputer Software
Issue number2
Publication statusPublished - Oct 2 2006


All Science Journal Classification (ASJC) codes

  • Software

Cite this