1. Abstract Machine for Software Process Models Milestone 2: State Transition Tables
Formulation of Abstract Machine for SPM
Based on Finite State Machine
Element
Symbol
Description
State Set S
All steps of whole process
Input Set I
External information and Intermediate products
Output Set O
Intermediate and final products
State Function SF
Next State = SF(Input, State)
Output Function OF
Output = OF(Input, State)
Goal State G
After software release or acceptance

2. System Requirement Doc
Waterfall
Current State
Input
Output
Next State
Requirement
User Requirements
Tech Background
Budgets
System Requirement Doc
Design
System Req Doc
Design Doc
Test Doc
Implementation
Revised Design Doc
Revised Test Doc
Software
Verification
Test Report
Verified Software
Deployment
User Manual
Deployed Software
Maintenance

3. Prototype Functionalities
Incremental
Current State
Input
Output
Next State
Analysis
User Communication
Evaluation Report
Prototype Objectives
Design
Prototype Functionalities
Implementation
Previous Prototype
Executable Prototype
Evaluation
Released Software
Delivery

4. Spiral Current State Input Output Next State Planning
User Communication
Objectives & Constraints
Project Plan
Risk Analysis
Resource Info
Prototype
Risk Control
Development
Current-level Product
Evaluation
Evaluation Report
Final Product
Release

5. Extreme Programming Current State Input Output Next State Requirement
User Communication
User Stories
Planning
Tasks
Coding
Bug Report
Tasks & Timing
Program Codes
Testing
Released Software
Evaluation
Bugs from Users
New Requirements
User Acceptance
Final Release

6. Revised Product Backlog
Scrum
Current State
Input
Output
Next State
Planning
Product Backlog
Sprint Backlog
Sprint
Timing
Backlog Refinement
Burn-down Chart
Executable Version
Review
Cancellation
None
User Participation
Revised Product Backlog
Released Version
Final Release