An ASM model for the procure to pay case study
Simone Zenzaro · 2015
This paper describes a model for the p2p [3] case study using the ASM method [2]. We show how the model clearly distinguishes between the different activities that are part of the process. The model also abstracts from scheduling policies and details contained in the requirements yet providing a precise description that captures them. Finally we highlight some points in which refinements can easily adapt the model to requirements changes.