1. Abstract Machine for Software Process Models
Prescriptive models: Waterfall, Incremental, Spiral
Agile models: Extreme Programming, Scrum
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. More descriptions FSM-based Abstract Machine
State Set: includes all steps of the whole process
Input Set: user requirements, environment, documents, etc.
Output Set: prototypes, versions, documents, etc.
State Function: transitions of states based on input
Output Function: products of states based on input
Goal State: after software release/deployment or acceptance by user.
TODO for Milestone 2
Customize the abstract machine for each chosen model, especially the state function and output function.