发布求助
文献互助 智能选刊 最新文献

Proceedings of 6th ACM International Workshop on Context-Oriented Programming最新文献

筛选
英文 中文
A Two-Component Language for COP 面向COP的双组件语言
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637072
P. Degano, G. Ferrari, Letterio Galletta
{"title":"A Two-Component Language for COP","authors":"P. Degano, G. Ferrari, Letterio Galletta","doi":"10.1145/2637066.2637072","DOIUrl":"https://doi.org/10.1145/2637066.2637072","url":null,"abstract":"Adaptive applications are designed and programmed to dynamically adjust their behaviour to respond to changes of their execution environment. This paper introduces MLCoDa, a new COP language, made of two components: a declarative one for the context and a functional constituent for computing. Here we concentrate on the rational behind the design of MLCoDa and on its dynamic semantics. We also sketch a verification mechanism based on static analysis to prevent wrong adaptations which could compromise the correct behaviour of applications.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130593469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems 基于actor的并发面向上下文系统的反射方法
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637069
Takuo Watanabe, Souhei Takeno
{"title":"A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems","authors":"Takuo Watanabe, Souhei Takeno","doi":"10.1145/2637066.2637069","DOIUrl":"https://doi.org/10.1145/2637066.2637069","url":null,"abstract":"To realize context-orientation in concurrent systems, especially in systems based on asynchronous communication, we must take special care to control synchronizations among context changes and other computations. In this paper, we present a method to construct a reflective architecture for a group of actors and describe the method to implement concurrent context-oriented systems. The key idea is to apply parallel composition to actors that constitute the meta-level of the group. This results in a uniform construction method for various types of meta-level actors. Using the method, we give a solution to a synchronization problem regarding cross-context messages.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120972306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Run-time Validation of Behavioral Adaptations 行为适应的运行时验证
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637071
Nicolás Cardozo, Laurent Christophe, Coen De Roover, W. Meuter
{"title":"Run-time Validation of Behavioral Adaptations","authors":"Nicolás Cardozo, Laurent Christophe, Coen De Roover, W. Meuter","doi":"10.1145/2637066.2637071","DOIUrl":"https://doi.org/10.1145/2637066.2637071","url":null,"abstract":"Context-oriented programming enables the composition of behavioral adaptations into a running software system. Behavioral adaptations provide the most appropriate behavior of a system when their contexts are activated or deactivated, according to the situations at hand in the system's execution environment. Behavioral adaptations can be defined by third-party vendors or even be acquired at run time. As the systems grows in complexity it becomes increasingly difficult to reason about every possible runtime adaptation. Therefore, behavioral adaptations that lead to erroneous states or compromise the system's security might be difficult to detect statically. To prevent such undesired behavioral adaptations from happening, we introduce a run-time correctness verification approach. Our approach uses a symbolic execution engine to reason about the reachable states of the system, whenever contexts are activated or deactivated. Context activation and deactivation requests are allowed depending on the presence of erroneous states within reachable states. Our approach is a step forward to ensure the run-time correctness of software systems that adapt their behavior dynamically.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131361613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Applying Data-driven Tool Development to Context-oriented Languages 将数据驱动的工具开发应用于面向上下文的语言
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637067
Marcel Taeumel, T. Felgentreff, R. Hirschfeld
{"title":"Applying Data-driven Tool Development to Context-oriented Languages","authors":"Marcel Taeumel, T. Felgentreff, R. Hirschfeld","doi":"10.1145/2637066.2637067","DOIUrl":"https://doi.org/10.1145/2637066.2637067","url":null,"abstract":"There are numerous implementations of context-oriented programming on host languages that come with graphical programming environments. However, comprehensive tool support is often missing because building and integrating graphical tools is still laborious; many programmers cannot afford to be both tool user and tool builder. We present a novel, data-driven approach on programming tools to alleviate this problem. We implemented a framework in Squeak/Smalltalk and show how programmers can use it to create and adapt integrated tools for ContextS2.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124997628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Towards Type-Safe JCop: A type system for layer inheritance and first-class layers 迈向类型安全的JCop:一种用于层继承和一等层的类型系统
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637073
Hiroaki Inoue, Atsushi Igarashi, M. Appeltauer, R. Hirschfeld
{"title":"Towards Type-Safe JCop: A type system for layer inheritance and first-class layers","authors":"Hiroaki Inoue, Atsushi Igarashi, M. Appeltauer, R. Hirschfeld","doi":"10.1145/2637066.2637073","DOIUrl":"https://doi.org/10.1145/2637066.2637073","url":null,"abstract":"This paper describes a type system for JCop, which is an extension of Java with language mechanisms for context-oriented programming. A simple type system as in Java, however, is not sufficient to prevent errors due to the absence of invoked methods because interfaces of objects can change at run time by dynamic layer composition, a characteristic feature of context-oriented programming. Igarashi, Hirschfeld, and Masuhara have studied a type system for dynamic layer composition, but their type system is not directly applicable to JCop due to JCop-specific features such as layer inheritance, first-class layers, and declarative layer composition. We discuss how their type system can be extended to these language features.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"515 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123078532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
On-Demand Layer Activation for Type-Safe Deactivation 类型安全停用的按需层激活
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637070
T. Kamina, Tomoyuki Aotani, Atsushi Igarashi
{"title":"On-Demand Layer Activation for Type-Safe Deactivation","authors":"T. Kamina, Tomoyuki Aotani, Atsushi Igarashi","doi":"10.1145/2637066.2637070","DOIUrl":"https://doi.org/10.1145/2637066.2637070","url":null,"abstract":"Dynamic layer deactivation in context-oriented programming (COP) allows a layer to be dynamically disabled in the running application in a disciplined way. Deactivating a layer may lead to an error if there is another layer which has been activated but depends on the deactivated layer in the sense that the latter calls a method that exists only in the former. A type system or static analysis might be able to check the absence of such depending layers at each deactivation point but it would not be very easy, especially in the open-world setting. We argue that the on-demand activation, which implicitly activates all layers on which currently activated layer depends, addresses this problem. In this mechanism, the precedent layer deactivation is canceled when the depending layer requires the implementation of the deactivated layer. This means that this mechanism can ensure that all method calls succeed without performing the checks of absent depending layers, which simplifies the type system. We formalize this idea as an extension of ContextFJ, a COP extension of Featherweight Java, and prove its type soundness.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134135914","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Unifying Multiple Layer Activation Mechanisms Using One Event Sequence 使用一个事件序列统一多层激活机制
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637068
Tomoyuki Aotani, T. Kamina, H. Masuhara
{"title":"Unifying Multiple Layer Activation Mechanisms Using One Event Sequence","authors":"Tomoyuki Aotani, T. Kamina, H. Masuhara","doi":"10.1145/2637066.2637068","DOIUrl":"https://doi.org/10.1145/2637066.2637068","url":null,"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.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124839330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Program Execution Environments as Contextual Values 作为上下文值的程序执行环境
Proceedings of 6th ACM International Workshop on Context-Oriented Programming Pub Date : 2014-07-28 DOI: 10.1145/2637066.2637074
Markus Raab, F. Puntigam
{"title":"Program Execution Environments as Contextual Values","authors":"Markus Raab, F. Puntigam","doi":"10.1145/2637066.2637074","DOIUrl":"https://doi.org/10.1145/2637066.2637074","url":null,"abstract":"Context-oriented programming (COP) provides a very intuitive way to handle run-time behavior varying in several dimensions. However, COP usually requires major language extensions and implies a considerable performance loss. To avoid language extensions we propose to specify program execution environments as contextual values in separate units. A tool translates such specifications into C++ classes usable in the rest of the program. Without the need of multiple dispatch, the performance can largely profit from simple caching. Furthermore, it is easy to support debugging and store contextual values in configuration files.","PeriodicalId":434800,"journal":{"name":"Proceedings of 6th ACM International Workshop on Context-Oriented Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125755295","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信