Structuredness and its significance for correctness of process models-Reference-Cited by-同舟云学术

Structuredness and its significance for correctness of process models

Published:2009-06-23 Issue:3 Volume:8 Page:287-307
ISSN:1617-9846
Container-title:Information Systems and e-Business Management
language:en
Short-container-title:Inf Syst E-Bus Manage

Author:

Laue Ralf,Mendling Jan

Publisher

Springer Science and Business Media LLC

Subject

Information Systems

Link

http://link.springer.com/content/pdf/10.1007/s10257-009-0120-x.pdf

Reference61 articles.

1. van der Aalst WMP (1997) Verification of workflow nets. In: Pierre Azéma, Gianfranco Balbo (eds) Application and theory of petri nets 1997, vol 1248 of lecture notes in computer science. Springer, Heidelberg, pp 407–426

2. van der Aalst WMP (1999) Formalization and verification of event-driven process chains. Inf Softw Technol 41(10):639–650

3. van der Aalst WMP, Lassen KB (2008) Translating unstructured workflow processes to readable BPEL: theory and implementation. Inf Softw Technol 50(3):131–159

4. Ammarguellat Z (1992) A control-flow normalization algorithm and its complexity. IEEE Trans Softw Eng 18(3):237–251

5. Bache R (1990) Graph theory models of software. Ph.D. Thesis, South Bank University, London

Cited by 52 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Patterns for modeling process variability in a healthcare context;Business Process Management Journal;2023-10-23

2. Soundness Unknotted: Efficient Algorithm for Process Models with Inclusive Gateways by Loosening Loops;2023

3. Logic-Based Approaches for Process Querying;Process Querying Methods;2021-12-03

4. A systematic literature review of process modeling guidelines and their empirical support;Business Process Management Journal;2020-11-07

5. A prototype for continuous improvement of processes and their results in the field of higher education;Business Process Management Journal;2019-10-15