F
Frank Hilken
Researcher at University of Bremen
Publications - 38
Citations - 409
Frank Hilken is an academic researcher from University of Bremen. The author has contributed to research in topics: Object Constraint Language & Unified Modeling Language. The author has an hindex of 13, co-authored 38 publications receiving 381 citations.
Papers
More filters
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics
TL;DR: The automatic transformation of a UML and OCL model with invariants and preand postconditions into an equivalent model with only invariants is described, which can be employed for automatically constructing dynamic test scenarios and for checking temporal properties.
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.
Martin Gogolla,Frank Hilken +1 more
TL;DR: The USE tool as mentioned in this paper is a modern instance finder for UML and OCL models based on an implementation of relational logic and presents the results and findings from the tool, along with use cases for model exploration, validation and verification.
Journal ArticleDOI
Testing models and model transformations using classifying terms
TL;DR: It is shown how the concept of classifying terms, which are general OCL terms on a class model enriched with OCL constraints can be effectively used in combination with Tracts for testing both directional and bidirectional model transformations and for analyzing their behavior.
Journal ArticleDOI
Achieving model quality through model validation, verification and exploration
TL;DR: In this paper, the authors introduce and structure essential use cases for model validation, verification and exploration that help developers find faults in model descriptions and thus enhance model quality, and demonstrate a modern instance finder for UML and OCL models based on an implementation of relational logic and present the results and findings from the tool.
Book ChapterDOI
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
TL;DR: Two verification approaches for UML and OCL behavioral models are considered and their methods and the respective workflows are compared with each other to achieve a better understanding of the advantages and disadvantages of these verification methods.