Using Patterns to Map OCL Constraints to JML Specifications

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. 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

Specifications

Cite this

Hamie, A. (2015). Using Patterns to Map OCL Constraints to JML Specifications. In International Conference on Model-Driven Engineering and Software Development (Vol. 506, pp. 35-48). (Communications in Computer and Information Science). Switzerland: Springer International. https://doi.org/10.1007/978-3-319-25156-1_3
Hamie, Ali. / Using Patterns to Map OCL Constraints to JML Specifications. International Conference on Model-Driven Engineering and Software Development. Vol. 506 Switzerland : Springer International, 2015. pp. 35-48 (Communications in Computer and Information Science).
@inproceedings{9734056ff1d94854b52de143c6b9fa8a,
title = "Using Patterns to Map OCL Constraints to JML Specifications",
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.",
author = "Ali Hamie",
year = "2015",
month = "12",
day = "11",
doi = "10.1007/978-3-319-25156-1_3",
language = "English",
isbn = "9783319251554",
volume = "506",
series = "Communications in Computer and Information Science",
publisher = "Springer International",
pages = "35--48",
booktitle = "International Conference on Model-Driven Engineering and Software Development",

}

Hamie, A 2015, Using Patterns to Map OCL Constraints to JML Specifications. in International Conference on Model-Driven Engineering and Software Development. vol. 506, Communications in Computer and Information Science, Springer International, Switzerland, pp. 35-48, International Conference on Model-Driven Engineering and Software Development, 11/12/15. https://doi.org/10.1007/978-3-319-25156-1_3

Using Patterns to Map OCL Constraints to JML Specifications. / Hamie, Ali.

International Conference on Model-Driven Engineering and Software Development. Vol. 506 Switzerland : Springer International, 2015. p. 35-48 (Communications in Computer and Information Science).

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

TY - GEN

T1 - Using Patterns to Map OCL Constraints to JML Specifications

AU - Hamie, Ali

PY - 2015/12/11

Y1 - 2015/12/11

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-25156-1_3

DO - 10.1007/978-3-319-25156-1_3

M3 - Conference contribution with ISSN or ISBN

SN - 9783319251554

VL - 506

T3 - Communications in Computer and Information Science

SP - 35

EP - 48

BT - International Conference on Model-Driven Engineering and Software Development

PB - Springer International

CY - Switzerland

ER -

Hamie A. Using Patterns to Map OCL Constraints to JML Specifications. In International Conference on Model-Driven Engineering and Software Development. Vol. 506. Switzerland: Springer International. 2015. p. 35-48. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-319-25156-1_3