Pattern-Based Mapping of OCL Specifications to JML Contracts

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

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. However, since OCL constraints cannot be directly executed and checked at runtime by an implementation, constraints violations may not be detected or noticed causing many potential development and maintenance problems. This paper describes an approach for deriving a JML specification for a java implementation (a contract) from a specification written in UML and augmented with OCL constraints. This facilitates the checking of OCL constraints at runtime by translating them to JML executable assertions. The approach is based on the concept of constraint patterns that enable the reuse of commonly occurring constraints within a given context in software modelling. Each OCL constraint pattern would be mapped to a corresponding JML pattern that can be used in the translation process. The result is a library of JML constraint patterns that provides a seamless transition from UML/OCL designs to Java implementations.
Original languageEnglish
Title of host publicationMODELSWARD 2014: 2nd International Conference on Model-Driven Engineering and Software Development
Place of PublicationPortugal
PublisherINSTICC ScitePress
Pages1-8
Number of pages8
ISBN (Print)978989758007
Publication statusPublished - 1 Jan 2015
EventMODELSWARD 2014: 2nd International Conference on Model-Driven Engineering and Software Development - Lisbon, Portugal, 7-9 Jan 2014
Duration: 1 Jan 2015 → …

Publication series

NameInternational Conference on Model-Driven Engineering and Software Development

Conference

ConferenceMODELSWARD 2014: 2nd International Conference on Model-Driven Engineering and Software Development
Period1/01/15 → …

Keywords

  • Constraint Pattern
  • OCL
  • JML
  • Contracts

Fingerprint Dive into the research topics of 'Pattern-Based Mapping of OCL Specifications to JML Contracts'. Together they form a unique fingerprint.

  • Cite this

    Hamie, A. (2015). Pattern-Based Mapping of OCL Specifications to JML Contracts. In MODELSWARD 2014: 2nd International Conference on Model-Driven Engineering and Software Development (pp. 1-8). (International Conference on Model-Driven Engineering and Software Development). INSTICC ScitePress. http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31308&copyownerid=619