Search for collections on Wintec Research Archive

Automatic Refinement of Platform Independent Models


Full text not available from this repository.


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
Uncontrolled Keywords: 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
Depositing User: Reza Rafeh
Date Deposited: 15 Jan 2017 22:23
Last Modified: 21 Jul 2023 04:36

Actions (login required)

View Item
View Item