Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping.
Frank HilkenMartin GogollaPublished in: DSD (2016)
Keyphrases
- class diagrams
- uml class diagrams
- class diagram
- linear temporal logic
- sequence diagrams
- model checking
- uml diagrams
- object oriented
- activity diagrams
- temporal logic
- description logics
- intermediate representation
- reverse engineering
- petri net
- software design
- modeling language
- tool support
- software artifacts
- constraint language
- software engineering