Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

Roa J.; Chiotti O.; Villarreal P.

首页> 外文期刊>Information and software technology >Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

【24h】

Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

机译：行为反模式规范，用于验证区块结构的协作业务流程

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Context: The verification of the control flow of a Collaborative Business Process (CBP) is important when developing cross-organizational systems, since the control flow defines the behavior of the cross organizational collaboration. Behavioral anti-patterns have been proposed to improve the performance of formal verification methods. However, a systematic approach for the discovery and specification of behavioral anti-patterns of CBPs has not been proposed so far.

机译：上下文：在开发跨组织系统时，对协作业务流程（CBP）控制流的验证很重要，因为控制流定义了跨组织协作的行为。行为反模式已被提出来改善形式验证方法的性能。但是，到目前为止，尚未提出用于发现和指定CBP行为反模式的系统方法。

著录项

来源
《Information and software technology》 |2016年第july期|148-170|共23页
作者
Roa J.; Chiotti O.; Villarreal P.;
展开▼
作者单位

UTN FRSF CONICET, Lavaisse 610, Santa Fe, Argentina;

INGAR CONICET, Avellaneda 3657, Santa Fe, Argentina;

UTN FRSF CONICET, Lavaisse 610, Santa Fe, Argentina;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Anti-patterns; Collaborative Business Processes; Verification; Formal methods; Control flow; Behavior; Cross-organizational collaborations;

机译：反模式;协作业务流程;验证;正式方法;控制流;行为;跨组织协作;

相似文献

外文文献
中文文献
专利

1. TOWARDS AGENT-BASED MODELING AND VERIFICATION OF COLLABORATIVE BUSINESS PROCESSES: AN APPROACH CENTERED ON INTERACTIONS AND BEHAVIORS [J] . MARCO STUIT, NICK B. SZIRBIK International Journal of Cooperative Information Systems . 2009,第3a4期

机译：基于代理的协作业务过程建模和验证：以交互和行为为中心的方法
2. The application of interoperability requirement specification and verification to collaborative processes in industry [J] . S. Mallek, N. Daclin, V. Chapurlat Computers in Industry . 2012,第7期

机译：互操作性需求规范和验证在行业协作过程中的应用
3. A rigorous methodology for specification and verification of business processes [J] . Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Formal Aspects of Computing . 2009,第5期

机译：规范和验证业务流程的严格方法
4. Specification and Verification of Artifact Behaviors in Business Process Models [C] . Cagdas E. Gerede, Jianwen Su International Conference on Service-Oriented Computing(ICSOC 2007); 20070917-20; Vienna(AT) . 2007

机译：业务流程模型中工件行为的规范和验证
5. Specification and semi-automated verification of coordination protocols for collaborative software systems [D] . Navon, Jaime C. 2005

机译：协作软件系统的协调协议的规范和半自动验证
6. Thorough Specification of the Neurophysiologic Processes Underlying Behavior and of Their Manifestation in EEG – Demonstration with the Go/No-Go Task [O] . Goded Shahaf, Hillel Pratt 2013

机译：行为及其在EEG中表现出来的神经生理过程的全面规范-通过执行/不执行任务进行演示
7. TOWARDS AGENT-BASED MODELING AND VERIFICATION OF COLLABORATIVE BUSINESS PROCESSES: AN APPROACH CENTERED ON INTERACTIONS AND BEHAVIORS [O] . Marco Stuit, Nick B. Szirbik 2010

机译：基于代理的协作业务流程建模和验证：以交互和行为为中心的方法

Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

摘要

著录项

相似文献

相关主题

期刊订阅