Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
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.80MiB |
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Model Checking and TransformationMETA at Matterhorn 3 Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany | ||
08:30 30mTalk | Evolution of Metaprograms: XSLT as a Metaprogramming Language META Vadim Zaytsev Raincode, Belgium Media Attached File Attached | ||
09:00 30mTalk | Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software META Harumi Watanabe Tokai University, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Midori Sugaya Shibaura Institute of Technology, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University File Attached | ||
09:30 30mTalk | Implementation of LMNtal Model Checkers: a Metaprogramming Approach META Yutaro Tsunekawa Waseda University, Taichi Tomioka Waseda University, Kazunori Ueda Waseda University Media Attached File Attached |