DESIGN AND IMPLEMENTATION OF AUTOMATED VISUALIZATION FOR INPUT / OUTPUT FOR PROCESSES IN SOFL FORMAL SPECIFICATIONS
Yu Chen1 and Shaoying Liu2
1Graduate School of Computer and Information Sciences, Hosei University, Japan
2Faculty of Computer and Information Sciences, Hosei University, Japan
ABSTRACT
While formal specification is regarded as an effective means to capture accurate requirements and design, validation of the specifications remains a challenge. Specification animation has been proposed to tackle the challenge, but lacking an effective representation of the input / output data in the animation can considerably limit the understanding of the animation by clients. In this paper, we put forward a tool supported technique for visualization of the input / output data of processes in SOFL formal specifications. After discussing the motives of our work, we describe how data of each kind of data types available in the SOFL language can be visualized to facilitate the representation and understanding of input / output data. We also present a supporting tool for the technique and a case study to demonstrate the usability and effectiveness of our proposed technique. Finally, we conclude the paper and point out the future research directions.
KEYWORDS
Visualization, SOFL, Formal specification, Data type, Formal methods
For More Details:http://aircconline.com/ijsea/V9N4/9418ijsea09.pdf
Comments
Post a Comment