Workflow and process synchronization with interaction expressions and graphs

Heinlein, Christian

doi:10.1109/icde.2001.914835

Cited by 29 publications

(14 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…6 Related Work Activity-driven approaches for process modeling do not focus on the automated creation of large process structures comprising multiple sub-processes. Interaction graphs [15] and choreography denition languages (e.g., [16]), for example, are activity-centered approaches to specify the choreography between distributed sub-processes. The data-driven derivation of sub-process dependencies is not covered.…”

Section: Practical Impactmentioning

confidence: 99%

Data-Driven Modeling and Coordination of Large Process Structures

Müller

Reichert

Herbst

Lecture Notes in Computer Science

137

View full text Add to dashboard Cite

Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges for process management systems is to support the modeling, monitoring and maintenance of the many interdependencies between these sub-processes. The resulting process structures are large and can be characterized by a strong relationship with the assembly of the product; i.e., the sub-processes to be coordinated can be related to the dierent product components. So far, sub-process coordination has been mainly accomplished manually, resulting in high eorts and inconsistencies. IT support is required to utilize the information about the product and its structure for deriving, coordinating and maintaining such data-driven process structures. In this paper, we introduce the COREPRO framework for the data-driven modeling of large process structures. The approach reduces modeling eorts signicantly and provides mechanisms for maintaining data-driven process structures.

show abstract

Section: Practical Impactmentioning

confidence: 99%

Data-Driven Modeling and Coordination of Large Process Structures

Müller

Reichert

Herbst

Lecture Notes in Computer Science

137

View full text Add to dashboard Cite

show abstract

“…For process enactment, the LTL formulas are synthesized into state automatons. In Heinlein (2001), an approach for synchronizing concurrent process instances is introduced. Constraints are specified using an extension of regular expressions.…”

Section: Runtime Compliance Validationmentioning

confidence: 99%

On enabling integrated process compliance with semantic constraints in process management systems

Rinderle-Ma

Göser³

et al. 2009

Inf Syst Front

View full text Add to dashboard Cite

Key to broad use of process management systems (PrMS) in practice is their ability to foster and ease the implementation, execution, monitoring, and adaptation of business processes while still being able to ensure robust and error-free process enactment. To meet these demands a variety of mechanisms has been developed to prevent errors at the structural level (e.g., deadlocks). In many application domains, however, processes often have to comply with business level rules and policies (i.e., semantic constraints) as well. Hence, to ensure error-free executions at the semantic level, PrMS need certain control mechanisms for validating and ensuring the compliance with semantic constraints. In this paper, we discuss fundamental requirements for a comprehensive support of semantic constraints in PrMS. Moreover, we provide a survey on existing approaches and discuss to what extent they are able to meet the requirements and which challenges still have This work was done within the research project "SeaFlows: Semantic Constraints in Process Management Systems", which is funded by the German Research Foundation (DFG).to be tackled. In order to tackle the particular challenge of providing integrated compliance support over the process lifecycle, we introduce the SeaFlows framework. The framework introduces a behavioural level view on processes which serves a conceptual process representation for constraint specification approaches. Further, it provides general compliance criteria for static compliance validation but also for dealing with process changes. Altogether, the SeaFlows framework can serve as formal basis for realizing integrated support of semantic constraints in PrMS.

show abstract

“…Obviously, as they affect the same patient in this case, they cannot be executed completely independent from each other. Problems of this kind require concepts for inter-process coordination [22,23].…”

Section: Further Requirements and Challengesmentioning

confidence: 99%

The ADEPT project: a decade of research and development for robust and flexible process support

Dadam

Reichert

2009

Comp. Sci. Res. Dev.

177

115

View full text Add to dashboard Cite

This paper gives insights into the ADEPT project. Its target was to develop a next generation process management technology, which is by orders of magnitudes more powerful and flexible than contemporary process management systems. The ADEPT technology should provide advanced features and properties within one system, which seem to exclude each other, but which are required for the support of a broad spectrum of processes: ease-of-use for end users and system developers, high flexibility through the support of non-trivial ad-hoc deviations at the process instance level, quick implementation of process changes through process schema evolution, and correctness guarantees enabling robust execution of implemented processes. This paper describes the background and the real-world cases which motivated our research. It further explains the technological challenges we faced, describes the solutions we elaborated, and discusses the current status of the ADEPT project. Background -how all beganIn 1992 we started the OKIS 1 project -a pretty large and broadly defined 3-years research project funded by the State of Baden-Württemberg. In this project several clinics, medical service units, and the computing center of our university hospital were involved. The goal of OKIS was to develop a concept for a cross-organizational, clinical information system that is able to integrate autonomous, heterogeneous departmental systems as well as to offer services across system boundaries (e.g., scheduling, resource management, and medical data exchange). At the beginning of OKIS we looked at many aspects of hospital information systems to understand the different types of relevant information, the different kinds of information systems involved (e.g., radiology information system, picture archiving and communication systems, and lab systems), the privacy issues, the different types and roles of doctors and nurses, characteristic properties of planning and scheduling tasks, and so forth. We further investigated new developments (at that point in time) like electronic patient record, communication servers, medical guidelines, and computer-assisted medical diagnostics in order to understand which features a modern hospital information system should have [27].The challenge of the service layer we wanted to develop was rather clear in an early stage of the project: Due to the heterogeneity of the underlying systems and the evolutionary nature of the clinical domain one has to decouple service provision from service implementation. However, the discovery of services and their usage must not be complicated. Therefore, long before web services came into the game, we 1 OKIS is derived from the German name of the project and stands for "Open Clinical Database and Information System for the Integration of Autonomous Subsystems".

show abstract

Workflow and process synchronization with interaction expressions and graphs

Cited by 29 publications

References 20 publications

Data-Driven Modeling and Coordination of Large Process Structures

Data-Driven Modeling and Coordination of Large Process Structures

On enabling integrated process compliance with semantic constraints in process management systems

The ADEPT project: a decade of research and development for robust and flexible process support

Contact Info

Product

Resources

About