Executable and Symbolic Conformance Tests for Implementation Models (Position Paper) [chapter]

Thomas Baar
2002 Lecture Notes in Computer Science  
Following the Model-Driven Architecture (MDA), a system description consists of several models, i.e. views of the system. This paper is concerned with formal conformance tests between different models. It stresses the need for formal semantical foundations of all languages that are used to express models. In particular, we classify conformance tests for implementation models.
doi:10.1007/3-540-46105-1_27 fatcat:owokh4bkkvez5jgfuyf5ot667y