The DOI matches its Crossref record; 12 of the 12 references it cites were found in a registry or an index.
DECLARE: Full Support for Loosely-Structured Processes
Abstract
Traditional workflow management systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes at a certain cost, such as lack of support for users, lack of methods for model analysis, lack of methods for analysis of past executions, etc. DECLARE is a proto-type of a WFMS that uses a constraint-based process modeling language for the development of declarative models describing loosely-structured processes. In this paper we show how DECLARE can support loosely-structured processes without sacrificing important WFMSs features like user support, model verification, analysis of past executions, changing models at run-time, etc.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Clarke, E. M., Grümberg, O., & Long, D. (1996) · Cited by 6,813
van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2003) · Distributed and Parallel Databases · doi:10.1023/a:1022883727209 · Cited by 2,613
Self-citationCommunicating and Mobile Systems: the Pi-Calculus
Milner, R. (1999) · Cited by 2,256
An overview of workflow management: From process modeling to workflow automation infrastructure
Georgakopoulos, D., Hornick, M. F., & Sheth, A. (1995) · Distributed and Parallel Databases · doi:10.1007/bf01277643 · Cited by 1,530
Workflow Management: Models, Methods, and Systems
van der Aalst, W. M. P., & van Hee, K. (2002) · The MIT Press eBooks · doi:10.7551/mitpress/7301.001.0001 · Cited by 744
Self-citationWorkflow Management: Models, Methods, and Systems
van der Aalst, W. M. P., & van Hee, K. (2001) · Cited by 738
Simple On-the-fly Automatic Verification of Linear Temporal Logic
Gerth, R., Peled, D., Vardi, M. Y., & Wolper, P. (1996) · IFIP Advances in Information and Communication Technology · doi:10.1007/978-0-387-34892-6_1 · Cited by 705
Process‐Aware Information Systems
Dumas, M., van der Aalst, W. M. P., & ter Hofstede, A. H. M. (2005) · Wiley eBooks · doi:10.1002/0471741442 · Cited by 586
Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows
Adams, M., ter Hofstede, A. H. M., Edmond, D., & van der Aalst, W. M. P. (2006) · Lecture Notes in Computer Science · doi:10.1007/11914853_18 · Cited by 266
Self-citationDealing with workflow change: identification of issues and solutions
van der Aalst, W. M. P., & Jablonski, S. (2000) · TU/e Research Portal · Cited by 247
Cited by
Automated Discovery of Process Models from Event Logs: Review and Benchmark
Augusto, A., Conforti, R., Dumas, M., Rosa, M. L., Maggi, F. M., Marrella, A., Mecella, M., & Soo, A. (2019) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2018.2841877 · Cited by 438
Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches
Di Ciccio, C., Marrella, A., & Russo, A. (2015) · Journal on Data Semantics · doi:10.1007/s13740-014-0038-4 · Cited by 312
Enhancing Declarative Business Process Management Availability through Generative AI
Santos, W. D. S., Coutinho, J. R., Baião, F., Miranda Spyrides, G., & Vieira Lopes, H. C. (2025) · Process Science · doi:10.1007/s44311-025-00029-1 · Cited by 3
Metadata
- Authors
- Pesic, M., Schonenberg, H., & van der Aalst, W. M. P.
- Venue
- 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)
- Publisher
- IEEE
- Published
- 2007-10
- Pages
- 287-287
- ISSN
- 1541-7719 (ISSN-L)
- OpenAlex
- W2104537183
- Cited by
- 561
- References
- 12
- FWCI
- 19.74
- Type
- conference paper
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: DECLARE: Full Support for Loosely-Structured Processes. https://app.cochat.ai/papers/10.1109/edoc.2007.14
- The paper
- Pesic, M., Schonenberg, H., & van der Aalst, W. M. P. (2007). DECLARE: Full Support for Loosely-Structured Processes. 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). https://doi.org/10.1109/edoc.2007.14
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
