Proceedings Article10.1145/967900.968206
Translating the Object Constraint Language into the Java Modelling Language
Ali Hamie
- 14 Mar 2004
- pp 1531-1535
47
TL;DR: This paper defines a translation of OCL expressions and constraints into the Java Modelling Language to be able to map UML object-oriented designs with OCL constraints to Java classes and interfaces annotated with JML specifications.
read more
Abstract: The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams Typical constraints include class invariants and preconditions and postconditions of operations The Java Modelling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces This paper defines a translation of OCL expressions and constraints into the Java Modelling Language The objective of this translation is to be able to map UML object-oriented designs with OCL constraints to Java classes and interfaces annotated with JML specifications, and to carry out logical reasoning about such classes and interfaces using JML tools which include a run time assertion checker and an interactive prover based on PVS
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Translating between Alloy specifications and UML class diagrams annotated with OCL
TL;DR: This paper presents a model transformation from Alloy to UML class diagrams annotated with OCL (UML+OCL) and shows how an existing transformation from UML+ OCL to Alloy can be improved to handle dynamic issues.
Executable visual contracts
Marc Lohmann,Stefan Sauer,Gregor Engels +2 more
- 20 Sep 2005
TL;DR: A mapping of visual contracts into Java classes that are annotated with behavioral interface specifications in the Java modeling language (JML) is defined, which supports testing the correctness of the implementation against the specification using JML tools, which include a runtime assertion checker.
36
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
Marc Lohmann,Leonardo Mariani,Reiko Heckel +2 more
- 01 Jan 2007
TL;DR: Service-oriented computing is distinguished by its use of dynamic discovery and binding for the integration of services at runtime, which poses a challenge for testing, in particular of the interaction between services.
32
•Proceedings Article
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking
Carmen Avila,Guillermo Flores,Yoonsik Cheon +2 more
- 01 Dec 2008
TL;DR: This paper proposes an approach to checking OCL constraints at runtime by translating them to executable JML assertions, and facilitates a seamless transition from OCL-based designs to Java implementations.
Checking of conceptual models with integrity constraints
TL;DR: The methodology for checking of conceptual models is proposed as the step-wise pro-cess during which model elements including integrity constraints are progressively checked for their adequacy to values of objects, their relationships and constraints of the corresponding problem domain.
References
•Book
The unified modeling language reference manual
James Rumbaugh,Ivar Jacobson,Grady Booch +2 more
- 01 Dec 1998
TL;DR: This title provides expert knowledge on all facets of today's UML standard, helping developers who are encountering UML on the job for the first time to be more productive.
4.9K
•Book
Systematic software development using VDM
Cliff B. Jones
- 01 Jun 1986
TL;DR: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
2.1K
A Runtime Assertion Checker for the Java Modeling Language (JML)
Yoonsik Cheon
- 01 Jan 2003
TL;DR: A runtime assertion checker for the Java Modeling Language (JML) that helps in assigning blame during debugging and in automatic generation of test oracles, which represents a significant advance over the current state of the art.
271
On the frame problem in procedure specifications
TL;DR: A recent proposal for a solution to the frame problem in artificial intelligence-the notion of explanation closure axioms-is adapted to provide an approach whereby one can state such conditions succinctly and modularly, with the added advantage of having the specifier be reminded of things that she may have omitted saying in procedure specifications.