Write a Blog >>
Tue 20 Jun 2017 11:30 - 12:00 at Vertex WS216 - Session 2

There are context-dependent behaviors that are active only when a certain condition holds, and that require a certain transition process before activation. We propose a layer-activation mecha- nism of context-oriented programming languages for such context- dependent behaviors. Our mechanism supports the implicit layer activation (as opposed to the event-based layer activation) in a sense that a condition of activation is written as a conditional ex- pression over reactive values (e.g., values obtained from sensors). In addition, it is push-based in a sense that it executes the tran- sition process immediately after the condition becomes valid (as opposed to the mechanisms that defer the transition process until the first execution of a context-dependent behavior). In this paper, we present how this mechanism works in an extension of ServalCJ with push-based reactive values, and identify open issues raised by this proposal.

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Session 2COP at Vertex WS216
11:00
30m
Talk
The Declarative Nature of Implicit Layer Activation
COP
Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:30
30m
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
12:00
30m
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi Watanabe Tokai University, Nobuhiko Ogura Tokyo City University