期刊文献+
共找到1,285篇文章
< 1 2 65 >
每页显示 20 50 100
Approach for workflow modeling using π-calculus 被引量:5
1
作者 杨东 张申生 《Journal of Zhejiang University Science》 EI CSCD 2003年第6期643-650,共8页
As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro... As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes. 展开更多
关键词 workflow modeling π calculus Business process modeling
下载PDF
An Inter-enterprise Workflow Model for Supply Chain and B2B E-commerce 被引量:3
2
作者 刘建勋 Zhang Shensheng 《High Technology Letters》 EI CAS 2002年第2期51-55,共5页
The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over m... The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over multiple enterprises. The inherent characteristics of workflow system make it suitable to implement the cross organization management. This paper, firstly, proposes an inter enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce. This model has extended the standard workflow model. After that, an architecture which supports the model has been introduced, especially it details the structure and implementation of interfaces between enterprises. 展开更多
关键词 electronic commerce workflow model workflow management supply chain INTEROPERABILITY
下载PDF
Context-aware Workflow Model for Supporting Composite Workflows 被引量:1
3
作者 Jong-sun CHOI Jae-young CHOI Yong-yun CHO 《Journal of Measurement Science and Instrumentation》 CAS 2010年第2期161-165,共5页
In recent years, several researchers have applied workflow technologies for service automation on ubiquitous compating environments. However, most context-aware workflows do not offer a method to compose several workf... In recent years, several researchers have applied workflow technologies for service automation on ubiquitous compating environments. However, most context-aware workflows do not offer a method to compose several workflows in order to get mare large-scale or complicated workflow. They only provide a simple workflow model, not a composite workflow model. In this paper, the autorhs propose a context-aware workflow model to support composite workflows by expanding the patterns of the existing context-aware wrY:flows, which support the basic woddlow patterns. The suggested workflow model of. fers composite workflow patterns for a context-aware workflow, which consists of various flow patterns, such as simple, split, parallel flows, and subflow. With the suggested model, the model can easily reuse few of existing workflows to make a new workflow. As a result, it can save the development efforts and time of context-aware workflows and increase the workflow reusability. Therefore, the suggested model is expected to make it easy to develop applications related to context-aware workflow services on ubiquitous computing environments. 展开更多
关键词 ubiquitous computing context-aware workfiow workflow model multiple workflows
下载PDF
Generation of Interactive Questionnaires Using YAWL-based Workflow Models
4
作者 Raimond Wust Stephan Butikofer +1 位作者 Jurgen Spielberger Jorg Sigrist 《Management Studies》 2015年第6期273-280,共8页
A concept is introduced in this article which has strong practical impact for computer aided system configuration. System configuration is a cumbersome and fault sensitive task while setting up systems in a broad rang... A concept is introduced in this article which has strong practical impact for computer aided system configuration. System configuration is a cumbersome and fault sensitive task while setting up systems in a broad range of business applications like ERP (enterprise resource planning) and other workflow-systems. Given a generic process or workflow model in YAWL-notation (yet another workflow language) or any other process modeling language like business process model and notation or WFMC (workflow management coalition), it could be stated that, by using a set of reduction rules as introduced, it is possible to generate a hierarchically structured tree of sub graphs of the workflow graph-representation. According to the notation used, authors call these sub graphs facts. The tree structure of the graph-representation on one hand and the logical relation between the branches and leafs of the tree on the other can be utilized to create a set of constraints and dependencies among the single facts. Some researchers showed that the nested branches can be associated to (predefined) questions with respect to the configuration of a workflow management system, for instance an ERP-application. They presented an algorithm which dynamically sorts the questions and answers in a maximum efficient configuration path, while working through the corresponding questionnaire. By combining the different elements as facts, constraints on questions, and configuration space, it is thus possible to algorithmically generate the efficient structured and interactive questionnaire for the configuration of workflow systems and algorithmically check the consistency (dead lock free, free of synchronization structural conflict) of the underlying workflow model. The concept was tested in the prototype of the interactive questionnaire for configuration of the web-service based ERP-Application Posity. 展开更多
关键词 workflow modeling interactive questionnaire algorithmic process analysis workflow graph reduction formal workflow consistence ERP-system setup system automation
下载PDF
Research on an Integrated Enterprise Workflow Model 被引量:4
5
作者 傅谦 Zhang +2 位作者 Shensheng Dai Kaiyu 《High Technology Letters》 EI CAS 2002年第1期58-62,共5页
An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise’s ontology established by TOVE and Process Specification Language (PSL) is studied. Combined with TOVE’s partition idea... An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise’s ontology established by TOVE and Process Specification Language (PSL) is studied. Combined with TOVE’s partition idea, PSL is extended and new PSL Extensions is created to define the ontology of process, organization, resource and product in the PPROCE model. As a result, PPROCE model can be defined by a set of corresponding formal language. It facilitates the future work not only in the model verification, model optimization and model simulation, but also in the model translation. 展开更多
关键词 workflow modeling ONTOLOGY FORMAL
下载PDF
Modeling workflow using XML and Petri net
6
作者 杨东 温泉 张申生 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2004年第3期440-446,共7页
Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of wor... Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes. 展开更多
关键词 XML workflow modeling language Petri net.
下载PDF
A Workflow Authorization Model Based on Credentials 被引量:1
7
作者 XING Guang-lin HONG Fan CAI Hui 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第1期198-202,共5页
A workflow authorization model based on credentials was proposesed. It can nicely satisfy the features that workflows in actual application should satisfying. This model uses access control list based on task state wh... A workflow authorization model based on credentials was proposesed. It can nicely satisfy the features that workflows in actual application should satisfying. This model uses access control list based on task state which nicely ensure synchronizing authorization flow with workflow; specifies authorization policy not only based on user identifiers but also based on user qualifications and characteristics; defines a set of constraint rules for a task and seek the eligible users to execute the task according to the type of each constraint rule which realize dynamic separation of duty; and realizes the access granularity of authorization ranging from objects to specific parts of objects which ensure the least privilege constraints much more better. 展开更多
关键词 CREDENTIALS workflow authorization model
下载PDF
Workflow-Based Platform Design and Implementation for Numerical Weather Prediction Models and Meteorological Data Service 被引量:3
8
作者 Xiaoxia Chen Min Wei Jing Sun 《Atmospheric and Climate Sciences》 2017年第3期337-351,共15页
In this paper, we present a set of best practices for workflow design and implementation for numerical weather prediction models and meteorological data service, which have been in operation in China Meteorological Ad... In this paper, we present a set of best practices for workflow design and implementation for numerical weather prediction models and meteorological data service, which have been in operation in China Meteorological Administration (CMA) for years and have been proven effective in reliably managing the complexities of large-scale meteorological related workflows. Based on the previous work on the platforms, we argue that a minimum set of guidelines including workflow scheme, module design, implementation standards and maintenance consideration during the whole establishment of the platform are highly recommended, serving to reduce the need for future maintenance and adjustment. A significant gain in performance can be achieved through the workflow-based projects. We believe that a good workflow system plays an important role in the weather forecast service, providing a useful tool for monitoring the whole process, fixing the errors, repairing a workflow, or redesigning an equivalent workflow pattern with new components. 展开更多
关键词 workflow SMS ecFlow S2S NUMERICAL model METEOROLOGICAL Data Service
下载PDF
A New Methodology for Process Modeling of Workflows
9
作者 Sabah Al-Fedaghi Rashid Alloughani Mohammed Al Sanousi 《Journal of Software Engineering and Applications》 2012年第8期560-567,共8页
Workflow-based systems are typically said to lead to better use of staff and better management and productivity. The first phase in building a workflow-based system is capturing the real-world process in a conceptual ... Workflow-based systems are typically said to lead to better use of staff and better management and productivity. The first phase in building a workflow-based system is capturing the real-world process in a conceptual representation suitable for the following phases of formalization and implementation. The specification may be in text or diagram form or written in a formal language. This paper proposes a flow-based diagrammatic methodology as a tool for workflow specification. The expressiveness of the method is appraised though its ability to capture a workflow-based application. Here we show that the proposed conceptual diagrams are able to express situations arising in practice as an alternative to tools currently used in workflow systems. This is demonstrated by using the proposed methodology to partial build demo systems for two government agencies. 展开更多
关键词 PROCESS Specification workflow CONCEPTUAL modeling
下载PDF
Model Checking Workflow Net Based on Petri Net 被引量:2
10
作者 ZHOU Conghua CHEN Zhenyu 《Wuhan University Journal of Natural Sciences》 CAS 2006年第5期1297-1301,共5页
The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic (CTL) allows us to verify the soundness with symbolic model checkers. Therefore t... The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic (CTL) allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic * (CTL * ) can be used to character the relaxed soundness of the workflow. 展开更多
关键词 model checking computation tree logic (CTL *) Petri nets workflow
下载PDF
Research into Application of Directed-Graph Storage Structure in Workflow Based on Object Petri Model-Defining
11
作者 Jian Yuan Shulin Sui Wenxia Zhang 《通讯和计算机(中英文版)》 2006年第3期25-30,共6页
下载PDF
A Process Meta- Model Based Approach for the Development of Collaborative Applications Built on Workflow and SOA
12
作者 Boukhedouma Saida Alimazighi Zaia 《通讯和计算机(中英文版)》 2011年第2期120-133,共14页
关键词 工作流程 应用程序 SOA 过程元模型 建筑发展 协同 基础 WEB服务
下载PDF
面向业务自动化转型的铁路运输调度业务数据模型构建方法研究 被引量:1
13
作者 郑然斐 孟令云 +3 位作者 苗建瑞 蒋熙 廖正文 潘钰雯 《铁道运输与经济》 北大核心 2024年第6期73-80,共8页
铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度... 铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度业务组织的关键影响要素和关键关联关系,梳理了工作流、信息流、信息流通机制与上述抽象的调度业务要素及这些要素间关联关系的对应关系,设计了一种刻画业务工作流、信息流和信息流通机制的数据模型构建方法。考虑到铁路运输生产调度业务分散协作、多级耦合的多层级多场景特点,设计了工作流、信息流数据模型的分化、细化关联机制,以实现对不同层级、场景调度业务的数据模型间有机关系的刻画,最后结合实际调度业务进行了应用分析。结果表明该方法构建的数据模型可以规范调度业务在不同场景、不同颗粒度下的控制逻辑和信息流通,从而为业务自动化转型过程中的信息系统开发和作业流程再造提供参考。 展开更多
关键词 调度指挥 数据模型 工作流 信息流 统一建模语言
下载PDF
企业协同知识管理工作流模型研究——基于action workflow方法 被引量:2
14
作者 沈惠敏 柯青 《科技与管理》 2013年第4期99-104,共6页
在借鉴问题解决导向的企业知识管理的过程描述基础上,指出企业协同知识管理过程是以协同知识库为核心的协同问题解决过程,并结合企业协同知识管理的工作流建模要求,论述了action work-flow工作流建模方法的特点,以及action workflow方... 在借鉴问题解决导向的企业知识管理的过程描述基础上,指出企业协同知识管理过程是以协同知识库为核心的协同问题解决过程,并结合企业协同知识管理的工作流建模要求,论述了action work-flow工作流建模方法的特点,以及action workflow方法在企业协同知识管理中的应用。 展开更多
关键词 协同知识管理 工作流模型 协同问题解决 action workflow
下载PDF
Research on an Integrated Modeling Method of Virtual Ship Assembly 被引量:1
15
作者 袁华 赵耀 严俊 《Journal of Marine Science and Application》 2011年第4期447-455,共9页
A new method of virtual ship assembly modeling which integrates ship three-dimensional design and ship construction planning was described in this paper. A workflow model of simulation modeling based on the virtual sh... A new method of virtual ship assembly modeling which integrates ship three-dimensional design and ship construction planning was described in this paper. A workflow model of simulation modeling based on the virtual ship assembly process was also established; furthermore, a method of information transformation between the ship three-dimensional design and ship construction plan was formulated. To meet the requirements of information sharing between different systems in the ship virtual assembly, a simulation database was created by using the software engineering design method and the relational data model. With the application of this database, the information of ship three-dimensional design, construction planning, and virtual assembly can be integrated into one system. Subsequently, this new method was applied as a tool to simulate the virtual assembly of a ship, and the results guarantee its rationality and reliability. 展开更多
关键词 ship virtual assembly simulation modeling workflow model simulation database three-dimensional design construction planning
下载PDF
基于AI+BIM技术的住宅户型方案设计探索与研究 被引量:3
16
作者 娄天 张博涵 《土木建筑工程信息技术》 2024年第1期61-66,共6页
本文将人工智能领域中的AIGC(人工智能生成内容)工具与BIM技术相结合,探索研究AI+BIM技术在住宅项目户型方案设计中的应用,阐述两种技术相结合在户型方案设计中的应用实践。实践表明,AI技术能够为设计师提供创作思路,发散创作灵感,同时... 本文将人工智能领域中的AIGC(人工智能生成内容)工具与BIM技术相结合,探索研究AI+BIM技术在住宅项目户型方案设计中的应用,阐述两种技术相结合在户型方案设计中的应用实践。实践表明,AI技术能够为设计师提供创作思路,发散创作灵感,同时有效提升户型方案设计效率,缩短设计周期,以便设计师将重点放在设计创作本身。相较于传统设计方法,AI在创作的速度和创意性上有显著优势,且与BIM技术的结合能够有效帮助设计师提升后续工作的效率。本文阐述的AI+BIM技术结合应用能够为后续住宅户型设计提供参考借鉴,为建筑设计工作流智能化、信息化提供新思路。 展开更多
关键词 人工智能 建筑信息模型 户型设计 工作流 住宅项目
下载PDF
可视化工作流建模工具WorkFlowEditor设计与实现
17
作者 袁华 刘鹏 +1 位作者 欧阳宁 莫建文 《微型机与应用》 2016年第6期15-18,22,共5页
针对企业业务过程建模的需求,分析目前典型的工作流过程建模方法,并结合工作流管理联盟提出的XPDL过程定义语言,设计一种可视化工作流建模工具Work Flow Editor。依据"问题分离"原则,对WFMC的工作流过程定义元模型进行了改进... 针对企业业务过程建模的需求,分析目前典型的工作流过程建模方法,并结合工作流管理联盟提出的XPDL过程定义语言,设计一种可视化工作流建模工具Work Flow Editor。依据"问题分离"原则,对WFMC的工作流过程定义元模型进行了改进,使建立的模型具有易修改、元素可重用等特点。针对建模元素可扩展性的需求,通过定义建模元素类的通用接口和设计一种动态加载方案,在很好地方便企业用户定制建模元素的同时又不需要修改建模工具。针对多任务多分支环境下复杂的流程编辑问题,设计了一种有限状态机(FSM)模型,实现了复杂编辑动作的实时性处理和灵活控制,降低了时间复杂度,并且实现模块化编程,很好地实现了流程的建模。 展开更多
关键词 工作流模型 可视化建模 XPDL 有限状态机
下载PDF
A Novel Verification Approach of Workflow Schema
18
作者 WANG Guangqi WANG Juying +2 位作者 WANG Yan SONG Baoyan YU Ge 《Wuhan University Journal of Natural Sciences》 CAS 2006年第5期1292-1296,共5页
A workflow schema is an abstract description of the business processed by workflow model, and plays a critical role in analyzing, executing and reorganizing business processes. The verification issue on the correctnes... A workflow schema is an abstract description of the business processed by workflow model, and plays a critical role in analyzing, executing and reorganizing business processes. The verification issue on the correctness of complicated workflow schemas is difficult in the field of workflow. We make an intensive study of it in this paper. We present here local errors and schema logic errors (global errors) in workflow schemas in detail, and offer some constraint rules trying to avoid schema errors during modeling. In addition, we propose a verification approach based on graph reduction and graph spread, and give the algorithm. The algorithm is implemented in a workflow prototype system e-ScopeWork. 展开更多
关键词 workflow workflow model schema verifica tion transition structure
下载PDF
Application of workflow technology for workshop scheduling
19
作者 周万坤 朱剑英 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2005年第1期105-110,共6页
This paper attempts to solve the complexity of scheduling problems and meet the requirement of the ever-changing manufacturing environment. In this paper, a new Workflow-Based Scheduling System (WBSS) is proposed. The... This paper attempts to solve the complexity of scheduling problems and meet the requirement of the ever-changing manufacturing environment. In this paper, a new Workflow-Based Scheduling System (WBSS) is proposed. The integration of Workflow Management System (WfMS) and rule-based scheduler provides us an effective way of generating a task-sheet according to the states of system and the scheduled objects. First, the definition of workflow model for scheduling is proposed, and following are the architecture and mechanism of the proposed WBSS. At last, an application is given to show how the established system works. 展开更多
关键词 workflow management system SCHEDULING workflow model
下载PDF
A method of manufacturing process modeling based on activity network for large-sized and complex products
20
作者 吕民 佟振博 王刚 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2008年第6期777-780,共4页
Simulation technique is an efficient approach to realize the planning and scheduling of manufacturing process of products. An appropriate and efficient manufacturing process model is the basis and key of manufacturing... Simulation technique is an efficient approach to realize the planning and scheduling of manufacturing process of products. An appropriate and efficient manufacturing process model is the basis and key of manufacturing process simulation. By analyzing the features of large-sized and complex products, a method of manufacturing process modeling based on activity network is presented and a mapping algorithm of translating BOM/BOP into the manufacturing process model is designed in detail. 展开更多
关键词 manufacturing process modeling large-sized and complex products workflow modeling
下载PDF
上一页 1 2 65 下一页 到第
使用帮助 返回顶部