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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: COP-17 - Session 2 at Vertex WS216
COP-2017-papers11:00 - 11:30
Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
COP-2017-papers11:30 - 12:00
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
COP-2017-papers12:00 - 12:30
Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University