UML behavioral consistency checking using instantiable Petri nets.
Yann Thierry-MiegLom-Messan HillahPublished in: Innov. Syst. Softw. Eng. (2008)
Keyphrases
- petri net
- consistency checking
- sequence diagrams
- petri net model
- discrete event systems
- query answering
- temporal constraints
- temporal reasoning
- fuzzy petri net
- software systems
- colored petri nets
- stochastic petri net
- formal methods
- object oriented
- ims ld
- database design
- regression testing
- database
- service composition
- constraint satisfaction problems
- software development
- relational databases
- video sequences