A CTL-based OCL extension using CPN ML for UML validation.
Miloud BennamaThouraya Bouabana-TebibelPublished in: Int. J. Crit. Comput. Based Syst. (2016)
Keyphrases
- sequence diagrams
- petri net
- uml diagrams
- metamodel
- uml class diagrams
- modeling language
- model based testing
- tool support
- computation tree logic
- constraint language
- temporal logic
- class diagram
- maximum likelihood
- class diagrams
- software design
- model checking
- development process
- uml models
- software systems
- design patterns
- test cases
- object oriented
- unified modeling language
- formal methods
- formal specification
- database design
- software development
- software engineering
- object oriented modeling
- multi agent systems
- uml activity diagrams
- temporal properties
- conceptual models
- test bed
- integrity constraints
- software architecture
- data model