Formalising Feasibility and Correctness of Distributed Business Processes

机译：正式制定分布式业务流程的可行性和正确性

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

A distributed business process organizes activities by several enterprises to fulfill a given business goal. The purpose of this paper is to formalise what it means for such a process to be feasible (possible to carry out given the resources delegated for its execution) and for a feasible process to be correct (satisfying a given business goal), using customer-driven manufacturing as a particular, although broadly defined business area. Possible applications are: formal analysis of business processes, providing formal semantics to process modelling languages, and specification and rigorous development of business-support software.

机译：分布式业务流程组织了多个企业的活动，以实现给定的业务目标。本文的目的是通过使用客户-来正式定义对于这样的过程而言可行的（对于给定的执行资源，可以执行）和对于可行的过程而言正确的（满足给定的业务目标）意味着什么。尽管定义了广泛的业务领域，但仍将驱动制造业作为一个特定领域。可能的应用包括：对业务流程进行形式化分析，为流程建模语言提供形式化语义，以及规范和严格开发业务支持软件。

著录项

来源
《ER 2001 Workshops on HUMACS, DASWIS, ECOMO, and DAMA, Nov 27-30, 2001, Yokohama, Japan》|2001年|p.432-443|共12页
会议地点 Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP);Yokohama(JP)
作者
Tomasz Janowski; Adegboyega Ojo;
展开▼
作者单位

The United Nations University International Institute for Software Technology P.O. Box 3058, Macau;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Employees' agency in the formalisation of knowledge-intensive business service processes A cross-case comparison [J] . Tuominen Tiina, Martinsuo Miia Journal of Service Theory and Practice . 2019,第1期

机译：员工机构在知识密集型的商业服务的形式化中，流程进程跨案例比较
2. Toward a correct and optimal time-aware cloud resource allocation to business processes [J] . Rania Ben Halima, Slim Kallel, Walid Gaaloul, Future generation computer systems . 2020,第Nova期

机译：朝着正确和最佳的时间感知云资源分配给业务流程
3. A Correctness Checking Approach for Collaborative Business Processes in the Cloud [J] . Qi Mo, Yuqi Wang, Jixiang Xiang, Complexity . 2020,第1期

机译：云中协作业务流程的正确性检查方法
4. Formalising Feasibility and Correctness of Distributed Business Processes [C] . Tomasz Janowski, Adegboyega Ojo, Lecture Notes in Computer Science 2465 Workshops on conceptual modeling . 2002

机译：分布式业务流程的正规化可行性和正确性
5. Engineering exception-handling policies for multiagent systems to enhance operational effectiveness of distributed business processes. [D] . Odubiyi, Jide Bababode. 2003

机译：用于多主体系统的工程异常处理策略，以增强分布式业务流程的运营效率。
6. Enforcement of entailment constraints in distributed service-based business processes [O] . Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, -1

机译：在基于分布式服务的业务流程中强制包含约束
7. Verifying the correct composition of distributed components: Formalisation and Tool [O] . Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, 2015

机译：验证分布式组件的正确组成：形式化和工具

Formalising Feasibility and Correctness of Distributed Business Processes

摘要

著录项

相似文献

相关主题

期刊订阅