Projects per year
Abstract
Recently we have presented distributed dynamic condition response structures (DCR structures) as a declarative process model conservatively generalizing labelled event structures to allow for finite specifications of repeated, possibly infinite behavior. The key ideas are to split the causality relation of event structures in two dual relations: the condition relation and the response relation, to split the conflict relation in two relations: the dynamic exclusion and dynamic inclusion, and finally to allow configurations to be multi sets of events. In the present abstract we recall the model and show how to characterise the execution of DCR structures and the acceptance condition for infinite runs by giving a map to Bu ̈chi-automata. This is the first step towards automatic verification of processes specified as DCR structures.
Original language | English |
---|---|
Title of host publication | From Dynamic Condition Response Structures to Büchi Automata |
Number of pages | 4 |
Volume | 0 |
Publisher | IEEE Computer Society Press |
Publication date | 2010 |
Pages | 187-190 |
ISBN (Print) | 978-0-7695-4148-8 |
DOIs | |
Publication status | Published - 2010 |
Keywords
- Distributed Dynamic Condition Response Structures
- Declarative Process Models
- Causality and Conflict Dual Relations
- Infinite Behavior
- Büchi Automata
Fingerprint
Dive into the research topics of 'From Dynamic Condition Response Structures to Büchi Automata'. Together they form a unique fingerprint.Projects
- 1 Finished
-
TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Project: Research