利用类型理论实现业务流程的自动化构建

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":"利用类型理论实现业务流程的自动化构建","authors":"P. Shapkin, A. Marenkov, Leonid D. Shumsky, V. Roslovtsev, Viacheslav Wolfengagen","doi":"10.1145/2723839.2723847","DOIUrl":null,"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.0000,"publicationDate":"2015-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"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\":null,\"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.0000,\"publicationDate\":\"2015-04-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"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.2723847\",\"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.2723847","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

提出了一种基于形式化目标描述的可执行业务流程模型的自动构造方法。该方法建立在类型理论概念的基础上，它一方面提供了逻辑目标描述及其细化的手段，另一方面使这种描述能够与作为计算对象组合表示的可执行程序绑定。所建议的方法涵盖了业务流程构建的整个过程，并能够最大限度地减少涉及IT工作人员的需求。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Towards the automated business process building by means of type theory

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 7th International Conference on Subject-Oriented Business Process Management

自引率

0.00%

发文量