Keyphrases
Dynamic Condition Response Graphs
100%
Declarative Processes
40%
Bigraphical Reactive Systems
39%
Bigraphs
35%
Liveness
32%
Calculus
25%
DCR Graphs
23%
Distributed Dynamics
17%
Collaborative Process
17%
High-order
16%
Concurrency
15%
Event-based
15%
Cross-organization
15%
Business Process
14%
Event Structure
14%
Adaptive Case Management
14%
Process Calculi
12%
Response Graph
11%
Process-aware Information Systems
11%
Ubiquitous Computing
11%
Prototype Implementation
11%
Undecidable
10%
Operational Semantics
10%
Mortgage Lending
10%
Workbench
10%
Declarative Model
10%
Computing Applications
10%
Bigraphical Model
10%
Reaction Rules
10%
Workflow Languages
9%
Declarative Workflow
9%
Formal Modeling
9%
Graph Model
9%
π-calculus
9%
WS-BPEL
9%
Process Language
9%
Constraint-based
8%
Management Solutions
8%
Adaptation
8%
Infinite Behavior
8%
XML
8%
Response Process
7%
Systems-based
7%
Industrial Partner
7%
Proactive Prevention
7%
Response States
7%
Policy Language
7%
Development Environment
7%
Municipal Government
7%
Ambiguity Resolution
7%
Computer Science
Process Model
75%
Reactive System
53%
Liveness
46%
Event Structure
39%
Case Study
38%
Concurrency
29%
Case Management System
28%
Operational Semantics
22%
Business Process
22%
Automaton
21%
Liveness Property
16%
Workflow Process
15%
Deadlock
14%
model checker
14%
Information System
13%
Regular Language
13%
Ubiquitous Computing
12%
Transition System
12%
Petri Net
11%
Simulation Tool
11%
Causal Relationship
10%
Graphical Notation
10%
Model Checking
10%
Business Process Execution Language
10%
Workflow Management System
9%
formal modeling
9%
Business Process Model and Notation
9%
Distributed Process
8%
Formalization
7%
Research Subject
7%
Workflow Management
7%
Service Orchestration
7%
Policy Language
7%
Loan Application
7%
State Response
7%
Event-Condition-Action Rule
7%
In-Process
7%
Modeling and Simulation
7%
Instantiation
7%
Formal Verification
7%
Expert System
7%
Development Environment
7%
Application System
7%
Digitalization
7%
Modeling Process
7%
Agile Development
7%
Subgraphs
7%
Process Mining
7%
Execution Model
7%
Specification Model
7%
