{"title":"扩展的面向主题的业务流程管理执行语义","authors":"André Wolski, Stephan Borgert, L. Heuser","doi":"10.1145/3329007.3332706","DOIUrl":null,"url":null,"abstract":"The Subject-oriented Business Process Management (S-BPM) paradigm provides concepts and methods to support the development of in- and inter-organizational parallel and distributed processes. S-BPM Process Models are directly executable and formal execution semantics enable different software development teams to develop S-BPM engines with equivalent execution behavior. We did a state of the art analysis of existing formal S-BPM execution semantics and analyzed the required language elements of an advanced smart energy grid Process Model. We extended an existing Abstract State Machines (ASM) specification to close the identified specification gaps.","PeriodicalId":254563,"journal":{"name":"International Conference on Subject-Oriented Business Process Management","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"An extended subject-oriented business process management execution semantics\",\"authors\":\"André Wolski, Stephan Borgert, L. Heuser\",\"doi\":\"10.1145/3329007.3332706\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Subject-oriented Business Process Management (S-BPM) paradigm provides concepts and methods to support the development of in- and inter-organizational parallel and distributed processes. S-BPM Process Models are directly executable and formal execution semantics enable different software development teams to develop S-BPM engines with equivalent execution behavior. We did a state of the art analysis of existing formal S-BPM execution semantics and analyzed the required language elements of an advanced smart energy grid Process Model. We extended an existing Abstract State Machines (ASM) specification to close the identified specification gaps.\",\"PeriodicalId\":254563,\"journal\":{\"name\":\"International Conference on Subject-Oriented Business Process Management\",\"volume\":\"44 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Subject-Oriented Business Process Management\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3329007.3332706\",\"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/3329007.3332706","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An extended subject-oriented business process management execution semantics
The Subject-oriented Business Process Management (S-BPM) paradigm provides concepts and methods to support the development of in- and inter-organizational parallel and distributed processes. S-BPM Process Models are directly executable and formal execution semantics enable different software development teams to develop S-BPM engines with equivalent execution behavior. We did a state of the art analysis of existing formal S-BPM execution semantics and analyzed the required language elements of an advanced smart energy grid Process Model. We extended an existing Abstract State Machines (ASM) specification to close the identified specification gaps.