Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs
Raghava Rao Mukkamala
Programming Logic and Semantics
Publikation
:
Bog / Antologi / Rapport / Ph.D.-afhandling
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Projekter
(1)
Fingeraftryk
Dyk ned i forskningsemnerne om 'A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Computer Science
Business Process
100%
Healthcare Service
50%
Workflow Management System
50%
Concurrency
50%
Operational Semantics
50%
Case Study
50%
Event Structure
50%
Control Flow
50%
model checker
50%
Dynamic Environment
50%
Regular Language
50%
Management Domain
50%
Current Business Process
50%
Workflow Engine
50%
Liveness Property
50%
Complex Environment
50%
Execution State
50%
Synchronous Communication
50%
Unexpected Behavior
50%
Keyphrases
Dynamic Condition Response Graphs
100%
DCR Graphs
100%
Declarative Workflow
100%
Business Process
50%
Healthcare
33%
Distributed Execution
33%
Pervasive Healthcare
16%
Industrial Partner
16%
Health Care Services
16%
Strategic Research
16%
Declarative Model
16%
Workflow Management System
16%
Safety Properties
16%
Formal Techniques
16%
Research Councils
16%
Event-based
16%
PhD Project
16%
Prototyping Tools
16%
Operational Semantics
16%
Event Structure
16%
Control Flow
16%
Dynamic Environment
16%
Timekeeping
16%
Regular Languages
16%
Well Structure
16%
Collaborative Cross
16%
Process Technology
16%
Wide Audience
16%
Liveness Properties
16%
Multi-instance
16%
Concurrency Model
16%
SPIN Model Checker
16%
Process Modeling
16%
Unexpected Behavior
16%
Synchronous Communication
16%
Inter-organizational Workflow
16%
Workflow Engine
16%
Graph-based
16%