EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


11920 Detecting behavioral conflicts among crosscutting concerns
Home Policy Brochure Browse Search User Area Contact Help

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2007) Detecting behavioral conflicts among crosscutting concerns. In: Ideals: evolvability of software-intensive high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 55-67. ISBN 978-90-78679-03-5

Full text available as:

PDF
- Univ. of Twente only
277 Kb
Exported to Metis

Abstract

Aspects have been successfully promoted as a means to improve the modularization of software in the presence of crosscutting concerns. Within the Ideals project, aspects have been shown to be valuable for improving the modularization of idioms (see also Chapter 1). The so-called aspect interference problem is considered to be one of the remaining challenges of aspect-oriented software development: aspects may interfere with the behavior of the base code or other aspects. Especially interference among aspects is dif?cult to prevent, as this may be caused solely by the composition of aspects that behave correctly in isolation. A typical situation where this may occur is when multiple advices are applied at the same, or shared, join point. In this chapter we explain the problem of behavioral conflicts among aspects at shared join points, illustrated by aspects that represent idioms: Parameter checking and Error propagation. We present an approach for the detection of behavioral conflicts that is based on a novel abstraction model for representing the behavior of advice. The approach employs a set of conflict detection rules which can be used to detect both generic conflicts as well as domain or application speci?c conflicts. One of the benefits of the approach is that it neither requires the application programmers to deal with the conflict models, nor does it require a background in formal methods for the aspect programmers.

Item Type:Book Section
Research Group:EWI-SE: Software Engineering
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:ESI/IDEALS: Idiom Design for Embedded Applications on Large Scale
ID Code:11920
Status:Published
Deposited On:15 December 2008
Refereed:No
International:No
More Information:statisticsmetis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item