Many interesting topics can be explored further:

(1) For a specific application you can construct the abstract machine specification. You can start from the more abstract specification and then replace the generic operators by customized operators and finally show the computation model and illustrate by a scenario how this computation model works (using SIS tesbed).

(2) The multi-cycle software process is a generalization of the previous software models including the water-fall model, the rapid prototyping model, the agile iternation model and the spiral model. You can specify the various software models using the abstract machine model.

(3) You can specify the environment model consisting of various types of variables:
domain variable
temporal variable
spatial variable
The environment model can itself be an Abstract Machine capable of detecting both anticipated changes and unanticipated changes.