Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2006-11-14
2006-11-14
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S116000
Reexamination Certificate
active
07137104
ABSTRACT:
A system, method and computer readable medium for providing class hierarchy composition aims at constructing software systems by composing a set of class hierarchies into an executable system. Current composition algorithms cannot provide semantic guarantees. The present invention provides a composition algorithm, together with an interference criterion and its correctness proof, which guarantees that behavior of the original hierarchies is preserved for interference-free compositions. In case of interference, an impact analysis can determine the consequences of integration. The method is based on existing program analysis technology and is illustrated by various examples.
REFERENCES:
patent: 5546584 (1996-08-01), Lundin et al.
patent: 5615333 (1997-03-01), Juettner et al.
patent: 5983020 (1999-11-01), Sweeney et al.
patent: 6142684 (2000-11-01), Kirshenbaum et al.
patent: 6179491 (2001-01-01), Choi et al.
patent: 6230314 (2001-05-01), Sweeney et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6467086 (2002-10-01), Kiczales et al.
patent: 6480856 (2002-11-01), McDonald et al.
patent: 2004/0015822 (2004-01-01), Linton et al.
Jang, Yoon Kyu et al. “Change Impact Analysis for a Class Hierarchy,” Proceedings of the 1998 Asia Pacific Software Engineering Conference, pp. 304-311, Taipei, Dec. 1998.
Binkley, David; Horwitz, Susan; and Reps, Thomas. “Program Integration for Languages with Procedure Calls,” ACM Transactions on Software Engineering and Methodology, pp. 3-35, Jan. 1995.
Emst, Erik. “Propagating Class and Method Combination,” In Proc. European Conference on Object-Oriented Programming (ECOOP99), pp. 67-91, Lisboa, 1999.
Harrison, William and Ossher, Harold. “Subject-Oriented Programming (A Critique of Pure Objects),” In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 411-428, 1993.
Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey; and Griswold, William G. “An Overview of AspectJ,” In Proc. 15thEuropean Conference on Object-Oriented Programming (ECOOP'01), pp. 327-353, Budapest, Hungary, Jun. 2001.
Wand, Mitchell; Kiczales, Gregor; and Dutchyn, Christopher. “A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming,” Oct. 2001.
Snelting Gregor
Tip Frank
August Casey P.
Dam Tuan
Fleit Kain Gibbons Gutman Bongini & Bianco P.L.
Gibbons Jon A.
International Business Machines - Corporation
LandOfFree
Semantics-based composition of class hierarchies does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Semantics-based composition of class hierarchies, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Semantics-based composition of class hierarchies will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3692047