Goal modeling: outline  Goal features as model annotations  Goal refinement  Capturing conflicts among goals  Connecting the goal model with other system views  Capturing alternative options  Goal diagrams as AND/OR graphs  Documenting goal refinements & assignments with annotations  Building goal models: heuristic rules & reusable patterns
{"Image DocumentName": "Goal features are specified in model annotations", "Image ImageDescription": "DoorsClosedWhileMoving. Goal Maintain [DoorsClosedWhileMoving] Def All train doors shall be kept closed at any time. when the train is moving. [ FormalSpec ... in temporal logic for analysis, not in this chapter ... ] [ Category Safety ] [ Priority Highest ] [ Source From interview with railway engineer X ... ] annotation. precise definition. features.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}