A graph-based operational semantics for context-oriented programming

Authors:
Hans Schippers;Tim Molderez;Dirk Janssens
Affiliations:
University of Antwerp, Antwerp, Belgium;University of Antwerp, Antwerp, Belgium;University of Antwerp, Antwerp, Belgium
Venue:
Proceedings of the 2nd International Workshop on Context-Oriented Programming
Year:
2010

Citing 6
Cited 0

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Delegation-based semantics for modularizing crosscutting concerns

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A graph-transformation-based simulation approach for analysing aspect interference on shared join points

Proceedings of the 8th ACM international conference on Aspect-oriented software development
A semantics for context-oriented programming with layers

International Workshop on Context-Oriented Programming
Towards an actor-based concurrent machine model

Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
A machine model for aspect-oriented programming

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Context-oriented programming can be regarded as a technique aiming for an improved (multi-dimensional) separation of concerns (MDSOC). The delMDSOC (virtual) machine model describes a common target platform for a range of high-level MDSOC approaches. As it is based only on the well-known concepts of objects, messages and delegation, it provides a means to express the semantics of context-oriented programming using these same notions as well. An approach based on structured operational semantics (SOS) exists, but it has a number of drawbacks, including its implicit representation of program state and the lack of a simulation mechanism. In this paper we introduce a graph-based semantics for context-oriented programming built on top of a concurrent actor-based semantics of delMDSOC. The semantics consists of a number of graph rewrite rules which can be applied to sample graphs using the AGG tool. This allows for the visual simulation of context-oriented programs, which we demonstrate by means of an example.