Keyphrases
Dynamic Condition Response Graphs
100%
Declarative Processes
75%
Liveness
64%
DCR Graphs
61%
Bigraphical Reactive Systems
46%
Bigraphs
38%
Collaborative Process
38%
Miners
35%
Declarative Model
33%
Municipal Government
30%
Ambiguity Resolution
30%
Original Description
30%
Natural Language Description
30%
Prototype Implementation
24%
Mortgage Lending
23%
Declarative Workflow
23%
Workbench
23%
Flow-based
23%
Industry Partners
23%
Computing Applications
23%
Formal Modeling
20%
Process-aware Information Systems
20%
Process Language
20%
Blockchain
19%
Constraint-based
19%
Flow-based Model
18%
Constraint-based Modeling
18%
Management Solutions
18%
Adaptation
18%
Reaction Rules
17%
Response Process
16%
Business Process
16%
Proactive Prevention
15%
Response States
15%
Policy Language
15%
Application System
15%
Current Regulation
15%
Dynamic Creation
15%
Test Driven Modeling
15%
Incremental Refinement
15%
Complex Events
15%
Credit Facilities
15%
Open Test
15%
Business Support
15%
Business Rules
15%
Modular Process
15%
Business Process Management
15%
Declarative Process Mining
15%
Business Constraints
15%
Process Digitalization
15%
Computer Science
Process Model
69%
Liveness
69%
Process Mining
46%
Reactive System
30%
General Data Protection Regulation
30%
Blockchain
30%
Process Notation
30%
Information System
23%
Byzantine Fault
23%
Causal Relationship
23%
Modeling Process
23%
Liveness Property
20%
formal modeling
20%
Business Process
20%
Simulation Tool
19%
Distributed Process
18%
Operational Semantics
17%
Service Orchestration
15%
Policy Language
15%
Loan Application
15%
State Response
15%
Event-Condition-Action Rule
15%
In-Process
15%
fault-tolerance
15%
Modeling and Simulation
15%
Instantiation
15%
Case Study
15%
Application System
15%
Digitalization
15%
Management Challenge
15%
Agile Development
15%
Concurrency
15%
Concrete Syntax
15%
Observed Behavior
15%
Process Discovery
15%
Understandability
15%
Information Theory
15%
Financial Sector
15%
Laws and Regulation
15%
Data Dependency
15%
Emergency Response Plan
15%
model checker
15%
Verification Environment
15%
Interpreter
15%
Best Practice
15%
Program Transformation
15%
Modelers
15%
Semistructured Data
15%
Workflow Execution
15%
Research Question
15%