23、面向对象软件工程中的定量方法研究进展

面向对象软件工程中的定量方法研究进展

在软件工程领域，面向对象（OO）软件的度量和评估一直是重要的研究方向。本次活动聚焦于度量定义、评估模型和预测模型等方面，展现了众多创新的研究成果和工作进展。

1. 活动概况

活动于6月19日继续进行度量定义环节，由Fernando Brito e Abreu进行了关于使用对象约束语言（OCL）定义OO软件度量的教程讲解。这也是该活动首次延长至一天半的时间。在展示环节，要求每位参与者总结所展示立场文件的新观点和局限性，这一传统有助于激发讨论。为便于比较不同贡献，将内容分为两个子部分：一是关于度量定义的元模型、新度量套件提案等；二是关于度量在描述性或预测性模型中的应用及模型开发。

2. 度量定义

目前可用的OO软件度量工具存在一些问题，许多OO度量套件在定义上缺乏精确性，导致度量难以广泛应用。为保证度量定义的精确性，需要一种形式化语言，且该语言应与被测量实体的描述语言一致。当前的度量套件大多未基于形式化元模型进行定义。

今年活动中，有两个基于形式化元模型的度量定义提案：
- Ralf Reissing的对象导向设计模型（ODEM） ：基于UML元模型，用于高级设计度量的定义。它借鉴了UML元模型中与类和包图相关的部分，并在其基础上定义了一层抽象，包含形式化定义的集合、关系和属性，可用于度量定义。Reissing还通过定义示例类、包和系统度量，以及重新定义现有度量，验证了该模型的可行性。
- Fernando Brito e Abreu的OCL方法 ：不额外定义抽象层，而是使用OCL将度量定义为元模型操作，通过