چکیده فارسی :

برنامه نویسی جنبه گرا به عنوان روشی برای پیمانه بندی کردن دغدغه های مداخله ای شناخته شده است. با این حال، سازه هایی که هدف حمایت از پیمانه بندی دغدغه های مداخله ای را دارند در واقع ممکن است پیمانه بندی کلاس را بشکنند. این امر را می توان با استفاده از قوانین طراحی مناسب بین کلاس ها و جنبه ها سبک تر کرد. ما زبانی ارائه می دهیم که از بسیاری از قوانین طراحی موجود در سیستم های جنبه گرا پشتیبانی می کند، و بیان و بررسی آنها را به طور خودکار آسان تر می کند. در مورد این که زبان ما چگونه پیمانه بندی دغدغه های مداخله ای را بدون شکستن پیمانه بندی کلاس بهبود می بخشد. همچنین، در مورد معناشناسی زبان بیان شده در Alloy بحث می کنیم.

چکیده انگلیسی :

Aspect-Oriented Programming is known as a technique for modularizing crosscutting concerns. However, constructs aimed to support crosscutting modularity might actually break class modularity. This can be mitigated by using adequate Design Rules between classes and aspects. We present a language that supports most of the Design Rules found in AO Systems, making easy to express and verify them automatically. We discuss how our language improves crosscutting modularity without breaking class modularity. Also, we give some details about the language semantics expressed in Alloy.