Interceptor based constraint violation detection

Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Volumn , Issue , 2005, Pages 457-464

  Wang, Qianxiang ^a   Mathu, Aditya ^b  

^a PEKING UNIVERSITY   (China)

^b Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; FUNCTIONS; XML;

FUNCTIONAL CODES; VIOLATION CODES;

CONSTRAINT THEORY;

EID: 28244502372     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Jeffrey Kephart, David Chess, The vision of Autonomie Computing, IEEE Computer, January 2003, pp41-51.
2. IBM, Automating problem determination: A first step toward self-healing computing systems, http://www-306.ibm.com/autonomic/pdfs/ Problem_Determination_WP_Final_ 100703.pdf.
3. Y.-M. Wang, C. Verbowski, J. Dunagan, Y. Chen, Y. Chun, and Z. Zhang. STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support. In Proceedings of Usenix LISA, 2003.
4. David Garlan, Bradley Schmerl, Model-based adaptation for self-healing systems, first Workshop on Self-Healing Systems (WOSS'02), November 18-19, 2002, Charleston.
5. Feng Chen, Grigore Rosu, Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation, third workshop on Runtime Verification. 2003.
6. Sandeep Neema. Ákos Lédeczi: Constraint-Guided Self-adaptation. Second International Workshop on Self-Adaptive Software, IWSAS, 2001.
7. M. Ernst, J. Cockrell, W. Griswold, and David, Notkin. Dynamically discovering likely program invariants to support program evolution. International Conference on Software Engineering (ICSE '99), 1999.
8. John Whaley, Michael C. Martin and Monica S. Lam, Automatic Extraction of Object-Oriented Component Interfaces, In Proceedings of the International Symposium on Software Testing and Analysis, July 2002.
9. David Parnas, Designing Software for Extension and Contraction, 3rd International Conference on Software Engineering, 1978.
10. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, John Irwin, Aspect-Oriented Programming, In proceedings of the European Conference on Object-Oriented Programming (ECOOP), Finland. Springer-Verlag LNCS 1241. June 1997.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
12. Qianxiang Wang, Towards a Rule Model for Self-adaptive Software, Software Engineering Notes, January, 2005.
13. SUN, J2EE Specification, http://java.sun.com/j2ee.
14. JBOSS-AOP, http://www.jboss.org/products/aop.
15. Emre Kýcýman, Yi-Min Wang, Discovering Correctness Constraints for Self-Management of System Configuration, International Conference on Autonomic Computing (ICAC'04) , May 17-18, 2004, New York, NY, USA.
16. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Java-MaC: a Run-time Assurance Tool for Java, 1st International Workshop on Run-time Verification. Paris, France, July, 2001.
17. OMG, Object Constraint Language. http://www.omg.org/cgi-bin/doc?ptc/2003- 10-14.
18. JML, http://www.cs.iastate.edu/~leavens/JML.
19. SUN. Constraints and Capabilities for Web Services, W3C Workshop on Constraints and Capabilities for Web Services, October 12-13, 2004, Redwood Shores, CA, USA.
20. P. Zave, "Classification of Research Efforts in Requirements Engineering", In proceedings of the 2nd IEEE International Symposium on Requirements engineering (RE95), pages 214-216 York, England, 1995
21. A. Pnueli. The Temporal Logic of Programs, In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977.
22. K. Havelund and G. Rosu. Monitoring Programs using Rewriting. In Proceedings, International Conference on Automated Software Engineering (ASE'01), 2001.
23. B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, NY, second edition, 1997.
24. J. V. Guttag, J. J. Homing, et al. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, NY, 1993.