Declarative Reflection and its Application as a Pattern Language

The paper presents the re e tion fa ilities of the spe i ation language Slam-sl. Slam-sl is an obje t oriented spei ation language where lass methods are spe i ed by pre and post onditions. The re e tion apabilities permit managing these pre and post onditions in spe i ations what means that semanti re e tion is possible. The range of interesting appli ations is very wide: formal spe i ation of interfa es and abstra t lasses, spe i ation of omponent based software, formalization of design pattern, using Slamsl as a pattern language, et . The paper dis usses the last two advantages in some detail.