*Result*: A MOP based DSL for testing Java programs using OCL.
Title:
A MOP based DSL for testing Java programs using OCL.
Authors:
Publisher Information:
Springer
Publication Year:
2009
Collection:
Middlesex University London: Research Repository
Document Type:
*Conference*
conference object
File Description:
application/pdf
Language:
unknown
Relation:
https://repository.mdx.ac.uk/download/3d92c56acc375722a47ad235cfa37ae375c0ad45d105ce53a81d02ca55a5e5da/251054/a_mop_based_dsl.pdf; Clark, T. 2009. A MOP based DSL for testing Java programs using OCL. Springer.
Availability:
Accession Number:
edsbas.8F2B1F35
Database:
BASE
*Further Information*
*OCL is used to specify systems by defining pre and postconditions for class operations. Typically, the conditions refer to properties and operations that are defined in a model. When the model is implemented, various implementation decisions are made regarding properties and operations that cause the OCL conditions to be inconsistent with the implementation. This paper shows how OCL conditions can be performed against a Java implementation of a model and how a meta-object protocol can be used to control the relationship between the original model and the implementation thereby retaining OCL consistency*