King's College London

Research portal

Null considered harmful (for transformation verication)

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
PublisherCEUR-WS
Pages26-35
Number of pages10
Volume1325
Publication statusPublished - 2014
Event3rd International Workshop on Verification of Model Transformations, VOLT 2014 - York, United Kingdom
Duration: 21 Jul 201421 Jul 2014

Conference

Conference3rd International Workshop on Verification of Model Transformations, VOLT 2014
CountryUnited Kingdom
CityYork
Period21/07/201421/07/2014

Links

King's Authors

Abstract

The use of explicit null and invalid values in OCL can lead to complex and hard-to-verify specifications. In addition, these values complicate the logic of OCL and of transformation languages that use OCL, making it difficult to provide effective verification support for these languages. We define an alternative technique for using OCL with UML and model transformations which avoids the use of null and undefined values, and we present verification techniques for a transformation language, UML-RSDS, based on this approach.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454