Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.
Kristian Bisgaard LassenSimon TjellPublished in: Innov. Syst. Softw. Eng. (2008)
Keyphrases
- sequence diagrams
- reactive systems
- petri net
- class diagram
- coloured petri nets
- requirements analysis
- class diagrams
- goal oriented
- uml models
- formal verification
- activity diagrams
- model checking
- temporal logic
- model based testing
- software development
- information flow
- test cases
- development process
- dependency graph
- intermediate representation
- process model
- object oriented
- information systems
- knowledge intensive
- life cycle
- case study