Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 09:00 - 09:30 at Matterhorn 3 - Model Checking and Transformation Chair(s): Ralf Lämmel

The article presents an idea of a meta-level framework for simulating Context-Oriented Software. The framework focuses on method invocations related with layers of Context-Oriented Software. The method invocations cause increasing complexity of behaviour since they accompany with method dispatches on the current layer. In previous our works, we described the importance of layer states that are pre-activation and post-activation. The state mechanism increases the further complexity of the method invocations. Thus, we need to prepare a simulator to clarify the behaviour and detect errors of layer-interactions. Coloured Petri Nets (CP-nets) is useful for constructing such a simulator. The coloured tokens and hierarchies of CP-nets are suitable for modelling layers of Context-Oriented Software. Additionally, we can construct a model as interpreter programming language because of the token game. However, the modelling is not well-understandable because of the simplicity of CP-nets elements. We expect that our meta-level framework for simulator contributes this CP-nets modelling problem and help to clarify the method invocation for COS.

Paper (meta16-final12.pdf)2.79MiB

Sun 30 Oct

08:30 - 10:00: Meta 2016 - Model Checking and Transformation at Matterhorn 3
Chair(s): Ralf LämmelUniversity of Koblenz-Landau, Germany
meta2016147781260000008:30 - 09:00
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
meta2016147781440000009:00 - 09:30
Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University
File Attached
meta2016147781620000009:30 - 10:00
Yutaro TsunekawaWaseda University, Taichi TomiokaWaseda University, Kazunori UedaWaseda University
Media Attached File Attached