Using Patterns to Map OCL Constraints to JML Specifications

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

Abstract

OCL is a formal notation to specify constraints on UML models that cannot otherwise be expressed using diagrammatic notations such as class diagrams. The type of constraints that can be expressed using OCL include class invariants and operation preconditions and postconditions. Constraint patterns can be used to simplify the development of consistent constraints for UML/OCL models. This paper investigates an approach based on constraint patterns to developing JML specifications for Java implementations from OCL constraints. This would enable the checking of OCL constraints at runtime since they can be translated to JML executable assertions. The approach involves mapping each OCL constraint pattern to a corresponding JML pattern. This results in a library of JML constraint patterns that provides a seamless transition from UML/OCL designs to Java implementations.
Original languageEnglish
Title of host publicationInternational Conference on Model-Driven Engineering and Software Development
Place of PublicationSwitzerland
PublisherSpringer International
Pages35-48
Number of pages14
Volume506
ISBN (Electronic)9783319251561
ISBN (Print)9783319251554
DOIs
Publication statusPublished - 11 Dec 2015
EventInternational Conference on Model-Driven Engineering and Software Development - Lisbon, Portugal, 7-9 January, 2014
Duration: 11 Dec 2015 → …

Publication series

NameCommunications in Computer and Information Science

Conference

ConferenceInternational Conference on Model-Driven Engineering and Software Development
Period11/12/15 → …

Fingerprint

Dive into the research topics of 'Using Patterns to Map OCL Constraints to JML Specifications'. Together they form a unique fingerprint.

Cite this