Aspect Composition Applying the Design by Contract Principle

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