Using Alloy in process modelling

@article{Wallace2003UsingAI,
  title={Using Alloy in process modelling},
  author={Chris Wallace},
  journal={Information & Software Technology},
  year={2003},
  volume={45},
  pages={1031-1043}
}
In this paper we examine the uses that the analysable language Alloy can play in Process modelling. We explore its application to descriptions of the organisation and its rules, to the description of processes and in the meta-modelling of process models. 1 Organisational Modelling The task of understanding organisations, their structures and processes, sufficiently well to engage in organisational design or redesign with confidence is daunting. Analysts must draw on many perspectives, their… CONTINUE READING