Mappings of MOF Metamodels and Object-oriented Languages
暂无分享,去创建一个
This chapter discusses the main steps for transforming NEREUS constructions into object oriented languages. As an example, we use the Eiffel language that allows integrating specifications with Eiffel contracts (Meyer, 1992). Figure 1 shows the main steps. The Eiffel code is constructed gradually. First, associations and operation signature are translated. The transformation is supported by reusable components. From OCL and NEREUS specifications it is possible to construct contracts on Eiffel and /or feature implementations by applying heuristics.
[1] Bertrand Meyer,et al. Reusable Software: The Base Object-Oriented Component Libraries , 1994 .
[2] Bertrand Meyer,et al. Eiffel: The Language , 1991 .