Specification-Driven Development of an Executable Metamodel in Eiffel
暂无分享,去创建一个
Metamodels precisely define the constructs and underlying well-formedness rules for modelling languages. They are vital for tool vendors, who aim to provide support so that concrete models can be checked formally and automatically against a metamodel for conformance. This paper describes how an executable metamodel – which supports fully automated conformance checking – was developed using a model-driven extension of test-driven development. The advantages and disadvantages of this approach to building metamodels are discussed.
[1] Kim Walden,et al. Seamless object-oriented software architecture , 1995 .
[2] Troels Mørch. Test Driven Development , 2005 .
[3] Richard F. Paige,et al. Metamodelling and Conformance Checking with PVS , 2001, FASE.
[4] Richard F. Paige,et al. Theorem Proving Support for View Consistency Checking , 2003, Obj. Logiciel Base données Réseaux.
[5] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .