10、OCL与模型驱动工程的探索与实践

OCL与模型驱动工程的探索与实践

1. 引言

在软件开发领域，精确建模对于实现高效、可靠的软件系统至关重要。对象约束语言（OCL）在这一过程中扮演着关键角色。在2004年于葡萄牙里斯本举行的第七届统一建模语言（UML）国际会议上，举办了一场关于OCL的研讨会。这场研讨会延续了之前在不同地点举办的OCL研讨会传统，旨在汇聚学术界和工业界的专业人士，共同探讨OCL的未来发展方向。

随着对象管理组织（OMG）在2002年启动MOF 2.0查询/视图/转换（QVT）的标准化进程，以及2003年众多QVT标准化提案的提交，OCL的未来发展变得尤为重要。研讨会主要聚焦于OCL与OMG的模型驱动架构（MDA）框架之间的关系，特别是在元模型级别（M2）与未来QVT标准的关联。同时，也关注OCL在应用建模级别（M1）作为约束语言的应用，以及能否将其扩展为具有副作用的高级可执行语言。

2. 研讨会目标

本次研讨会聚焦于以下几个关键领域：
- 对象约束语言与OCL 2.0标准
- 模型驱动工程
- OMG的查询/视图/转换

其目标是将来自行业、政府、大学的软件架构师、组件软件开发框架开发者、研究人员、标准制定者、供应商和大型应用客户聚集在一起，以实现以下目的：
- 更好地理解OCL 2.0的特性，以及这些特性在解决软件行业问题方面的作用。
- 深入了解OCL与QVT之间的关系。
- 确定关键发展方向、收敛方法，明确模型驱动工程（MDE）中尚未解决的研究问题和缺失的架构概念。

研讨会包含9个特邀报告和一个最终讨论环节。参与邀请中列出的感兴趣的主题包括但不限于：
- OCL