A MOP based DSL for testing Java programs using OCL.
Clark, Tony (2009) A MOP based DSL for testing Java programs using OCL. Lecture Notes in Computer Science . ISSN 0302-9743 [Article]
|
PDF
- UNSPECIFIED
Download (251kB) | Preview |
Abstract
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
| Item Type: | Article |
|---|---|
| Additional Information: | Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages held in Denver, Colorado on 4th-9th October 2009.
Item has also been published in E A S S T Electronic Communications, published by the European Association of Software Science and Technology (ISSN 1863-2122)Vol.24, 2009 |
| Research Areas: | A. > School of Science and Technology > Computer Science A. > School of Science and Technology > Computer Science > Intelligent Environments group A. > School of Science and Technology > Computer Science > SensoLab group |
| Item ID: | 5811 |
| Useful Links: | |
| Depositing User: | Tony Clark |
| Date Deposited: | 25 May 2010 14:29 |
| Last Modified: | 30 Nov 2022 01:31 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/5811 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)