Overview and evaluation of constraint validation approaches in Java

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 313-322

  Froihofer, Lorenz ^a   Glos, Gerhard ^a   Osrael, Johannes ^a   Goeschka, Karl M ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; CONSTRAINT THEORY; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

CONSTRAINT VALIDATION; INTEGRITY CONSTRAINTS; RUNTIME OVERHEADS;

JAVA PROGRAMMING LANGUAGE;

EID: 34548707085     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.60     Document Type: Conference Paper

References (21)

1. A. Avižienis, J.-C. Laprie, B. Randell, and C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput., 1(1):11-33, 2004.
2. D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass - Java with assertions. In K. Havel and G. Rosu, editors, Proceedings of the First Workshop on Runtime Verification, July 2001.
3. K. K. Dhara and G. T. Leavens. Forcing behavioral subtyping through specification inheritance. In ICSE '96: Proceedings of the 18th international conference on Software engineering, pages 258-267, Washington, DC, USA, 1996. IEEE Computer Society.
4. A. Duncan and U. Hölzle. Adding contracts to Java with Handshake. Technical Report TRCS98-32, University of California, Santa Barbara, Dec. 1998.
5. L. Froihofer, J. Osrael, and K. M. Goeschka. Trading integrity for availability by means of explicit runtime constraints. In Proc. of the 30th Intl. Conf. on Computer Software and Applications, 2006.
6. J. S. Goonetillake, T. W. Carnduff, and W. A. Gray. An integrity constraint management framework in engineering design. Comput. Ind., 48(1):29-44, 2002.
7. H. V. Jagadish and X. Qian. Integrity maintenance in object-oriented databases. In Proceedings of the 18th International Conference on Very Large Data Bases, pages 469-480. Morgan Kaufmann Publishers Inc., 1992.
8. M. Karaorman, U. Hölzle, and J. L. Bruno. jContractor: A reflective java library to support design by contract. In P. Cointe, editor, Reflection, volume 1616 of Lecture Notes in Computer Science, pages 175-196. Springer, 1999.
9. G. Kiczales. Aspect-oriented programming. ACM Comput. Surv., 28(4es): 154, 1996.
10. R. Kramer. iContract - The Java design by contract tool. In TOOLS '98: Proceedings of the Technology of Object-Oriented Languages and Systems, page 295, Washington, DC, USA, 1998. IEEE Computer Society.
11. M. Lackner, A. Krall, and F. Puntigam. Supporting design by contract in java. Journal of Object Technology, 1(3):57-76, 2002. Special issue: TOOLS.
12. G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, chapter 12, pages 175-188. Kluwer Academic Publishers, 1999.
13. B. Meyer. Applying "design by contract". Computer, 25(10):40-51, 1992.
14. H. Oakasha, S. Conrad, and G. Saake. Consistency management in object-oriented databases. Concurrency and Computation: Practice and Experience, 13(11):955-985, 2001.
15. R. Plösch. Evaluation of assertion support for the java programming language. Journal of Object Technology, 1(3):5-17, 2002.
16. B. Pollak, editor. Ultra-Large-Scale Systems. Software Engineering Institute, Carnegie Mellon University, July 2006.
17. M. Richters and M. Gogolla. Validating UML models and OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML, volume 1939 of Lecture Notes in Computer Science, pages 265-277. Springer, 2000.
18. B. Verheecke. From declarative constraints in conceptual models to explicit constraint classes in implementation models. Master's thesis, Vrije Universiteit Brussel, 2001.
19. B. Verheecke and R. V. D. Straeten. Specifying and implementing the operational use of constraints in object-oriented applications. In Proceedings of the Fortieth International Conference on Tools Pacific, pages 23-32. Australian Computer Society, Inc., 2002.
20. Q. Wang and A. Mathur. Interceptor based constraint violation detection. In ECBS '05: Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), pages 457-464, Washington, DC, USA, 2005. IEEE Computer Society.
21. R. Wiebicke. Utility support for checking OCL business rules in java programs. Master's thesis, Dresden University of Technology, Dec. 2000.