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.
- G Kiczales, J Lamping, A Mendhekar, C Maeda, C Lopes, J M Loingtier and J Irwin. Aspect-oriented Programming. ECOOP, 1997.Google Scholar
- R E Filman, D P Friedman. Aspect-Oriented Programming is Quantification and Obliviousness. OOPSLA, 2000.Google Scholar
- D L Parnas. On the Criteria to be used in decomposing systems into modules. Communications of the ACM, 1972, 15(12), 1053--1058. Google Scholar
Digital Library
- http://www.eclipse.org/aspectj/.Google Scholar
- D Balzarotti and M Monga. Using program slicing to analyze aspect-oriented composition. AOSD, 2004.Google Scholar
- B H Liskov and J M Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 1994. Google Scholar
Digital Library
- 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.Google Scholar
Cross Ref
- R B Findler and M Felleisen. Contract Soundness for Object-Oriented Languages. OOPSLA, 2001. Google Scholar
Digital Library
- Dean Wampler. Contract4J for Design by Contract in Java:Design Pattern-Like Protocols and Aspect Interfaces. AOSD, 2006.Google Scholar
- http://jakarta.apache.org/commons/jexl/Google Scholar
- M Weiser. Program slicing. In Proceedings of the 5th International Conference on Software Engineering, pages 439--449. IEEE Computer Society Press, Mar. 1981. Google Scholar
Digital Library
- J. Zhao. Slicing aspect-oriented software. In Proceedings of the International Workshop on Principles of Software Evolution IWPSE 2002, Orlando, Florida, May 2002. ACM.Google Scholar
- D Balzarotti, A Castaldo D'Ursi, L Cavallaro, and M Monga. Slicing Aspect Woven Code. AOSD, 2005.Google Scholar
- J. Zhao. Applying program dependence analysis to java software. In Proc. Workshop on Software Engineering and Database Systems, pages 162--169, Taiwan, December 1998.Google Scholar
- Y ICHISUGI, A TANAKA and T WATANABE. Extension Rules: Description Rules for Safely Composable Aspects. Technical Report AIST01-J00002-4, Feb 2003.Google Scholar
- 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.Google Scholar
Index Terms
Crosscutting invariant and an efficient checking algorithm using program slicing
Recommendations
Efficient Model Checking of Hardware Using Conditioned Slicing
In this work, we present an abstraction based property verification technique for hardware using conditioned slicing. We handle safety property specifications of the form G(antecedent@?consequent). We use the antecedent of the properties to create our ...
Program Slicing for ATPG-Based Property Checking
VLSID '04: Proceedings of the 17th International Conference on VLSI DesignThis paper presents a novel technique for abstracting designsin order to increase the efficiency of formal propertychecking. Bounded Model Checking (BMC), using Satisfiability(SAT) techniques, are beginning to be widely usedfor checking properties of ...






Comments