【24h】

Transformational Design of Business Processes for SOA

机译:SOA业​​务流程的转型设计

获取原文

摘要

By describing business processes in BPEL (Business Process Execution Language) one can make them executable. Then a problem arises how to assure that some non-functional requirements concerning e.g. performance of these processes, are met. In the paper a transformational approach to design of business processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied. The paper contains also an example of applying the proposed approach in a real-life situation.
机译:通过描述BPEL中的业务流程(业务流程执行语言)可以使其可执行。然后出现问题如何确保一些非功能性要求。满足这些过程的性能。在论文中,介绍了业务流程设计的变革方法。要检查由转换产生的业务流程的等价性,则将BPEL描述转换为处理代数(Lotos版本)和应用模型检查技术。本文还包含在现实生活中应用所提出的方法的示例。

著录项

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号