We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK


93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Aspect Composition Applying the Design by Contr...
View graph of relations

« Back

Aspect Composition Applying the Design by Contract Principle

Research output: Contribution in Book/Report/ProceedingsPaper


Publication date2001
Host publicationGenerative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers
EditorsGreg Butler, Stan Jarzabek
Place of publicationBerlin
Number of pages13
ISBN (Print)978-3-540-42578-6
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


The composition of software units has been one of the main research topics in computer science. This paper addresses the composition validation problem evolving in this context. It focuses on the composition for a certain kind of units called aspects. Aspects are a new concept which is introduced by aspect-oriented programming aiming at a better separation of concerns. Cross-cutting code is captured and localised in these aspects. Some of the cross-cutting features which are expressed in aspects cannot be woven with other features into the same application since two features could be mutually exclusive. With a growing number of aspects, manual control of these dependencies becomes error-prone or even impossible. We show how assertions can be useful in this respect to support the software developer.