Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java

机译：从为Java开发动态OCL约束强制工具中学到的经验教训

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party's rights and obligations. Contracts written in the Object Constraint Language (OCL) are known to be a useful technique to specify the precondition and postcondition of operations and class invariants in a UML context, making the definition of object-oriented analysis or design elements more precise while also helping in testing and debugging. In this article, we report on the experiences with the development of ocl2j, a tool that automatically instruments OCL constraints in Java programs using aspect-oriented programming (AOP). The approach strives for automatic and efficient generation of contract code, and a non-intrusive instrumentation technique. A summary of our approach is given along with the results of an initial case study, the discussion of encountered problems, and the necessary future work to resolve the encountered issues.

机译：通过合同进行分析和设计，可以定义类与其客户之间的正式协议，表达双方的权利和义务。众所周知，使用对象约束语言（OCL）编写的合同是一种有用的技术，可以在UML上下文中指定操作和类不变式的前提和后条件，从而使面向对象分析或设计元素的定义更加精确，同时也有助于测试和调试。在本文中，我们报告了ocl2j开发的经验，ocl2j是一种使用面向方面的编程（AOP）在Java程序中自动检测OCL约束的工具。该方法致力于自动高效地生成合同代码以及一种非介入式检测技术。给出了我们的方法的摘要，以及初始案例研究的结果，所遇到问题的讨论以及解决所遇到问题的必要的未来工作。

著录项

来源
《MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium; 20051002-07; Montego Bay(JM)》|2005年|P.10-19|共10页
会议地点 Montego Bay(JM)
作者
Wojciech J. Dzidek; Lionel C. Briand; Yvan Labiche;
展开▼
作者单位

Simula Research Laboratory, Lysaker, Norway;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人造卫星;
关键词

相似文献

外文文献
中文文献
专利

1. Developing and managing transdisciplinary and transformative research on the coastal dynamics of sea level rise: Experiences and lessons learned [J] . David Kidwell, Denise E. DeLorme, Sonia H. Stephens, Earth s Future . 2016,第5期

机译：开展和管理有关海平面上升沿岸动力学的跨学科和变革性研究：经验和教训
2. Foresight tools for participative policy-making in inter-governmental processes in developing countries: Lessons learned from the eLAC Policy Priorities Delphi [J] . Martin Hilbert, Ian Miles, Julia Othmer Technological forecasting and social change . 2009,第7期

机译：发展中国家参与政府间进程决策的前瞻性工具：从拉美和加勒比地区法律优先政策中汲取的经验教训
3. Developing tools for the safety specification in risk management plans: lessons learned from a pilot project. [J] . Cooper AJ, Lettis S, Chapman CL, Pharmacoepidemiology and drug safety . 2008,第5期

机译：开发风险管理计划中的安全规范工具：从试点项目中学到的经验教训。
4. Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java [C] . Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche MoDELS International Workshops . 2006

机译：从开发Java的动态OCL约束强制工具中汲取的经验教训
5. Developing an Intergovernmental Nuclear Regulatory Organization: Lessons Learned from the International Civil Aviation Organization, the International Maritime Organization, and the International Telecommunication Union [D] . Carpenter, Clarence Eugene, Jr. 2020

机译：制定政府间核监管机构：从国际民航组织，国际海运组织和国际电信联盟中汲取的经验教训
6. Lessons Learned Developing a Diagnostic Tool for HIV-Associated Dementia Feasible to Implement in Resource-Limited Settings: Pilot Testing in Kenya [O] . Judith Kwasa, Deanna Cettomai, Edwin Lwanya, 2009

机译：吸取教训，开发可在资源有限的环境中实施的艾滋病相关痴呆症诊断工具：肯尼亚的试点测试
7. The 5C-based architectural Composition Pattern: lessons learned from re-developing the iTaSC framework for constraint-based robot programming [O] . Vanthienen Dominick, Klotzbücher Markus, Bruyninckx Herman 2014

机译：基于5C的体系结构组成模式：重新开发iTaSC框架以进行基于约束的机器人编程的经验教训

Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java

摘要

著录项

相似文献

相关主题

期刊订阅