期刊名称：International Journal of Information Technology and Computer Science
印刷版ISSN：2074-9007
电子版ISSN：2074-9015
出版年度：2012
卷号：4
期号：9
页码：1-8
出版社：MECS Publisher
摘要：Most of the refinement approach is about functional property of systems. Non-functional properties are as important as functional one. Without an accurate approach for specifying and refining their behaviors, software models will be regarded as imperfect and imprecise, and as a result, software systems cannot be generated correctly. Therefore, how to model such behaviors and how to stepwise refine these behaviors automatically, have become two critical problems in Model Driven Development. In this paper we present an approach for Non-functional refinement in model driven development using high order transformation languages and traceability property of them. We extend the idea of model refinement to non-functional properties of software and propose a stepwise refinement framework with conformance checking between abstract and concrete descriptions of system model using model transformation. The approach is extendable to all quantitative and quantitative non-functional properties.
关键词：Model Driven Development; Non-Functional Property; Refinement; Platform Independent Model; P Specific Model
