Enforcing trace properties by program transformation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 2nd international conference on Aspect-oriented software development
Pointcuts and advice in higher-order languages
Proceedings of the 2nd international conference on Aspect-oriented software development
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Advanced Separation of Concerns
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
A Formal Definition of Crosscuts
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Controlling the Complexity of Software Designs
Proceedings of the 26th International Conference on Software Engineering
abc: an extensible AspectJ compiler
Proceedings of the 4th international conference on Aspect-oriented software development
PolyAML: a polymorphic aspect-oriented functional programming language
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Expressing different conceptual models of join point selections in aspect-oriented design
Proceedings of the 5th international conference on Aspect-oriented software development
Explicitly distributed AOP using AWED
Proceedings of the 5th international conference on Aspect-oriented software development
Reflections on aspects and configurable protocols
Proceedings of the 5th international conference on Aspect-oriented software development
Proceedings of the 5th international conference on Generative programming and component engineering
Proceedings of the 6th international conference on Aspect-oriented software development
A graph-based approach to modeling and detecting composition conflicts related to introductions
Proceedings of the 6th international conference on Aspect-oriented software development
SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts
Proceedings of the 6th international conference on Aspect-oriented software development
A type-theoretic interpretation of pointcuts and advice
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Stateful aspects: the case for aspect-oriented modeling
Proceedings of the 10th international workshop on Aspect-oriented modeling
Verification of Aspect-UML models using alloy
Proceedings of the 10th international workshop on Aspect-oriented modeling
Orthogonal persistence and AOP: a balancing act
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
On dynamically-scoped crosscutting mechanisms
ACM SIGPLAN Notices
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Towards model driven design of service-based context-aware applications
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
AspectML: A polymorphic aspect-oriented functional programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Test-based pointcuts for robust and fine-grained join point specification
Proceedings of the 7th international conference on Aspect-oriented software development
Expressive scoping of dynamically-deployed aspects
Proceedings of the 7th international conference on Aspect-oriented software development
A test driven approach for aspectualizing legacy software using mock systems
Information and Software Technology
Using Aspects for Enforcing Formal Architectural Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental analysis of interference among aspects
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
A DSL to declare aspect execution order
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
DLS '08 Proceedings of the 2008 symposium on Dynamic languages
FM '08 Proceedings of the 15th international symposium on Formal Methods
Prototyping and Composing Aspect Languages
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
From sequence diagrams to Java-stairs aspects
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software
Formal analysis tools for the synchronous aspect language Larissa
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Detection and Resolution of Weaving Interactions
Transactions on Aspect-Oriented Software Development V
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
What does aspect-oriented programming mean for functional programmers?
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Empirical Software Engineering
On modeling interactions of early aspects with goals
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
Proceedings of the 8th International Workshop on Adaptive and Reflective MIddleware
AspectScript: expressive aspects for the web
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
EffectiveAdvice: disciplined advice with explicit effects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Composing aspects with aspects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Disambiguating aspect-oriented security policies
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Model-driven development for early aspects
Information and Software Technology
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Aspect-oriented programming: selecting and exposing object paths
SC'07 Proceedings of the 6th international conference on Software composition
Temporal assertions with parametrised propositions
RV'07 Proceedings of the 7th international conference on Runtime verification
Aspects, dependencies and interactions: report on the workshop ADI at ECOOP 2007
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
An event-based coordination model for context-aware applications
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Practical conflict resolution for the composition of program transformations
SC'08 Proceedings of the 7th international conference on Software composition
Language support for extensible web browsers
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
Modular aspect-oriented design with XPIs
ACM Transactions on Software Engineering and Methodology (TOSEM)
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
MAVEN: modular aspect verification and interference analysis
Formal Methods in System Design
An extensible framework for middleware design based on concurrent event-based AOP
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
An advice for advice composition in AspectJ
SC'10 Proceedings of the 9th international conference on Software composition
EScala: modular event-driven object interactions in scala
Proceedings of the tenth international conference on Aspect-oriented software development
Putting events in context: aspects for event-based distributed programming
Proceedings of the tenth international conference on Aspect-oriented software development
Making aspects natural: events and composition
Proceedings of the tenth international conference on Aspect-oriented software development
Compositional verification of events and observers: (summary)
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
Static analysis of aspect interaction and composition in component models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Science of Computer Programming
A versatile kernel for distributed AOP
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
CompAr: ensuring safe around advice composition
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Evaluating support for features in advanced modularization technologies
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Modularization of distributed web services using aspects with explicit distribution (AWED)
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
A versatile kernel for multi-language AOP
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
SC'05 Proceedings of the 4th international conference on Software Composition
Automated pattern-based pointcut generation
SC'06 Proceedings of the 5th international conference on Software Composition
Aspects of composition in the reflex AOP kernel
SC'06 Proceedings of the 5th international conference on Software Composition
Tracechecks: defining semantic interfaces with temporal logic
SC'06 Proceedings of the 5th international conference on Software Composition
SC'06 Proceedings of the 5th international conference on Software Composition
Self-Aware software – will it become a reality?
Self-star Properties in Complex Information Systems
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
An expressive aspect language for system applications with arachne
Transactions on Aspect-Oriented Software Development I
abc: an extensible AspectJ compiler
Transactions on Aspect-Oriented Software Development I
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Joinpoint inference from behavioral specification to implementation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Abstracting context in event-based software
Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
Aggregation for implicit invocations
Proceedings of the 12th annual international conference on Aspect-oriented software development
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orrthogonal and aspect interaction is a fundamental problem. In this paper, we extend previous work on a generic framework for the formal definition and interaction analysis of stateful aspects. We propose three important extensions which enhance expressivity while preserving static analyzability of interactions. First, we provide support for variables in aspects in order to share information between different execution points. This allows the definition of more precise aspects and to avoid detection of spurious conflicts. Second, we introduce generic composition operators for aspects. This enables us to provide expressive support for the resolution of conflicts among interacting aspects. Finally, we offer a means to define applicability conditions for aspects. This makes interaction analysis more precise and paves the way for reuse of aspects by making explicit requirements on contexts in which aspects must be used.