Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

TY - GEN

T1 - Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

AU - Hildebrandt, Thomas

AU - Mukkamala, Raghava Rao

AU - Slaats, Tijs

AU - Zanitti, Francesco

N1 - Conference code: 12

PY - 2013

Y1 - 2013

N2 - We propose the recently introduced declarative and event-based Dynamic Condition Response (DCR) Graphs process model as a formal basis for modular implementation of context-sensitive and aspect-oriented processes. The proposal is supported by a new join operator allowing modular composition and refinement of DCR Graphs. We give small illustrative examples of DCR Graphs defining context-sensitive processes where context-events dynamically enable and disable the need for authentication and the join operator is used to add authentication to a process. Finally, we discuss the use of formal verification to ensure that processes satisfy safety and liveness properties, and define two liveness properties (deadlock freedom and liveness) that can be verified directly on the state graph for DCR Graphs.

AB - We propose the recently introduced declarative and event-based Dynamic Condition Response (DCR) Graphs process model as a formal basis for modular implementation of context-sensitive and aspect-oriented processes. The proposal is supported by a new join operator allowing modular composition and refinement of DCR Graphs. We give small illustrative examples of DCR Graphs defining context-sensitive processes where context-events dynamically enable and disable the need for authentication and the join operator is used to add authentication to a process. Finally, we discuss the use of formal verification to ensure that processes satisfy safety and liveness properties, and define two liveness properties (deadlock freedom and liveness) that can be verified directly on the state graph for DCR Graphs.

U2 - 10.1145/2451598.2451604

DO - 10.1145/2451598.2451604

M3 - Article in proceedings

SP - 19

EP - 24

BT - Proceedings of the 12th workshop on Foundations of Aspect-oriented Languages

PB - Association for Computing Machinery

T2 - 12th Workshop on Foundations of Aspect-oriented Languages

Y2 - 26 March 2013 through 26 March 2013

ER -