Mathematical logic for computer science
Mathematical logic for computer science
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
Eos: instance-level aspects for integrated system design
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the First international conference on Runtime verification
RV'10 Proceedings of the First international conference on Runtime verification
Proceedings of the First international conference on Runtime verification
RV'10 Proceedings of the First international conference on Runtime verification
Transactions on Aspect-Oriented Software Development I
| Hi-index | 0.00 |
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 crosscut-ting 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.