{"title":"Flexible, adaptable, and compliant business systems with dynamic condition response graphs","authors":"Thomas T. Hildebrandt","doi":"10.1145/2975941.2990287","DOIUrl":null,"url":null,"abstract":"Software systems are increasingly used to support business processes and knowledge workflows within critical areas, including transportation, finance, healthcare and government. The support for such processes, which are at the same time unpredictable and subject to changing legal constraints, calls for flexibility, adaptability and compliancy. In this talk we will present theory and applications of Dynamic Condition Response (DCR) graphs, a formal declarative event-based process language implemented in the commercial web-tool DCRGraphs.net for collaborative process design and simulation and the academic tools dcr.itu.dk. The language and tools are the result of a series of research and PhD projects supported by the danish national research foundations, ITU and Exformatics A/S and the ongoing Computational Artefacts (CompArt.ku.dk) project supported by the Velux foundation.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"150 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2975941.2990287","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Software systems are increasingly used to support business processes and knowledge workflows within critical areas, including transportation, finance, healthcare and government. The support for such processes, which are at the same time unpredictable and subject to changing legal constraints, calls for flexibility, adaptability and compliancy. In this talk we will present theory and applications of Dynamic Condition Response (DCR) graphs, a formal declarative event-based process language implemented in the commercial web-tool DCRGraphs.net for collaborative process design and simulation and the academic tools dcr.itu.dk. The language and tools are the result of a series of research and PhD projects supported by the danish national research foundations, ITU and Exformatics A/S and the ongoing Computational Artefacts (CompArt.ku.dk) project supported by the Velux foundation.
软件系统越来越多地用于支持关键领域的业务流程和知识工作流,包括交通、金融、医疗保健和政府。这些进程同时是不可预测的,并受到不断变化的法律限制的影响,因此需要灵活性、适应性和遵守。在这次演讲中,我们将介绍动态条件响应(DCR)图的理论和应用,DCR图是一种正式的声明式基于事件的过程语言,在商业网络工具DCRGraphs.net和学术工具DCR .itu.dk中实现,用于协作过程设计和仿真。该语言和工具是由丹麦国家研究基金会、ITU和Exformatics a /S支持的一系列研究和博士项目以及由Velux基金会支持的正在进行的计算人工制品(compartu .ku.dk)项目的成果。