Work

A MOP based DSL for testing java programs using OCL

Year: 2009

Type: article

Abstract: . OCL is used to specify systems by de ning pre and postconditions for class operations. Typically, the conditions refer to properties and operations that are de ned 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. 1

Source: SHURA (Sheffield Hallam University Research Archive) (Sheffield Hallam University)

DOI: 10.14279/tuj.eceasst.24.329

Author: Tony Clark

Institution: University of West London

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1870317425

FWCI:

Cites: 12

Cited by:

Related to: 10