The Basis and Core Knowledge of Business Process Management
暂无分享,去创建一个
[1] Johann Eder,et al. Transforming Workflow Graphs , 2006 .
[2] C. Ou-Yang,et al. BPMN-based business process model feasibility analysis: a petri net approach , 2008 .
[3] Wil M. P. van der Aalst,et al. Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.
[4] Vitus S. W. Lam. Foundation for equivalences of BPMN models , 2012 .
[5] Remco M. Dijkman,et al. Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..
[6] Wil M. P. van der Aalst,et al. Quantifying process equivalence based on observed behavior , 2008, Data Knowl. Eng..
[7] Jeremy Gibbons,et al. Formalisations and applications of BPMN , 2011, Sci. Comput. Program..
[8] Vitus S. W. Lam. Equivalences of BPMN processes , 2009, Service Oriented Computing and Applications.
[9] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .
[10] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.
[11] Jan Vanthienen,et al. Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.
[12] Jeremy Gibbons,et al. A Relative Timed Semantics for BPMN , 2009, Electron. Notes Theor. Comput. Sci..
[13] Vitus S. W. Lam. Formal Analysis of BPMN Models: a NuSMV-Based Approach , 2010, Int. J. Softw. Eng. Knowl. Eng..
[14] Jeremy Gibbons,et al. A Process Semantics for BPMN , 2008, ICFEM.
[15] Jan Friso Groote,et al. Transformation of BPMN Models for Behaviour Analysis , 2007, MSVVEIS.
[16] Marlon Dumas,et al. Service Interaction Patterns , 2005, Business Process Management.
[17] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..