loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Ali Hamie

Affiliation: University of Brighton, United Kingdom

Keyword(s): Constraint Pattern, OCL, JML, Contracts.

Related Ontology Subjects/Areas/Topics: Constraint Modeling and Languages ; Languages, Tools and Architectures ; Model-Driven Software Development ; Software Engineering

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 co rresponding 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.116.90.161

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Hamie, A. (2014). Pattern-based Mapping of OCL Specifications to JML Contracts. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-007-9; ISSN 2184-4348, SciTePress, pages 193-200. DOI: 10.5220/0004698301930200

@conference{modelsward14,
author={Ali Hamie.},
title={Pattern-based Mapping of OCL Specifications to JML Contracts},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2014},
pages={193-200},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004698301930200},
isbn={978-989-758-007-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Pattern-based Mapping of OCL Specifications to JML Contracts
SN - 978-989-758-007-9
IS - 2184-4348
AU - Hamie, A.
PY - 2014
SP - 193
EP - 200
DO - 10.5220/0004698301930200
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic