Achieving naturalness in runtime enforcement

Abadi, Somayeh Malakuti Khah Olun

doi:10.3990/1.9789036532464

Cited by 16 publications

(20 citation statements)

References 65 publications

(87 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are several languages that support the notion of events, but as we discuss in details in [11], these languages fall short to support Event Composition Model. Therefore, we introduce the EventReactor language, which is a successor of Compose*, as the implementation of Event Composition Model.…”

Section: Eventreactor: a Language For Event Composition Modelmentioning

confidence: 99%

“…The syntax of the language, its compiler and execution semantics are explained in details in [11]. Due to the space limit, this paper only explains the features of the EventReactor language by providing an implementation of our illustrative RE technique.…”

Section: Eventreactor: a Language For Event Composition Modelmentioning

confidence: 99%

“…The keyword perthread indicates that individual instances of the event module must be created for each individual thread of execution in which the selected predefined events occur. The details of filtering events based on the instantiation strategy of event modules can be found in [11].…”

Section: Implementing the Re Techniquementioning

confidence: 99%

See 2 more Smart Citations

Evolution of composition filters to event composition

Malakuti

Akşit

2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Self Cite

View full text Add to dashboard Cite

Various different aspect-oriented (AO) languages are introduced in the literature, and naturally are evolved due to the research activities and the experiences gained in applying them to various domains. Achieving modularity, composability and abstractness in the implementation of crosscutting concerns are typical requirements that these languages aim to fulfill; and the degree to which they are fulfilled differs per language. Therefore, we always face two questions: what are the limitations of current AO languages from the perspective of these requirements, and what kinds of changes and/or new language mechanisms are necessary to address the limitations. This paper elaborates on the limitations of the current AO languages by means of runtime enforcement as an example domain. Via a new computation model termed as Event Composition Model, which is a successor of the Composition Filters Model, we outline the new language mechanisms that are necessary to overcome the limitations. This paper introduces the EventReactor language as an implementation of Event Composition Model, and by means of an example runtime enforcement technique, it illustrates the suitability of Event Composition Model to achieve better modularity, composability and abstractness in the implementation of concerns.

show abstract

Section: Eventreactor: a Language For Event Composition Modelmentioning

confidence: 99%

Section: Eventreactor: a Language For Event Composition Modelmentioning

confidence: 99%

See 1 more Smart Citation

Evolution of composition filters to event composition

Malakuti

Akşit

2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Self Cite

View full text Add to dashboard Cite

show abstract

“…EventReactor Event composition model [30] is a computational model that is based on the definitions of software concerns as event modules. An event module groups a set of events, i.e., join points, that are related to a concern and can react to this set of events.…”

Section: Existing Stateful Aspect Languagesmentioning

confidence: 99%

An expressive stateful aspect language

Leger

Tanter

Fukuda

2015

Science of Computer Programming

View full text Add to dashboard Cite

Artículo de publicación ISIStateful aspects can react to the trace of a program execution; they can support modular implementations of several crosscutting concerns like error detection, security, event handling, and debugging. However, most proposed stateful aspect languages have specifically been tailored to address a particular concern. Indeed, most of these languages differ in their pattern languages and semantics. As a consequence, developers need to tweak aspect definitions in contortive ways or create new specialized stateful aspect languages altogether if their specific needs are not supported. In this paper, we describe ESA, an expressive stateful aspect language, in which the pattern language is Turing-complete and patterns themselves are reusable, composable first-class values. In addition, the core semantic elements of every aspect in ESA areopen to customization. We describe ESA in a typed functional language. We use this description to develop a concrete and practical implementation of ESA for JavaScript. With this implementation, we illustrate the expressiveness of ESA in action with examples of diverse scenarios and expressing semantics of existing stateful aspect languages

show abstract

“…Their approach resembles our model in that it allows instantiation policies to be treated as separate modules. The Event Composition Model (ECM) [7,8] defines an interface which can be implemented to configure the instantiation of socalled event modules. Thus, instantiation policies can also be flexibly customized.…”

Section: Related Workmentioning

confidence: 99%