DECLARE: Full Support for Loosely-Structured Processes

Pesic, M.; Schonenberg, Helen; Aalst, Wil M. P. van der

doi:10.1109/edoc.2007.4384001

Cited by 157 publications

(197 citation statements)

References 16 publications

Supporting

Mentioning

193

Contrasting

Unclassified

Order By: Relevance

“…Few alternative approaches have been proposed. For example, the DECLARE system supports a more declarative style of modeling grounded in LTL [29][30][31]. However, also DECLARE focuses on control-flow dependencies among tasks.…”

Section: Related Workmentioning

confidence: 99%

“…ProM 5.2 has 286 plug-ins, each realizing a particular type of functionality, e.g., the a miner plug-in is able to discover a process model from event logs, and the conformance checker plug-in is able to measure the quality of a model in relation to an event log. DECLARE is a workflow management system [29][30][31]. DECLARE is based on a declarative approach to business process modeling and execution, and therefore provides more flexibility than do conventional workflow management systems.…”

Section: Architecturementioning

confidence: 99%

“…The workflow solution presented in this paper combines DECLARE [30] and ProM [2,12]. The core idea is that a recommendation service in ProM provides guidance to users of the DECLARE system.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Product-based workflow support

Vanderfeesten

Reijers

Aalst

2011

Information Systems

Self Cite

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Section: Architecturementioning

confidence: 99%

See 1 more Smart Citation

Product-based workflow support

Vanderfeesten

Reijers

Aalst

2011

Information Systems

Self Cite

View full text Add to dashboard Cite

“…The authors of [13,12] propose to model processes by specifying a set of execution ordering constraints on a set of activities. These constraints are mapped onto LTL formulas; which are used to generate an automaton that is used to both guide the execution and monitor it.…”

Section: Related Workmentioning

confidence: 99%

“…Deontic modalities were used to define policies and business rules by Padmanabhan et al [11], similarly, Geodertier et al [2,7] adopted PENELOPE, a deontic logic with temporal assignments, to enact controlflow-based processes. van der Aalst et al [12][13][14], on the other hand, developed a declarative workflow management system that uses Linear Temporal Logic (LTL) [15] to drive the design and execution of processes.…”

Section: A Suitable Logic For Process Modellingmentioning

confidence: 99%

An iterative approach to synthesize business process templates from compliance rules

Awad

Goré

Hóu

et al. 2012

Information Systems

View full text Add to dashboard Cite

a b s t r a c tCompanies have to adhere to compliance requirements. The compliance analysis of business operations is typically a joint effort of business experts and compliance experts. Those experts need to create a common understanding of business processes to effectively conduct compliance management. In this paper, we present a technique that aims at supporting this process. We argue that process templates generated out of compliance requirements provide a basis for negotiation among business and compliance experts. We introduce a semi-automated and iterative approach to the synthesis of such process templates from compliance requirements expressed in Linear Temporal Logic (LTL). We show how generic constraints related to business process execution are incorporated and present criteria that point at underspecification. Further, we outline how such underspecification may be resolved to iteratively build up a complete specification. For the synthesis, we leverage existing work on process mining and process restructuring. However, our approach is not limited to the control-flow perspective, but also considers direct and indirect data-flow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach.

show abstract

Process mining‐constrained scheduling in the hybrid cloud

Azumah

Sørensen

Montella

et al. 2020

Concurrency and Computation

View full text Add to dashboard Cite

Summary Hybrid cloud, typically a combination of public and private cloud deployment models, is a rising paradigm due to the benefits it offers: full control of data and applications in the private cloud and elastic computing resource availability in the public cloud. This combination however brings an extra layer of complexity that can potentially erode the benefits and present serious challenges if not managed well. Among the challenges, ensuring business constraint compliance across the combination of cloud deployment models is a growing concern. Our article brings a sensitive, data‐ and process‐aware framework to bear on task scheduling in hybrid clouds with compliance to business constraints. Our proposed approach utilizes data from a real hybrid cloud‐based hospital billing system that is governed by complex and dynamic data processing rules. Our system successfully employs a process mining controlled algorithm to schedule tasks in the hybrid cloud to comply with the given set of business constraints.

show abstract

DECLARE: Full Support for Loosely-Structured Processes

Cited by 157 publications

References 16 publications

Product-based workflow support

Product-based workflow support

An iterative approach to synthesize business process templates from compliance rules

Process mining‐constrained scheduling in the hybrid cloud

Contact Info

Product

Resources

About