Automatic Refinement of Platform Independent Models

Zand Miralvand, Mohammad Reza and Rafe, Vahid and Rafeh, Reza and Hajiee, Maryam (2009) Automatic Refinement of Platform Independent Models. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia , 13-15 November 2009 .

Full text not available from this repository.

Abstract or Summary

Today, software system development (especially safety critical systems) is a complex task. Any bug in these systems may cause serious and costly problems. In this paper, we propose a formal and automatic approach to refinement platform independent models to more platform specific ones. Using graph transformation systems as background formalism, we can validate the approach to being sure about its correctness. For each level of abstraction, using the designed formal styles, we define proper graph rules to refine the models. In comparison to the existing approaches which only consider the structural parts of the model, our proposal consider the behavioral parts of the models for refinement.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:Model Refinement, Platform Independent Models
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5154
Deposited By:
Deposited On:15 Jan 2017 22:23
Last Modified:19 Dec 2018 22:44

Repository Staff Only: item control page