tutorial

Unifying Multiple Layer Activation Mechanisms Using One Event Sequence

Authors:

Tomoyuki Aotani,

Tetsuo Kamina,

Hidehiko MasuharaAuthors Info & Claims

COP '14: Proceedings of 6th ACM International Workshop on Context-Oriented Programming

Article No.: 2, Pages 1 - 6

https://doi.org/10.1145/2637066.2637068

Published: 28 July 2014 Publication History

Get Access

Abstract

Different context-oriented programming languages try to capture contexts with respect to different things, including a computation, an object, and a device that executes a program, by providing different layer activation mechanisms. When we want to exploit all of those different kinds of contexts at the same time, it is not clear how the effects of those contexts should be combined.

We develop LamFJ, a calculus for expressing various layer activation mechanisms. It replaces the with and without expressions in ContextFJ with four expressions that fire context change events, which models changes of each context. LamFJ is not only powerful enough to express multiple layer activation mechanisms but also clearly defines combined effects of those mechanisms. In addition to the supported layer activation mechanisms in the paper, namely imperative activation, per-object activation and dynamic scoping, we aim at supporting other mechanisms like reactive and structural activation with small extensions.

References

[1]

Malte Appeltauer, Robert Hirschfeld, Hidehiko Masuhara, Michael Haupt, and Kazunori Kawauchi. Event-specific software composition in context-oriented programming. In SC '10, pages 50--65, 2010.

Digital Library

Google Scholar

[2]

Engineer Bainomugisha, Jorge Vallejos, Coen De Roover, Andoni Lombide Carreton, and Wolfgang De Meuter. Interruptible context-dependent executions: A fresh look at programming context-aware applications. In Onward! '12, pages 67--84, 2012.

Digital Library

Google Scholar

[3]

Nicolás Cardozo, Sebastián González, Kim Mens, and Theo D'Hondt. Safer context (de)activation: Through the prompt-loyal strategy. In COP'11, pages 2:1--2:6, 2011.

Digital Library

Google Scholar

[4]

Sebastián González, Nicolás Cardozo, Kim Mens, Alfredo Cádiz, Jean-Christophe Libbrecht, and Julien Goffaux. Subjective-C: bringing context to mobile platform programming. In SLE'10, pages 246--265, 2011.

Digital Library

Google Scholar

[5]

Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented programming. Journal of Object Technology, 7(3):125--151, 2008.

Crossref

Google Scholar

[6]

Robert Hirschfeld, Atsushi Igarashi, and Hidehiko Masuhara. ContextFJ: a minimal core calculus for context-oriented programming. In FOAL '11, pages 19--23, 2011.

Digital Library

Google Scholar

[7]

Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. EventCJ: a context-oriented programming language with declarative event-based context transition. In AOSD '11, pages 253--264, 2011.

Digital Library

Google Scholar

[8]

Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. A unified context activation mechanism. In COP'13, pages 2:1--2:6, 2013.

Digital Library

Google Scholar

[9]

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai. Context-oriented software engineering: A modularity vision. In MODULARITY '14, pages 85--98, 2014.

Digital Library

Google Scholar

[10]

Jens Lincke, Malte Appeltauer, Bastian Steinert, and Robert Hirschfeld. An open implementation for context-oriented layer composition in ContextJS. Science of Computer Programming, 76(12):1194--1209, December.

Digital Library

Google Scholar

[11]

Michael Haupt Malte Appeltauer, Robert Hirschfeld and Hidehiko Masuhara. ContextJ: Context-oriented programming with java. Computer Software, 28(1):272--292, 2011.

Google Scholar

[12]

Guido Salvaneschi, Carlo Ghezzi, and Matteo Pradella. Context-oriented programming: A software engineering perspective. Journal of Systems and Software, 85(8):1801--1817, 2012.

Digital Library

Google Scholar

[13]

Guido Salvaneschi, Carlo Ghezzi, and Matteo Pradella. ContextErlang: Introducing context-oriented programming in the actor model. In AOSD'12, pages 191--202, 2012.

Digital Library

Google Scholar

[14]

Martin von Löwis, Marcus Denker, and Oscar Nierstrasz. Context-oriented programming: Beyond layers. In ICDL '07, pages 143--156, 2007.

Digital Library

Google Scholar

Cited By

View all

Elyasaf ACardozo NSturm A(2023)A framework for analyzing context-oriented programming languagesJournal of Systems and Software10.1016/j.jss.2023.111614198(111614)Online publication date: Apr-2023
https://doi.org/10.1016/j.jss.2023.111614
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
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
Show More Cited By

Index Terms

Unifying Multiple Layer Activation Mechanisms Using One Event Sequence
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
    2. General programming languages
      1. Language features
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Context holders: realizing multiple layer activation mechanisms in a single context-oriented language
FOAL '14: Proceedings of the 13th workshop on Foundations of aspect-oriented languages

We propose LamFJ, a calculus for expressing various layer activation mechanisms in context-oriented programming languages. LamFJ extends FeatherweightJava with context holders which are the abstraction of dynamic layer activation. By encoding programs ...
Generalized layer activation mechanism through contexts and subscribers
MODULARITY 2015: Proceedings of the 14th International Conference on Modularity

Context-oriented programming (COP) languages modularize context-dependent behaviors in multiple classes into layers. These languages have layer activation mechanisms so that the behaviors in layers take effect on a particular unit of computation during ...
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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

COP '14: Proceedings of 6th ACM International Workshop on Context-Oriented Programming

July 2014

52 pages

ISBN:9781450328616

DOI:10.1145/2637066

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]

In-Cooperation

AITO: Assoc Internationale por les Technologies Objects

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 July 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Tutorial
Research
Refereed limited

Conference

ECOOP '14

Sponsor:

ECOOP '14: European Conference on Object-Oriented Programming

July 28 - August 1, 2014

Uppsala, Sweden

Acceptance Rates

COP '14 Paper Acceptance Rate 8 of 9 submissions, 89%;

Overall Acceptance Rate 17 of 25 submissions, 68%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
120
Total Downloads

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

Reflects downloads up to 23 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Elyasaf ACardozo NSturm A(2023)A framework for analyzing context-oriented programming languagesJournal of Systems and Software10.1016/j.jss.2023.111614198(111614)Online publication date: Apr-2023
https://doi.org/10.1016/j.jss.2023.111614
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
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
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
Cardozo N(2018)A Declarative Language for Context ActivationProceedings of the 10th ACM International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition10.1145/3242921.3242922(1-7)Online publication date: 16-Jul-2018
https://dl.acm.org/doi/10.1145/3242921.3242922
Bodei CDegano PGalletta LSalvatori F(2016)Context-aware securityJournal of Computer Security10.3233/JCS-16055124:4(427-477)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.3233/JCS-160551
Watanabe HTanigawa ISugaya MOgura NHisazumi KFuentes LBatory DCzarnecki K(2016)A layer-structure diagram and a layer-interaction diagram towards a context-oriented development methodology for embedded systemsCompanion Proceedings of the 15th International Conference on Modularity10.1145/2892664.2892685(125-130)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2892664.2892685
Degano PFerrari GGalletta L(2016)A Two-Component Language for AdaptationIEEE Transactions on Software Engineering10.1109/TSE.2015.249694142:6(505-529)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1109/TSE.2015.2496941
Basile DGalletta LMezzetti G(2015)Safe Adaptation Through Implicit Effect CoercionEssays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 946510.5555/2963891.2963901(122-141)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.5555/2963891.2963901
Aotani TKamina TMasuhara H(2015)Type-Safe Layer-Introduced Base Functions with Imperative Layer ActivationProceedings of the 7th ACM International Workshop on Context-Oriented Programming10.1145/2786545.2786553(1-7)Online publication date: 4-Jul-2015
https://dl.acm.org/doi/10.1145/2786545.2786553
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.

Cited By

Index Terms

Recommendations

Context holders: realizing multiple layer activation mechanisms in a single context-oriented language

Generalized layer activation mechanism through contexts and subscribers

Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation