Four-Valued Logic in UML/OCL Models: A 'Playground' for the MVL Community

Nils Przigoda, Judith Przigoda, Robert Wille

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The Unified Modeling Language (UML) together with the Object Constraint Language (OCL) are the description means for modeling and specifying, e. g., software systems in early stages of the design. They allow to define components, their relations, and constraints of a system while, at the same time, hide precise implementation details. Despite providing a 'blueprint' for the desired systems, UML/OCL descriptions also allow for an early validation and verification of the design. However, an often overseen feature of UML/OCL is that it explicitly allows for the consideration of irregular variables assignments such as null and invalid-yielding a four-valued logic in the current UML/OCL version. In this tutorial, we provide an overview on this feature and the resulting four-valued UML/OCL logic. More precisely, we are providing a review of the corresponding description means as well as existing methods that allow for a validation and verification of the corresponding models. By this, we are aiming to introduce those UML/OCL descriptions and methods to the MVL community in order to trigger new directions for research and application.

Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019
PublisherIEEE Computer Society
Pages61-66
Number of pages6
ISBN (Electronic)9781728100913
DOIs
StatePublished - May 2019
Externally publishedYes
Event49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019 - Fredericton, Canada
Duration: 21 May 201923 May 2019

Publication series

NameProceedings of The International Symposium on Multiple-Valued Logic
Volume2019-May
ISSN (Print)0195-623X

Conference

Conference49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019
Country/TerritoryCanada
CityFredericton
Period21/05/1923/05/19

Keywords

  • MVL
  • UML/OCL

Fingerprint

Dive into the research topics of 'Four-Valued Logic in UML/OCL Models: A 'Playground' for the MVL Community'. Together they form a unique fingerprint.

Cite this