使用OCL和JDI在Java中实现自动编译
Automated Debugging In Java Using OCL And JDI
摘要：
正确性约束为面向对象系统中的自动调试提供了基础。本文讨论了一种将正确性约束纳入Java开发环境的新方法。我们的方法使用对象约束语言（“OCL”）作为规约语言和Java接口（“JDI”）作为验证API。OCL提供了一种用于表达面向对象的约束的标准语言，其可以与统一建模语言（“UML”）软件模型集成。JDI提供了一个标准的Java API，能够支持类型安全和无副作用的运行时约束评估。所得到的正确性约束机制：（1）不需要程序设计语言修改;（2）既不需要访问也不需要改变现有的源代码;以及（3）与标准的现成Java虚拟机（“VM”）一起工作。一个原型的正确性约束审计员，以证明该机制的自动调试的目的的效用。
英文摘要：
Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the Object Constraint Language ("OCL") as a specification language and the Java Debug Interface ("JDI") as a verification API. OCL provides a standard language for expressing object-oriented constraints that can integrate with Unified Modeling Language ("UML") software models. JDI provides a standard Java API capable of supporting type-safe and side effect free runtime constraint evaluation. The resulting correctness constraint mechanism: (1) entails no programming language modifications; (2) requires neither access nor changes to existing source code; and (3) works with standard off-the-shelf Java virtual machines ("VMs"). A prototype correctness constraint auditor is presented to demonstrate the utility of this mechanism for purposes of automated debugging.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
