{"title":"采购支付案例研究的ASM模型","authors":"Simone Zenzaro","doi":"10.1145/2723839.2723865","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"An ASM model for the procure to pay case study\",\"authors\":\"Simone Zenzaro\",\"doi\":\"10.1145/2723839.2723865\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":311009,\"journal\":{\"name\":\"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-04-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2723839.2723865\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2723839.2723865","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.