EventCJ: A context-oriented programming language with declarative event-based context transition

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11

Volumn , Issue , 2011, Pages 253-264

  Kamina, Tetsuo ^a   Aotani, Tomoyuki ^b   Masuhara, Hidehiko ^a  

^a UNIVERSITY OF TOKYO   (Japan)

^b JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Context oriented programming; Instance specific layer activation; Verification

Indexed keywords

CONTEXT-AWARE; CONTEXT-ORIENTED PROGRAMMING; CONTROL LAYERS; EVENT-BASED; INSTANCE-SPECIFIC LAYER ACTIVATION; MODEL CHECKER; SAFETY PROPERTY; TRANSITION RULE;

COMPUTER SYSTEMS PROGRAMMING; MODEL CHECKING;

SOFTWARE DESIGN;

EID: 79955129934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1960275.1960305     Document Type: Conference Paper

References (32)

1. Chris Allan, et al. Adding trace matching with free variables to AspectJ. In OOPSLA'05, pages 345-364, 2005.
2. Malte Appeltauer, et al. A comparison of context-oriented programming languages. In COP'09, pages 1-6, 2009.
3. Malte Appeltauer, Robert Hirschfeld, Michael Haupt, and Hidehiko Masuhara. ContextJ: Context-oriented programming with Java. Computer Software, 2011. to appear.
4. Malte Appeltauer, Robert Hirschfeld, and Hidehiko Masuhara. Improving the development of context-dependent Java application with ContextJ. In COP'09, 2009.
5. Malte Appeltauer, et al. Event-specific software composition in context-oriented programming. In SC'10, pages 50-65, 2010.
6. Ivia Aracic, Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann. An overview of CaesarJ. TAOSD-I, pages 135-173, 2006. (Pubitemid 350259073)
7. Nick Benton, Luca Cardelli, and Ćedric Fournet. Modern concurrency abstractions for C#. TOPLAS, 26(5):769-804, 2004.
8. Martin Bravenboer, Éric Tanter, and Eelco Visser. Declarative, formal, and extensible syntax definition for AspectJ. In OOPSLA'06, pages 209-228, 2006. (Pubitemid 46726082)
9. Martin Bravenboer and Eelco Visser. Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions. In OOPSLA'04, pages 365-383, 2004.
10. Mark Bull, Lorna Smith, Martin Westhead, David Henty, and Robert Davey. Benchmarking Java Grande applications. In PA-Java'00, pages 63-73, 2000.
11. Pascal Costanza and Theo D'Hondt. Feature description for context-oriented programming. In DSPL'08, 2008.
12. Pascal Costanza and Robert Hirschfeld. Language constructs for context-oriented programming - an overview of ContextL. In DLS'05, pages 1-10, 2005.
13. Pascal Costanza and Robert Hirschfeld. Reflective layer activation in ContextL. In SAC'07, pages 1280-1285, 2007. (Pubitemid 47568478)
14. Pascal Costanza, Robert Hirschfeld, and Wolfgang De Meuter. Efficient layer activation for switching context-dependent behavior. In JMLC'06, pages 84-103, 2006. (Pubitemid 44700400)
15. Brecht Desmet, Jorge Vallejos, Pascal Costanza, and Robert Hirschfeld. Layered design approach for context-aware systems. In VaMoS'07, 2007.
16. Patrick Eugster and K.R. Jayaran. EventJava: An extension of Java for event correlation. In ECOOP'09, pages 570-594, 2009.
17. Carlo Ghezzi, Matteo Praella, and Guido Salvaneschi. Context-oriented programming in highly concurrent systems. In COP'10, 2010.
18. Carlo Ghezzi, Matteo Praella, and Guido Salvaneschi. Programming language support to context-aware adaptation-a case-study with Erlang. In SEAMS'10, pages 59-68, 2010.
19. Robert Hirschfeld, Pascal Costanza, and Michael Haupt. An introduction to context-oriented programming with ContextS. In GTTSE'07, pages 396-407, 2008.
20. Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented programming. Journal of Object Technology, 7(3):125-151, 2008.
21. Gerard J. Holzmann. The model checker SPIN. TSE 23(5):279-295, 1997. (Pubitemid 127828295)
22. Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. Designing event-based context transition in context-oriented programming. In COP'10, 2010.
23. Tetsuo Kamina and Tetsuo Tamai. Towards safe and flexible object adaptation. In COP'09, 2009.
24. Lennart C. L. Kats and Eelco Visser. The Spoofax language workbench. Rules for declarative specification of languages and IDEs. In OOPSLA'10, 2010.
25. Hidehiko Masuhara, Yusuke Endoh, and Akinori Yonezawa. A fine-grained join point model for more reusable aspects. In APLAS'06, pages 131-147, 2006. (Pubitemid 46030586)
26. Angel Ńu nez, Jacques Noyé, and Vaidas Gasiūnas. Declarative definition of contexts with polymorphic events. In COP'09, 2009.
27. Tobias Rho, Günter Kniesel, and Malte Appeltauer. Fine-grained generic aspects. In FOAL'06, 2006.
28. Tobias Rho, Mark Schmatz, and Armin B. Cremers. Towards context-sensitive service aspects. In OT4AML, 2006.
29. Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama. An adaptive object model with dynamic role binding. In ICSE'05, pages 166-175, 2005.
30. Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama. Objects as actors assuming roles in the environment. In Software Engineering for Multi-Agent Systems V, pages 185-203, 2007.
31. Martin von Löwis, Marcus Denker, and Oscar Nierstrasz. Context-oriented programming: beyond layers. In ICDL'07, pages 143-156, 2007.
32. Robert J. Walker and Kevin Viggers. Implementing protocols via declarative event patterns. In FSE'04, pages 159-169, 2004. (Pubitemid 40787578)