Four-Valued Logic in UML/OCL Models: A 'Playground' for the MVL Community
| Autor: | Robert Wille, Judith Przigoda, Nils Przigoda |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
010302 applied physics
Computer science Programming language 02 engineering and technology computer.software_genre 01 natural sciences 020202 computer hardware & architecture Unified Modeling Language Null (SQL) Software_SOFTWAREENGINEERING Blueprint 0103 physical sciences 0202 electrical engineering electronic engineering information engineering Feature (machine learning) Software system Four-valued logic computer Object Constraint Language computer.programming_language |
| Zdroj: | ISMVL |
| DOI: | 10.1109/ismvl.2019.00019 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|