Search For:

Displaying 1-14 out of 14 total
Formal Semantics of BPMN Process Models Using YAWL
Found in: Intelligent Information Technology Applications, 2007 Workshop on
By JianHong Ye, ShiXin Sun, Wen Song, LiJie Wen
Issue Date:December 2008
pp. 70-74
The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. However, BPMN lacks a formal semantics and many of its features are subject to interpretation, which is hindered the BPMN as a standard to statically ch...
 
The Operations and Properties of Reproducibility of the Empty Marking
Found in: Computational Intelligence and Security, International Conference on
By JianHong Ye, ShiXin Sun, Wen Song, Lijie Wen
Issue Date:December 2008
pp. 139-144
Kurt Lautenbach presented sufficient and necessary conditions for reproducibility of the empty marking and proved that the empty marking is reproducible if and only if there is non-negative T-invariant, whose net representations have neither siphons nor tr...
 
Transformation of BPMN to YAWL
Found in: Computer Science and Software Engineering, International Conference on
By JianHong Ye, ShiXin Sun, Lijie Wen, Wen Song
Issue Date:December 2008
pp. 354-359
Model transformations are frequently applied in business process modeling to bridge between languages on a different level of abstraction and formality. In this paper, we define a transformation between BPMN which is developed to enable business user to de...
 
Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models
Found in: IEEE Transactions on Services Computing
By Tao Jin,Jianmin Wang,Lijie Wen,Gen Zou
Issue Date:July 2014
pp. 415-426
Since the behavior is the essential characteristic of business process models, and ordering relations between execution of tasks can be used to describe the behavior of process models, we need to compute the ordering relations between tasks in process mode...
 
Efficient Selection of Process Mining Algorithms
Found in: IEEE Transactions on Services Computing
By Jianmin Wang,Raymond K. Wong,Jianwei Ding,Qinlong Guo,Lijie Wen
Issue Date:October 2013
pp. 484-496
While many process mining algorithms have been proposed recently, there does not exist a widely accepted benchmark to evaluate and compare these process mining algorithms. As a result, it can be difficult to choose a suitable process mining algorithm for a...
 
An Approach to Evaluate the Local Completeness of an Event Log
Found in: 2012 IEEE 12th International Conference on Data Mining (ICDM)
By Hedong Yang,Lijie Wen,Jianmin Wang
Issue Date:December 2012
pp. 1164-1169
Process mining links traditional model-driven Business Process Management and data mining by means of deriving knowledge from event logs to improve operational business processes. As an impact factor of the quality of process mining results, the degree of ...
 
On Recommendation of Process Mining Algorithms
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By Jianmin Wang,Raymond K. Wong,Jianwei Ding,Qinlong Guo,Lijie Wen
Issue Date:June 2012
pp. 311-318
While many process mining algorithms have been proposed recently, there does not exist a widely-accepted benchmark to evaluate and compare these process mining algorithms. As a result, it can be difficult to choose a suitable process mining algorithm for a...
 
Querying Process Models Based on the Temporal Relations between Tasks
Found in: Enterprise Distributed Object Computing Conference Workshops, IEEE International
By Liang Song,Jianmin Wang,Lijie Wen,Wenxing Wang,Shijie Tan,Hui Kong
Issue Date:September 2011
pp. 213-222
As business process management technology matures, organisations accumulate hundreds, even thousands of models whose management poses real challenges. One of these challenges concerns model retrieval where support should be provided for the formulation and...
 
Dynamically Analyzing Time Constraints in Workflow Systems with Fixed-Date Constraint
Found in: Conference, International Asia-Pacific Web
By Rui Han, Yingbo Liu, Lijie Wen, Jianmin Wang
Issue Date:April 2010
pp. 99-105
In workflow management systems (WFMSs), time management plays an essential role in controlling the lifecycle of business processes. Especially, run-time analysis of time constraints is necessary to help process manger proactively detect possible deadline v...
 
Probability Timing Constraint WF-Nets and Their Application to Timing Schedulability Analysis of Workflow Management Systems
Found in: Computer Science and Information Engineering, World Congress on
By Rui Han, Yingbo Liu, Lijie Wen, Jianmin Wang
Issue Date:April 2009
pp. 669-673
For obtaining timely responses in workflow management systems, we must design a schedule of task executions in a timely manner with respect to imposed timing constraints. We call the procedure of verifying that a schedule satisfies the timing constraints a...
 
Organizational Modeling from Event logs
Found in: Grid and Cloud Computing, International Conference on
By Tao Jin, Jianmin Wang, Lijie Wen
Issue Date:August 2007
pp. 670-675
Many process mining approaches have been published, which would be helpful to process modeling, but little attempt has been made for role mining used for organizational modeling. In this paper, a method of role mining using event logs as input is introduce...
 
An InnovativeWorkflow Product Structure
Found in: Computer Software and Applications Conference, Annual International
By Haiping Zha, Lijie Wen, Jianmin Wang
Issue Date:July 2007
pp. 639-640
Inefficient development of workflow-based applications reduces the benefits from the adoption of workflow technology. In this paper, we propose a new workflow product structure, in which application data are integrated into workflow process models. The new...
 
A Novel Approach for Process Mining Based on Event Types
Found in: Services Computing, IEEE International Conference on
By Changrui Ren, Lijie Wen, Jin Dong, Hongwei Ding, Wei Wang, Minmin Qiu
Issue Date:July 2007
pp. 721-722
Process mining aims at distilling useful knowledge from the execution logs of process models. It has become a vivid research area in recent years. In this paper, a novel approach for process mining based on two event types, i.e., START and COMPLETE, is pro...
 
DRC: A Dependence Relationships Based Cohesion Measure for Classes
Found in: Asia-Pacific Software Engineering Conference
By Yuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, Baowen Xu
Issue Date:December 2003
pp. 215
In last decade, a large number of cohesion measures based on method-attribute references have been proposed. However, virtually no attention has been paid to the abstract representation that objectively depicts the relationships among the members of a clas...
 
 1