{"title":"ALPS中的Sisi: PASS的简单仿真与验证方法","authors":"Matthes Elstermann, J. Ovtcharova","doi":"10.1145/3178248.3178262","DOIUrl":null,"url":null,"abstract":"Originally developed as a simple static computation tool (Simple Sim - SiSi), in this paper we describe the principle behind a pragmatic approach that is not only practical for simple calculation of lead times for process models in Abstract Layered PASS (ALPS), but also can serve as tool of structural soundness verification for the distributed and somewhat fractured descriptions of this subject-oriented process modeling language. It is the foundation for the first deployed tool that can handle soundness verification all of PASS including the multi-subject construct.","PeriodicalId":254563,"journal":{"name":"International Conference on Subject-Oriented Business Process Management","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Sisi in the ALPS: A Simple Simulation and Verification Approach for PASS\",\"authors\":\"Matthes Elstermann, J. Ovtcharova\",\"doi\":\"10.1145/3178248.3178262\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Originally developed as a simple static computation tool (Simple Sim - SiSi), in this paper we describe the principle behind a pragmatic approach that is not only practical for simple calculation of lead times for process models in Abstract Layered PASS (ALPS), but also can serve as tool of structural soundness verification for the distributed and somewhat fractured descriptions of this subject-oriented process modeling language. It is the foundation for the first deployed tool that can handle soundness verification all of PASS including the multi-subject construct.\",\"PeriodicalId\":254563,\"journal\":{\"name\":\"International Conference on Subject-Oriented Business Process Management\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-04-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Subject-Oriented Business Process Management\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3178248.3178262\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Subject-Oriented Business Process Management","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3178248.3178262","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Sisi in the ALPS: A Simple Simulation and Verification Approach for PASS
Originally developed as a simple static computation tool (Simple Sim - SiSi), in this paper we describe the principle behind a pragmatic approach that is not only practical for simple calculation of lead times for process models in Abstract Layered PASS (ALPS), but also can serve as tool of structural soundness verification for the distributed and somewhat fractured descriptions of this subject-oriented process modeling language. It is the foundation for the first deployed tool that can handle soundness verification all of PASS including the multi-subject construct.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
