Tomoyuki Aotani
ABSTRACT
We propose Featherweight EventCJ, which is a small calculus for context-oriented languages with event-based per-instance layer controls like EventCJ. It extends ContextFJ with stores, labels and transitions for modeling the per-instance layer management, events and declarative layer transition rules, respectively.
- M. Appeltauer, R. Hirschfeld, H. Masuhara, M. Haupt, and K. Kawauchi. Event-specific software composition in context-oriented programming. In SC '10, pages 50--65, 2010. Google Scholar
Digital Library
- D. Clarke and I. Sergey. A semantics for context-oriented programming with layers. In COP '09, pages 1--6, 2009. Google ScholarDigital Library
- C. Clifton and G. T. Leavens. MiniMAO1: An imperative core language for studying aspect-oriented reasoning. Science of Computer Programming, 63(3):321--374, 2006. Google ScholarDigital Library
- B. De Fraine, M. Südholt, and V. Jonckers. StrongAspectJ: Flexible and safe pointcut/advice bindings. In AOSD '08, pages 60--71, 2008. Google ScholarDigital Library
- P. Eugster and K. R. Jayaram. EventJava: An extension of Java for event correlation. In ECOOP 2009, pages 570--594, 2009. Google ScholarDigital Library
- R. Hirschfeld, P. Costanza, and O. Nierstrasz. Context-oriented programming. Journal of Object Technology, 7(3): 125--151, 2008.Google ScholarCross Ref
- R. Hirschfeld, A. Igarashi, and H. Masuhara. ContextFJ: a minimal core calculus for context-oriented programming. In FOAL '11, pages 19--23, 2011. Google ScholarDigital Library
- A. Holzer, L. Ziarek, K. R. Jayaram, and P. Eugster. Putting events in context: aspects for event-based distributed programming. In AOSD'11, pages 241--252, 2011. Google ScholarDigital Library
- R. Jagadeesan, A. Jeffrey, and J. Riely. Typed parametric polymorphism for aspects. Science of Computer Programming, 63 (3):267--296, 2006. Google ScholarDigital Library
- T. Kamina, T. Aotani, and H. Masuhara. EventCJ: a context-oriented programming language with declarative event-based context transition. In AOSD '11, pages 253--264, 2011. Google ScholarDigital Library
- G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP 2001, pages 327--353, 2001. Google ScholarDigital Library
- H. Rajan and G. T. Leavens. Ptolemy: A language with quantified, typed events. In ECOOP 2008, volume 5142 of LNCS, pages 155--179, 2008. Google ScholarDigital Library
- H. Schippers, D. Janssens, M. Haupt, and R. Hirschfeld. Delegation-based semantics for modularizing crosscutting concerns. In OOPSLA '08, pages 525--542, 2008. Google ScholarDigital Library
- D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In ICFP '03, pages 127--139, 2003. Google ScholarDigital Library
Index Terms
- Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition
Recommendations
EventCJ: a context-oriented programming language with declarative event-based context transition
AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software developmentThis paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining context-specific behaviors by using existing COP constructs, the EventCJ ...
A core calculus of composite layers
FOAL '13: Proceedings of the 12th workshop on Foundations of aspect-oriented languagesComposite 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 ...
Method safety mechanism for asynchronous layer deactivation
Context-oriented programming (COP) enhances the modularity of context-dependent behavior in context-aware systems, as it provides modules to implement context-dependent behavior (layers) and composes them dynamically in a disciplined manner (layer ...
Comments