research-article

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

Authors:

Tomoyuki Aotani,

Hidehiko MasuharaAuthors Info & Claims

AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development

Pages 253 - 264

https://doi.org/10.1145/1960275.1960305

Published: 21 March 2011 Publication History

Abstract

This 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 programmer declares events to specify when and on which instance layer switching should happen, and layer transition rules to specify which layers should be activated/deactivated upon events. These constructs enable controlling layer activation on a per-instance basis, separately from a base program. We also demonstrate an approach to verify safety properties of layer transitions by using a model checker. With these advantages, EventCJ enables more modular descriptions of context-aware programs, especially when layer switching is triggered in many places of a program, or by activities external to the base program. We implemented a prototype EventCJ compiler with Eclipse IDE support.

References

[1]

Chris Allan, et al. Adding trace matching with free variables to AspectJ. In Proceedings of OOPSLA'05, pages 345--364, 2005.

Digital Library

[2]

Malte Appeltauer, et al. A comparison of context-oriented programming languages. In COP '09: International Workshop on Context-Oriented Programming, pages 1--6, New York, NY, USA, 2009. ACM.

Digital Library

[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.

Digital Library

[5]

Malte Appeltauer, et al. Event-specific software composition in context-oriented programming. In Proceedings of the International Conference on Software Composition 2010 (SC'10), volume 6144 of LNCS, pages 50--65, 2010.

Digital Library

[6]

Ivia Aracic, Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann. An overview of CaesarJ. In Transactions on Aspect-Oriented Software Development I, volume 3880 of LNCS, pages 135--173, 2006.

Digital Library

[7]

Nick Benton, Luca Cardelli, and Cédric Fournet. Modern concurrency abstractions for C#. ACM Transactions on Programming Languages and Systems, 26(5):769--804, 2004.

Digital Library

[8]

Martin Bravenboer, Éric Tanter, and Eelco Visser. Declarative, formal, and extensible syntax definition for aspectj. In OOPSLA '06, pages 209--228, 2006.

Digital Library

[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.

Digital Library

[10]

Mark Bull, Lorna Smith, Martin Westhead, David Henty, and Robert Davey. Benchmarking java grande applications. In the Second International Conference on The Practical Applications of Java, 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 Dynamic Language Symposium (DLS) '05, pages 1--10, 2005.

Digital Library

[13]

Pascal Costanza and Robert Hirschfeld. Reflective layer activation in contextl. In SAC'07, pages 1280--1285, 2007.

Digital Library

[14]

Pascal Costanza, Robert Hirschfeld, and Wolfgang De Meuter. Efficient layer activation for switching context-dependent behavior. In JMLC 2006, volume 4228 of LNCS, pages 84--103, 2006.

Digital Library

[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, volume 5653 of LNCS, pages 570--594, 2009.

Digital Library

[17]

Carlo Ghezzi, Matteo Praella, and Guido Salvaneschi. Context-oriented programming in highly concurrent systems. In COP'10, 2010.

Digital Library

[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.

Digital Library

[19]

Robert Hirschfeld, Pascal Costanza, and Michael Haupt. An introduction to context-oriented programming with ContextS. In GTTSE 2007, volume 5235 of LNCS, pages 396--407, 2008.

Digital Library

[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. IEEE Transaction on Software Engineering, 23(5):279--295, 1997.

Digital Library

[22]

Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. Designing event-based context transition in context-oriented programming. In COP'10, 2010.

Digital Library

[23]

Tetsuo Kamina and Tetsuo Tamai. Towards safe and flexible object adaptation. In COP'09, 2009.

Digital Library

[24]

Lennart C. L. Kats and Eelco Visser. The Spoofax language workbench. Rules for declarative specification of languages and IDEs. In Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), 2010.

Digital Library

[25]

Hidehiko Masuhara, Yusuke Endoh, and Akinori Yonezawa. A fine-grained join point model for more reusable aspects. In APLAS'06, volume 4279 of LNCS, pages 131--147, 2006.

Digital Library

[26]

Angel Núñez, Jacques Noyé, and Vaidas Gasiūnas. Declarative definition of contexts with polymorphic events. In COP'09, 2009.

Digital Library

[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 International Conference on Software Engineering (ICSE 2005), pages 166--175, 2005.

Digital Library

[30]

Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama. Objects as actors assuming roles in the environment. In Software Engineering for Multi-Agent Systems V, volume 4408 of LNCS, pages 185--203, 2007.

Digital Library

[31]

Martin von Löwis, Marcus Denker, and Oscar Nierstrasz. Context-oriented programming: beyond layers. In ICDL '07: Proceedings of the 2007 international conference on Dynamic languages, pages 143--156, 2007.

Digital Library

[32]

Robert J. Walker and Kevin Viggers. Implementing protocols via declarative event patterns. In Proceedings of FSE'04, pages 159--169, 2004.

Digital Library

Cited By

Elyasaf ACardozo NSturm A(2023)A framework for analyzing context-oriented programming languagesJournal of Systems and Software10.1016/j.jss.2023.111614198:COnline publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111614
Chrszon PBaier CDubslaff CKlüppelholz S(2023)Interaction detection in configurable systems – A formal approach featuring rolesJournal of Systems and Software10.1016/j.jss.2022.111556196:COnline publication date: 1-Feb-2023
https://dl.acm.org/doi/10.1016/j.jss.2022.111556
Leger PCardozo NMasuhara H(2023)An expressive and modular layer activation mechanism for Context-Oriented ProgrammingInformation and Software Technology10.1016/j.infsof.2022.107132156(107132)Online publication date: Apr-2023
https://doi.org/10.1016/j.infsof.2022.107132
Show More Cited By

Index Terms

EventCJ: a context-oriented programming language with declarative event-based context transition
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
      2. Language types
        Object oriented languages

Recommendations

Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition
COP '11: Proceedings of the 3rd ACM International Workshop on Context-Oriented Programming

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,...
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 ...
Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation
COP '15: Proceedings of the 7th ACM International Workshop on Context-Oriented Programming

Layer-introduced base methods, which are the methods with new signatures in a layer and are added to a class, give layers more freedom to organize definitions of context-dependent behavior. However, we need to be careful so as not to call a layer-...

Comments

Information & Contributors

Information

Published In

AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development

March 2011

326 pages

ISBN:9781450306058

DOI:10.1145/1960275

General Chair:
Paulo Borba
Federal University of Pernambuco, Brazil
,
Program Chair:
Shigeru Chiba
Tokyo Institute of Technology, Japan

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

Centro de Informatica - UFPE: Centro de Informatica - UFPE
CAPES: Coordençãao de Aperfeiçoamento de Pessoal de Nível Superior
CNPq: Conselho Nacional de Desenvolvimento Cientifico e Tecn
FINEP: Financiadora de Estudos e Projetos
PUC-Rio
FACEPE: Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 March 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AOSD'11

Sponsor:

AOSD'11: Tenth International Conference on Aspect-Oriented Software Development

March 21 - 25, 2011

Porto de Galinhas, Brazil

Acceptance Rates

Overall Acceptance Rate 41 of 139 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

79
Total Citations
View Citations
435
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)1

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Elyasaf ACardozo NSturm A(2023)A framework for analyzing context-oriented programming languagesJournal of Systems and Software10.1016/j.jss.2023.111614198:COnline publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111614
Chrszon PBaier CDubslaff CKlüppelholz S(2023)Interaction detection in configurable systems – A formal approach featuring rolesJournal of Systems and Software10.1016/j.jss.2022.111556196:COnline publication date: 1-Feb-2023
https://dl.acm.org/doi/10.1016/j.jss.2022.111556
Leger PCardozo NMasuhara H(2023)An expressive and modular layer activation mechanism for Context-Oriented ProgrammingInformation and Software Technology10.1016/j.infsof.2022.107132156(107132)Online publication date: Apr-2023
https://doi.org/10.1016/j.infsof.2022.107132
Fukuda HLeger PCardozo N(2022)Layer Activation Mechanism for Asynchronous Executions in JavaScriptProceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3570353.3570354(1-8)Online publication date: 7-Jun-2022
https://dl.acm.org/doi/10.1145/3570353.3570354
Leger PMasuhara HFigueroa I(2020)Interfaces for Modular Reasoning in Context-Oriented ProgrammingProceedings of the 12th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3422584.3423152(1-7)Online publication date: 21-Jul-2020
https://dl.acm.org/doi/10.1145/3422584.3423152
Ramson SLincke JWatanabe HHirschfeld R(2020)Zone-based Layer ActivationProceedings of the 12th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3422584.3422764(1-10)Online publication date: 21-Jul-2020
https://dl.acm.org/doi/10.1145/3422584.3422764
Burns JLiang XLiu Y(2020)Adaptive Variables for Declarative UAV PlanningProceedings of the 12th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3422584.3422763(1-7)Online publication date: 21-Jul-2020
https://dl.acm.org/doi/10.1145/3422584.3422763
Cardozo NDusparic I(2020)Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOS-C51401.2020.00044(133-138)Online publication date: Aug-2020
https://doi.org/10.1109/ACSOS-C51401.2020.00044
de la Hoz JSosa JCardozo N(2019)Distributed Context Petri NetsProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343359(24-31)Online publication date: 15-Jul-2019
https://dl.acm.org/doi/10.1145/3340671.3343359
Kamina TAotani T(2019)TinyCORPProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343356(1-8)Online publication date: 15-Jul-2019
https://dl.acm.org/doi/10.1145/3340671.3343356
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten