首页> 外文OA文献 >Property-Transition-Net-Based Workflow Process Modeling and Verification

【2h】

Property-Transition-Net-Based Workflow Process Modeling and Verification

机译：基于属性转换网的工作流程过程建模与验证

代理获取

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

页面导航

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

著录项

作者
Huang Yu; Wang Hanpin; Yu Peng; Xia Yunni;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops [J] . Yongsun Choi, Pauline Kongsuwan, Cheol Min Joo, Data & Knowledge Engineering . 2015,第jana期

机译：具有非循环分解和循环减少的循环工作流模型的逐步结构验证
2. A SYSTEM FOR DEDUCTION-BASED FORMAL VERIFICATION OF WORKFLOW-ORIENTED SOFTWARE MODELS [J] . Radoslaw KLIMEK International Journal of Applied Mathematics and Computer Science . 2014,第4期

机译：面向工作流的软件模型基于演绎的形式验证的系统
3. A system for deduction-based formal verification of workflow-oriented software models [J] . Rados?aw Klimek International journal of applied mathematics and computer science . 2014,第4期

机译：一种基于推论的面向工作流程的软件模型的形式验证系统
4. Workflow Models Enhanced with Process Algebra Verification for Industrial Business Processes [C] . IOAN SALOMIE, TUDOR CIOARA, IONUT ANGHEL, WSEAS International Conferences . 2007

机译：工作流程模型随着工业业务流程的过程代数验证而增强
5. Multi-agent workflow model (MAWM): A workflow model designed for Chinese business processes. [D] . Ren, Yongjie. 2001

机译：多主体工作流模型（MAWM）：专为中国业务流程设计的工作流模型。
6. GlyGen data model and processing workflow [O] . Robel Kahsay, Jeet Vora, Rahi Navelkar, -1

机译：GlyGen数据模型和处理工作流程
7. Process design, verification and simulation : an implementation in a visual modeling tool for a workflow management system [O] . Zhang Hong 2001

机译：流程设计，验证和仿真：工作流管理系统的可视化建模工具中的实现
8. Taxonomy and Evaluation for Systems Analysis Methodologies in a Workflow Context: Structured Systems Analysis Design Method (SSADM), Unified Modelling Language (UML), Unified Process, Soft Systems Methodology (SSM) and Organization Process Modelling (OPM [R] . Al-Humaidan, F., Rossiter, B. N. 2003

机译：工作流中的系统分析方法的分类和评估上下文：结构化系统分析设计方法（ssaDm），统一建模语言（UmL），统一过程，软系统方法（ssm）和组织过程建模（Opm

Property-Transition-Net-Based Workflow Process Modeling and Verification

著录项

引文网络

相似文献

相关主题

期刊订阅