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

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