Consistency checking between use case scenarios and UML sequence diagrams.
Kamila BartschMike RobeyJim IvinsChiou Peng LamPublished in: IASTED Conf. on Software Engineering (2004)
Keyphrases
- sequence diagrams
- consistency checking
- activity diagrams
- class diagrams
- class diagram
- uml models
- petri net
- intermediate representation
- query answering
- test cases
- temporal constraints
- regression testing
- model based testing
- uml class diagrams
- temporal reasoning
- object oriented
- object oriented systems
- dependency graph
- requirements analysis
- case study
- operational semantics
- integrity constraints