International Journal of
Physical Sciences

  • Abbreviation: Int. J. Phys. Sci.
  • Language: English
  • ISSN: 1992-1950
  • DOI: 10.5897/IJPS
  • Start Year: 2006
  • Published Articles: 2572

Full Length Research Paper

Verification and validation of model refinement implemented through graph transformation systems

Masoomeh Khedmati1, Vahid Rafeh2 and Mohsen Rahmani2*
1Department of Computer Engineering, Arak Branch, Islamic Azad University, Arak, Iran. 2Department of Computer Engineering, Malayer Branch, Islamic Azad University, Malayer, Iran.
Email: [email protected]

  •  Accepted: 20 July 2011
  •  Published: 18 August 2011


Today, model refinement has a key role in software engineering. It is very important to find an approach to add details to the abstract models. This stepwise refinement should continue till the final software is developed. Since this process in most of the cases is boring, long and error prone, it is crucial to find an automatic yet precise approach to perform refinement. In this paper, we present an accurate approach to refine abstract models into more detailed models. To do so, we use graph transformation systems. In the proposed approach, at first, we design the initial abstract model by graph transforming systems. Then, based on the desired meta-model, we design proper rules to generate a more detailed model from the abstract one, automatically. In this approach, both structural and behavioral parts are considered for modeling. At the end, using the formal background of graph transformations we prove the soundness of the approach.


Key words: Model refinement, graph transformation systems.