Crosscutting invariant and an efficient checking algorithm using program slicing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Crosscutting invariant and an efficient checking algorithm using program slicing
Full text	Pdf (173 KB)
Source	ACM SIGPLAN Notices archive Volume 43 , Issue 2 (February 2008) table of contents Pages 12-20 Year of Publication: 2008 ISSN:0362-1340
Publisher	ACM New York, NY, USA
Bibliometrics	Downloads (6 Weeks): 3, Downloads (12 Months): 23, Citation Count: 0

Additional Information:

abstract references index terms

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1361213.1361215 What is a DOI?

ABSTRACT

Owing to the characteristics of quantification and obliviousness, modular behavioral analysis and modular reasoning in aspect-oriented language are more difficult than that of traditional paradigms. Similar to the method of Design by Contract in object-oriented language, we annotate crosscutting modules and affected modules with pre-conditions and post-conditions. Because assigning blame for pre-condition and post-condition failures during the process of crosscutting is subtle and complex, we introduce a notion of crosscutting invariant and a checking algorithm based on this notion. Since there are some repeated contract checks in the original algorithm, we use the technology of program slicing to search those unnecessary repeat checks and delete them. We also represent an example to represent the algorithm and its improvement.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G Kiczales, J Lamping, A Mendhekar, C Maeda, C Lopes, J M Loingtier and J Irwin. Aspect-oriented Programming. ECOOP, 1997.
	2	R E Filman, D P Friedman. Aspect-Oriented Programming is Quantification and Obliviousness. OOPSLA, 2000.
	3	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	4	http://www.eclipse.org/aspectj/.
	5	D Balzarotti and M Monga. Using program slicing to analyze aspect-oriented composition. AOSD, 2004.
	6	Barbara H. Liskov , Jeannette M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.6, p.1811-1841, Nov. 1994 [doi>10.1145/197320.197383]
	7	B H Liskov and J M Wing. Behavioral subtyping using invariants and constraints. Technical Report CMU CS-99-156, School of Computer Science, Carnegie Mellon University, July 1999.
	8	Robert Bruce Findler , Matthias Felleisen, Contract Soundness for object-oriented languages, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.1-15, October 14-18, 2001, Tampa Bay, FL, USA
	9	Dean Wampler. Contract4J for Design by Contract in Java:Design Pattern-Like Protocols and Aspect Interfaces. AOSD, 2006.
	10	http://jakarta.apache.org/commons/jexl/
	11	Mark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, United States
	12	J. Zhao. Slicing aspect-oriented software. In Proceedings of the International Workshop on Principles of Software Evolution IWPSE 2002, Orlando, Florida, May 2002. ACM.
	13	D Balzarotti, A Castaldo D'Ursi, L Cavallaro, and M Monga. Slicing Aspect Woven Code. AOSD, 2005.
	14	J. Zhao. Applying program dependence analysis to java software. In Proc. Workshop on Software Engineering and Database Systems, pages 162--169, Taiwan, December 1998.
	15	Y ICHISUGI, A TANAKA and T WATANABE. Extension Rules: Description Rules for Safely Composable Aspects. Technical Report AIST01-J00002-4, Feb 2003.
	16	L Blair and M Monga. Reasoning on AspectJ programmes. In Proceedings of Workshop on Aspect-Oriented Software Development, pages 45--50, Essen, Germany, Mar. 2003.