Incremental analysis of interference among aspects Export

@inproceedings{citeulike:3519584, abstract = {Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individually woven is correct relative to its specification. In this type of interference, one aspect can prevent another from having the required effect on a woven system. Such interference is defined and specifications of aspects are described. An incremental proof strategy based on model checking pairs of aspects for a generic model expressing the specifications is defined. When an aspect is added to a library of noninterfering aspects, only its interaction with each of the aspects from the library needs to be checked. Such checks for each pair of aspects are proven sufficient to detect interference or establish interference freedom for any order of application of any collection of aspects in a library. Implemented examples of interfering aspects are analyzed and the results are described, showing the advantage of the incremental strategy over a direct proof in space needed for the model check. Early analysis and detection of such interference in libraries of aspects will enable informed choice of the aspects to be applied, and of the weaving order.}, address = {New York, NY, USA}, author = {Katz, Emilia and Katz, Shmuel}, booktitle = {FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages}, citeulike-article-id = {3519584}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1394500}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1394496.1394500}, doi = {10.1145/1394496.1394500}, isbn = {978-1-60558-110-1}, keywords = {checking, model}, location = {Brussels, Belgium}, pages = {29--38}, posted-at = {2008-11-15 21:39:11}, priority = {3}, publisher = {ACM}, title = {Incremental analysis of interference among aspects}, url = {http://dx.doi.org/10.1145/1394496.1394500}, year = {2008} }

TY - CONF ID - citeulike:3519584 L3 - citeulike-article-id:3519584 N2 - Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individually woven is correct relative to its specification. In this type of interference, one aspect can prevent another from having the required effect on a woven system. Such interference is defined and specifications of aspects are described. An incremental proof strategy based on model checking pairs of aspects for a generic model expressing the specifications is defined. When an aspect is added to a library of noninterfering aspects, only its interaction with each of the aspects from the library needs to be checked. Such checks for each pair of aspects are proven sufficient to detect interference or establish interference freedom for any order of application of any collection of aspects in a library. Implemented examples of interfering aspects are analyzed and the results are described, showing the advantage of the incremental strategy over a direct proof in space needed for the model check. Early analysis and detection of such interference in libraries of aspects will enable informed choice of the aspects to be applied, and of the weaving order. CY - Brussels, Belgium SN - 978-1-60558-110-1 AD - New York, NY, USA EP - 38 TI - Incremental analysis of interference among aspects PB - ACM T2 - FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages SP - 29 KW - checking KW - model AU - Katz, Emilia AU - Katz, Shmuel PY - 2008/// UR - http://dx.doi.org/10.1145/1394496.1394500 ER -