发布求助
文献互助 智能选刊 最新文献

Proceedings of the 7th International Conference on Subject-Oriented Business Process Management最新文献

筛选
英文 中文
Modeling for change via component-based decomposition and ASM refinement 通过基于组件的分解和ASM细化为变更建模
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723854
E. Börger, Simone Zenzaro
{"title":"Modeling for change via component-based decomposition and ASM refinement","authors":"E. Börger, Simone Zenzaro","doi":"10.1145/2723839.2723854","DOIUrl":"https://doi.org/10.1145/2723839.2723854","url":null,"abstract":"This paper is part of a larger effort to concretely compare different approaches to modelling and implementing software intensive systems, in particular Business Processes (BPs). We illustrate for the Atm case study [3] how to use the Abstract State Machines Method [10] to develop executable models by a) first defining a high-level (easily changeable and reusable) model that can be checked by the domain expert to capture the requirements and b) then refining this model to executable code which the software expert can check to behave correctly with respect to the requirements model.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121591291","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Tool-based checking of business process models 基于工具的业务流程模型检查
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723848
A. Speck, Sören Witt, Sven Feja, E. Pulvermüller
{"title":"Tool-based checking of business process models","authors":"A. Speck, Sören Witt, Sven Feja, E. Pulvermüller","doi":"10.1145/2723839.2723848","DOIUrl":"https://doi.org/10.1145/2723839.2723848","url":null,"abstract":"Business process models describe the behaviour of commercial information systems. Since these models are the base for the development and understanding of such information systems the business process models are subject of strict quality assurance. Such an importance leads to the idea to support the checking by an automated tool concept. The paper presents such an integrated, tool-based validation concept supporting human testers who are mainly business experts and not test experts. Such business experts may use the process model notations they are familiar with modelling the processes as well as the rules for these models. The automated testing system integrates model checking tools to perform the validation. The result is then presented to the human user. In case of an error detected by the check, a counter example demonstrating one source of the error is presented directly in the business process model.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132927244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Engines supporting the subject-oriented paradigm 支持面向主题范例的引擎
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723851
Clemens Krauthausen, Stefan Krauthausen
{"title":"Engines supporting the subject-oriented paradigm","authors":"Clemens Krauthausen, Stefan Krauthausen","doi":"10.1145/2723839.2723851","DOIUrl":"https://doi.org/10.1145/2723839.2723851","url":null,"abstract":"Subject-orientation is taken as the starting point for the development of concepts for the division of labor and for work contents described by referring to business objects. This is used as the basis for developing an alternative concept for workflow engines. We describe two related kinds of engines, which also complement one another: a Subject Communication Engine and a Subject Task Execution Engine. These engines focus on the acting subjects. Interactions between these engines are based on business objects and action items, which results in a high degree of flexibility, providing stronger support for the employees' personal engagement at the same time.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"285 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131703595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reuse of models in S-BPM process specifications S-BPM流程规范中模型的重用
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723846
P. Forbrig
{"title":"Reuse of models in S-BPM process specifications","authors":"P. Forbrig","doi":"10.1145/2723839.2723846","DOIUrl":"https://doi.org/10.1145/2723839.2723846","url":null,"abstract":"In software engineering it is commonly accepted that reuse of code is very important for productivity and quality. Generic components are one approach that helps in the reuse of already implemented knowledge. Generic components are already available in certain modeling languages (e.g. UML generic classes). However, there is next to no tool support for working with instances of generic components within those editors. This paper presents some ideas regarding how generic components could be introduced to S-BPM. Some of these components can be considered as patterns. Therefore, the paper discusses different views on patterns and their relations to reusable generic component. Additionally, different strategies for adaptation like design time adaptation and runtime adaptation of components are discussed. Requirements for support are finally collected and discussed.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131326404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Towards an open, curious S-BPM community: eliciting stakeholder needs 走向开放、好奇的S-BPM社区:激发涉众的需求
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723863
H. Lerchner
{"title":"Towards an open, curious S-BPM community: eliciting stakeholder needs","authors":"H. Lerchner","doi":"10.1145/2723839.2723863","DOIUrl":"https://doi.org/10.1145/2723839.2723863","url":null,"abstract":"The idea of Open S-BPM has been introduced some time ago. The aim of this idea is to establish a research platform with the focus on S-BPM for all interested stakeholders. However, very little is known about the critical factors necessary for facilitating and supporting a vivid community in general. In addition to this, very little is known about the Subject-oriented Business Process Management (S-BPM) community. This paper reports the results of an explorative, qualitative study on the S-BPM community. The aim of the study was to gain information about the expectations, feelings, needs, and motivations of possible community members in order to answer the question of for whom this community should be designed. Data has been gathered through in-depth interviews. The gained information will be used to identify requirements which will be incorporated in a design concept for the S-BPM community. Communities of practice are efficient tools for knowledge generation and sharing and will be a main constituent in the design concept.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121608315","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An ASM model for the procure to pay case study 采购支付案例研究的ASM模型
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723865
Simone Zenzaro
{"title":"An ASM model for the procure to pay case study","authors":"Simone Zenzaro","doi":"10.1145/2723839.2723865","DOIUrl":"https://doi.org/10.1145/2723839.2723865","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.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125106316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Leveraging CMMN for ACM: examining the applicability of a new OMG standard for adaptive case management 为ACM利用CMMN:检查用于自适应案例管理的新OMG标准的适用性
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723843
M. Kurz, W. Schmidt, A. Fleischmann, Matthias Lederer
{"title":"Leveraging CMMN for ACM: examining the applicability of a new OMG standard for adaptive case management","authors":"M. Kurz, W. Schmidt, A. Fleischmann, Matthias Lederer","doi":"10.1145/2723839.2723843","DOIUrl":"https://doi.org/10.1145/2723839.2723843","url":null,"abstract":"Adaptive case management (ACM) is an increasingly popular approach for supporting knowledge-intensive business processes. Being a new approach, it still lacks a similar degree of standardization as the more established business process management (BPM) approaches. This paper introduces the new Case Management and Model and Notation (CMMN) standard. Based on a set of ACM requirements, the applicability of CMMN for modeling ACM cases is examined thoroughly and extensions improving the ACM support of CMMN are proposed.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"43 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114006742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 38
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management 第七届面向主题的业务流程管理国际会议论文集
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839
J. Ehlers, B. Thalheim
{"title":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","authors":"J. Ehlers, B. Thalheim","doi":"10.1145/2723839","DOIUrl":"https://doi.org/10.1145/2723839","url":null,"abstract":"S-BPM ONE is established as the primary venue of conceptual and practical innovations in the field of Subject-Oriented Business Process Management (S-BPM). Previous conferences unleashed the transition from primarily function-oriented BPM towards stakeholder-driven transformation of organizations. The S-BPM ONE 2015 is the 7th edition of the conference series and focuses on process innovation, particularly based on S-BPM application scenarios. We invite interested researchers and practitioners to contribute their experience and knowledge.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114254861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Next step recommendation and prediction based on process mining in adaptive case management 自适应案例管理中基于流程挖掘的下一步推荐和预测
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723842
Sebastian Huber, Marian Fietta, Sebastian Hof
{"title":"Next step recommendation and prediction based on process mining in adaptive case management","authors":"Sebastian Huber, Marian Fietta, Sebastian Hof","doi":"10.1145/2723839.2723842","DOIUrl":"https://doi.org/10.1145/2723839.2723842","url":null,"abstract":"Adaptive Case Management (ACM) is a new paradigm that facilitates the coordination of knowledge work through case handling. Current ACM systems, however, lack support of providing sophisticated user guidance for next step recommendations and predictions about the case future. In recent years, process mining research developed approaches to make recommendations and predictions based on event logs readily available in process-aware information systems. This paper builds upon those approaches and integrates them into an existing ACM solution. The research goal is to design and develop a prototype that gives next step recommendations and predictions based on process mining techniques in ACM systems. The models proposed, recommend actions that shorten the case running time, mitigate deadline transgressions, support case goals and have been used in former cases with similar properties. They further give case predictions about the remaining time, possible deadline violations, and whether the current case path supports given case goals. A final evaluation proves that the prototype is indeed capable of making proper recommendations and predictions. In addition, starting points for further improvement are discussed.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128703296","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Towards the automated business process building by means of type theory 利用类型理论实现业务流程的自动化构建
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management Pub Date : 2015-04-23 DOI: 10.1145/2723839.2723847
P. Shapkin, A. Marenkov, Leonid D. Shumsky, V. Roslovtsev, Viacheslav Wolfengagen
{"title":"Towards the automated business process building by means of type theory","authors":"P. Shapkin, A. Marenkov, Leonid D. Shumsky, V. Roslovtsev, Viacheslav Wolfengagen","doi":"10.1145/2723839.2723847","DOIUrl":"https://doi.org/10.1145/2723839.2723847","url":null,"abstract":"An approach to automated construction of executable business process models based on formal goal description is proposed. The methodology is founded on the type theory notions which on the one hand give means for logical goal description and its refinement and on the other hand enable to bind this description to the executable program expressed as a composition of computational objects. The proposed methodology covers the whole procedure of the business process construction and enables to minimize the need to involve the IT workforce.","PeriodicalId":311009,"journal":{"name":"Proceedings of the 7th International Conference on Subject-Oriented Business Process Management","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133637802","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信