A core calculus of composite layers

Authors:
Tetsuo Kamina;Tomoyuki Aotani;Hidehiko Masuhara
Affiliations:
University of Tokyo, Tokyo, Japan;Japan Advanced Institute of Science and Technology, Nomi, Japan;University of Tokyo, Tokyo, Japan
Venue:
Proceedings of the 12th workshop on Foundations of aspect-oriented languages
Year:
2013

Citing 10
Cited 1

An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Language constructs for context-oriented programming: an overview of ContextL

DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Highly dynamic behaviour adaptability through prototypes with subjective multimethods

Proceedings of the 2007 symposium on Dynamic languages
EventCJ: a context-oriented programming language with declarative event-based context transition

Proceedings of the tenth international conference on Aspect-oriented software development
ContextFJ: a minimal core calculus for context-oriented programming

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
Subjective-C: bringing context to mobile platform programming

SLE'10 Proceedings of the Third international conference on Software language engineering
An open implementation for context-oriented layer composition in ContextJS

Science of Computer Programming
Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition

Proceedings of the 3rd International Workshop on Context-Oriented Programming
Context-aware aspects

SC'06 Proceedings of the 5th international conference on Software Composition
Bridging real-world contexts and units of behavioral variations by composite layers

Proceedings of the International Workshop on Context-Oriented Programming

A unified context activation mechanism

Proceedings of the 5th International Workshop on Context-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Composite layers in context-oriented programming (COP) are the abstraction that localizes conditions about when the specified layer becomes active. A composite layer changes the behavior of the system by implicit layer activation triggered by explicit activation of contexts. Existing studies on formalization of COP languages do not cover such an activation mechanism. This paper formalizes composite layers to clarify the operational semantics of implicit layer activation. Based on this formalization, we prove that the translation of composite layers into the existing COP language is sound, which ensures the correctness of the existing implementation of composite layers.