á Goals vs non-goals (objective vs realization)
á Softgoals vs hard (functional) goals
á Constructing goal models
á KAOS goal mdeling
á KAOS vs i*
Detailed Behavioral modeling:
á States (simple, complex)
- Hierarchical vs concurrent
- Activity states (entry, internal action, exit)
- Consistency checks
á Transitions (guard, events, action lists)
á SCR: be able to create the 3 different types of tables from property specifications
á SCR <-> State diagram
á Difference/commonalities between SCR and state machine models (when should you use what?)
á Consistency analysis?
á Model Checking Basics
- What does it mean?
- What kinds of specification languages are used? How do they differ from propositional logic.
- Challenge with Model checking?
Prioritizing Requirements (negotiation, etc.)
Create goal model
Create use case diagram from goal model
Create sequence diagram for use case
Create state diagram for a collection of sequence diagram.