TY - GEN
T1 - Four-Valued Logic in UML/OCL Models
T2 - 49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019
AU - Przigoda, Nils
AU - Przigoda, Judith
AU - Wille, Robert
N1 - Publisher Copyright:
© 2019 IEEE.
PY - 2019/5
Y1 - 2019/5
N2 - 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.
AB - 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.
KW - MVL
KW - UML/OCL
UR - http://www.scopus.com/inward/record.url?scp=85069192147&partnerID=8YFLogxK
U2 - 10.1109/ISMVL.2019.00019
DO - 10.1109/ISMVL.2019.00019
M3 - Conference contribution
AN - SCOPUS:85069192147
T3 - Proceedings of The International Symposium on Multiple-Valued Logic
SP - 61
EP - 66
BT - Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019
PB - IEEE Computer Society
Y2 - 21 May 2019 through 23 May 2019
ER -