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

The paper proposes a testing environment based on Colored Petri Nets (CPN) for analyzing the behavior of Context- Oriented Software (COS). The token of CPN and the token game are suitable for representing the layer of COS and its (de- )activation respectively. Especially, we expect CPN can detect mutual exclusion faults related to the layer interactions. Even though, if CPN finds a fault on COS, we cannot easily find where is the cause of the fault in the software since actual environments are compounded. Thus, in a behavior model of COS, we cannot find easily which event fails in changing layers. In this paper, we focus on two issues that are called compound environments, and context events. To overcome these issues, firstly, we clarify the advantages of CPN to state machines. Secondly, the paper introduces a simulation testing environment based on these advantages. In this testing environment, the state space graph of CPN contributes to finding a cause why fault occurred.

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