Extending OCL with Null-References

Brucker, Achim D.; Krieger, Matthias P.; Wolff, Burkhart

doi:10.1007/978-3-642-12261-3_25

Cited by 9 publications

(12 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A disadvantage of many formalisms is that they are based on a two-valued first-order or relational logic, in contrast to the 3-valued logic of OCL used in UML. However, the complexity of the full OCL value system, involving both invalid and null values, and its lack of clear semantics, means that tools which do attempt to handle full OCL necessarily make specific assumptions about the semantics, which may not match the specifier's intentions [11].…”

Section: Transformation Verification Toolsmentioning

confidence: 99%

“…There has been considerable work on the formalisation of OCL and UML for semantic analysis [2,10,11,47]. The complexity of modelling OCL null and invalid , together with inconsistencies in the OCL semantic definitions of these values, means that systems such as [11] must make additional assumptions to provide a reasoning framework for full OCL.…”

Section: Related Workmentioning

confidence: 99%

“…The complexity of modelling OCL null and invalid , together with inconsistencies in the OCL semantic definitions of these values, means that systems such as [11] must make additional assumptions to provide a reasoning framework for full OCL. Instead, we choose to rule out such values completely and to work with classical logic, which has the advantage of unambiguity and the existence of many powerful proof and analysis tools.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

A framework for model transformation verification

2015

View full text Add to dashboard Cite

Abstract. A model transformation verification task may involve a number of different transformations, from one or more of a wide range of different model transformation languages, each transformation may have a particular transformation style, and there are a number of different verification properties which can be verified for each language and style of transformation. Transformations may operate upon many different modelling languages. This diversity of languages and properties indicates the need for a suitably generic framework for model transformation verification, independent of particular model transformation languages, and able to provide support for systematic procedures for verification across a range of languages, and for a range of properties. In this paper we describe the elements of such a framework, and apply this framework to a range of transformation verification problems. Our particular contributions are (i) languageindependent verification techniques based around the concepts of transformation invariants and variants; (ii) language-independent representation metamodels for transformation specifications and implementations, (iii) mappings from these representations to the B and Z3 formalisms, (iv) the use of transformation patterns to facilitate verification. The paper is novel in covering a wide range of different verification techniques for a wide range of MT languages, within an integrated framework.

show abstract

Section: Transformation Verification Toolsmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A framework for model transformation verification

2015

View full text Add to dashboard Cite

show abstract

“…The work presented here is based on the previous work on a formal UML/OCL semantics [7,11] and attempts to develop, in contrast to prior works such as [4], a comprehensive test-generation method for the complete language and for realistic test-scenarios. Overall, our contribution consists in:…”

Section: Introductionmentioning

confidence: 99%

“…In this section, we briefly present a formal semantics for OCL 2.2 [20], see [7] for details. With respect to the syntax, we use the mathematical notation of HOL-OCL [8] which allows for a concise presentation of OCL constraints.…”

Section: A Gentle Introduction To a Formal Ocl 2semanticsmentioning

confidence: 99%

A Specification-Based Test Case Generation Method for UML/OCL

Brucker¹,

Krieger

Longuet

et al. 2011

Models in Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Automated test data generation is an important method for the verification and validation of UML/OCL specifications. In this paper, we present an extension of DNF-based test case generation methods to class models and recursive query operations on them. A key feature of our approach is an implicit representation of object graphs avoiding a representation based on object-id's; thus, our approach avoids the generation of isomorphic object graphs by using a concise and still human-readable symbolic representation.

show abstract

Object Constraint Language (OCL): A Definitive Guide

Cabot

Gogolla

2012

Lecture Notes in Computer Science

119

View full text Add to dashboard Cite

Abstract. The Object Constraint Language (OCL) started as a complement of the UML notation with the goal to overcome the limitations of UML (and in general, any graphical notation) in terms of precisely specifying detailed aspects of a system design. Since then, OCL has become a key component of any model-driven engineering (MDE) technique as the default language for expressing all kinds of (meta)model query, manipulation and specification requirements. Among many other applications, OCL is frequently used to express model transformations (as part of the source and target patterns of transformation rules), well-formedness rules (as part of the definition of new domain-specific languages), or code-generation templates (as a way to express the generation patterns and rules).This chapter pretends to provide a comprehensive view of this language, its many applications and available tool support as well as the latest research developments and open challenges around it.

show abstract

Extending OCL with Null-References

Cited by 9 publications

References 9 publications

A framework for model transformation verification

A framework for model transformation verification

A Specification-Based Test Case Generation Method for UML/OCL

Object Constraint Language (OCL): A Definitive Guide

Contact Info

Product

Resources

About