Refine
Document Type
- Article (7)
- Monograph/Edited Volume (5)
- Doctoral Thesis (1)
Language
- English (13)
Keywords
- Hasso-Plattner-Institut (2)
- Structuring (2)
- Behavior (1)
- Behavioural Abstraction (1)
- Causal Behavioural Profiles (1)
- Causality (1)
- Compliance measurement (1)
- Concurrency (1)
- Exclusiveness (1)
- Formal Methods (1)
- Forschungskolleg (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institute (1)
- Klausurtagung (1)
- Log conformance (1)
- Model equivalence (1)
- Modeling (1)
- Modellierung (1)
- Modular decomposition (1)
- Optionality (1)
- Order Relations (1)
- Petri net unfolding (1)
- Ph.D. Retreat (1)
- Process (1)
- Process compliance (1)
- Process modeling (1)
- Prozesse (1)
- Quality of service (1)
- Research School (1)
- Root cause analysis (1)
- Service composition (1)
- Service orchestration (1)
- Service-oriented Systems Engineering (1)
- Service-oriented computing (1)
- Structural Decomposition (1)
- Structured modeling (1)
- Strukturierung (1)
- Verhalten (1)
- Well-structuredness (1)
- Wohlstrukturiertheit (1)
- fully concurrent bisimulation (1)
- maximal structuring (1)
- model transformation (1)
- process modeling (1)
- structured process model (1)
Contents: Artem Polyvanny, Sergey Smirnow, and Mathias Weske The Triconnected Abstraction of Process Models 1 Introduction 2 Business Process Model Abstraction 3 Preliminaries 4 Triconnected Decomposition 4.1 Basic Approach for Process Component Discovery 4.2 SPQR-Tree Decomposition 4.3 SPQR-Tree Fragments in the Context of Process Models 5 Triconnected Abstraction 5.1 Abstraction Rules 5.2 Abstraction Algorithm 6 Related Work and Conclusions