首页> 外文OA文献 >Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound

【2h】

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound

机译：使用线性逻辑基于中间化工作流网的SOA模型中的要求方案验证要求的方案

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kênia Santos de Oliveira; Vinícius Ferreira de Oliveira; Stéphane Julia;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants [J] . H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede The Computer journal . 2007,第3期

机译：验证具有取消区域和“或”连接的工作流：一种基于松弛的稳健性和不变性的方法
2. Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets [J] . Wei Liu, Yuyue Du, Haichun Sun Information Technology Journal . 2009,第6期

机译：受T限制的组织间逻辑工作流网的健全性分析
3. Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets [J] . Wei Liu, Yuyue Du, Haichun Sun Information Technology Journal . 2009,第6期

机译：受T限制的组织间逻辑工作流网的健全性分析
4. Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound [C] . Kenia Santos de Oliveira, Vinicius Ferreira de Oliveira, Stephane Julia International Conference on Enterprise Information Systems . 2017

机译：使用线性逻辑基于中间化工作流网的SOA模型中的要求方案验证要求的方案
5. A logic based approach to use case based requirement verification and domain model improvement. [D] . Nair, Divya K. 2007

机译：一种基于逻辑的方法，用于基于用例的需求验证和域模型改进。
6. The Equivalency between Logic Petri Workflow Nets and Workflow Nets [O] . Jing Wang, ShuXia Yu, YuYue Du 2015

机译：逻辑Petri工作流网和工作流网之间的等效性
7. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants [O] . Verbeek H.M.W., van der Aalst Wil M., ter Hofstede Arthur H.M. 2007

机译：验证具有取消区域和“或”联接的工作流：基于松弛的稳健性和不变性的方法
8. Verification of Interorganizational Workflows [R] . van der Aalst, W. M. P. 1997

机译：组织间工作流程的验证

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound

著录项

引文网络

相似文献

相关主题

期刊订阅