More than true or false
| Autor: | Frank Hilken, Robert Wille, Nils Przigoda, Rolf Drechsler, Judith Peters, Philipp Niemann |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
UML tool
Programming language Computer science Applications of UML 020207 software engineering 02 engineering and technology computer.software_genre 020202 computer hardware & architecture Consistency (database systems) Unified Modeling Language Null (SQL) Software_SOFTWAREENGINEERING 0202 electrical engineering electronic engineering information engineering Representation (mathematics) Engineering design process computer Object Constraint Language computer.programming_language Verification and validation |
| Zdroj: | MEMOCODE |
| DOI: | 10.1145/3127041.3127053 |
| Popis: | UML/OCL models are used to describe system models in early stages of the design process. In order to detect design flaws in these models as soon as possible (ideally before the implementation phase starts), various methods for the validation and verification of UML/OCL models have been proposed. In particular, automatic solutions (so-called model finders) are of interest here. They provide designers with quick feedback, e. g., on the consistency of their models in a push-button fashion. But thus far, all proposed approaches support a (small) subset of UML/OCL only or employ substantial restrictions. In fact, there are only few solutions that support the extended type system including the irregular values null and invalid - although these values play an important role for covering exceptional cases. Moreover, these solutions either heavily rely on manual interaction or significantly restrict the supported UML/OCL description means. In this work, we propose a generic formal representation of UML/OCL which can be used for the validation and verification of corresponding models and, at the same time, addresses these shortcomings.The resulting representation can be used by various reasoning engines and, hence, eventually allows for the validation and verification of UML/OCL models with irregular values. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|