一种新工具，可促进快速、无错误的软件外包设计

任何软件外包公司项目都需要在开工前制定一系列的初步计划，作为整个过程的基础和指导。在软件开发中遵循类似的过程，其中包括称为建模的特定步骤。加泰罗尼亚上大学（UOC）计算机科学、多媒体和电信学院教授和 SOM 研究实验室研究小组成员从互联网解释说：“这个过程相当于在建造之前为建筑物制定一套计划。”跨学科研究所（IN3），罗伯特·克拉里索。

工程师使用建模从特定的角度描述软件系统，例如它将使用的数据、它的组件或他们期望它运行的方式。回到建筑项目的例子，计划就是模型，可用于开发阶段的指导，以及进行模拟和测试。

据研究人员介绍，“最常用的模型类型是 UML（统一建模语言）类图符号，用于描述软件系统的结构。” 使用这些模型的优点是它们比源代码更抽象，源代码包含许多关于所使用技术的具体细节。用 Clarisó 的话来说，“模型可以更简洁、更容易生成和理解。”

因此，建模更像是一个初步步骤，而不是源代码的替代品。这些模型使人们更容易理解正在开发的系统，还可用于生成某些实现元素，使编程过程中最重复的部分自动化。

验证工具的作用

工程师使用验证工具来防止可能影响代码本身的错误，从而影响系统的最终实现。Clarisó 强调了这一过程的重要性，他说：“我们需要确保模型是正确的，以最大限度地减少软件中可能出现的错误。”

作为发表在《对象技术杂志》上的一项研究的一部分，Clarisó 与他的同事 Carlos A. González（Gran Telescopio Canarias 研究员）和 Jordi Cabot（ICREA 研究员）提出了一种新的 UML/OCL 验证技术解决常见问题的模型。每次设计人员对模型进行更改（例如添加、删除或修改信息）时，都意味着必须重新分析整个系统，这就是为什么通常仅在确定模型后才进行验证的原因在过程结束时产生。

正如 Clarisó 解释的那样，“我们的文章概述了增量验证方法的应用，也就是说，我们可以在进行任何更改时更轻松地验证模型。” 与目前这种情况只能在流程结束时验证模型不同，这允许在构建过程中对其进行验证，而无需从头开始，这有助于及早发现错误。

一个活跃的社区，在全国和全球范围内

这种方法在证书的使用方面也是创新的，这些例子说明了模型的正确操作。正如研究人员指出的那样，“当我们修改模型时，拥有新证书将消除对其验证的需要。

修改证书比重新运行验证过程的成本要低得多。”在解释这个过程时，作者提出，与其验证新模型，不如将来自原始模型的证书适配到新模型中。最大的他们现在面临的挑战是将这些技术集成到现有的软件建模工具和环境中。

在评论整个行业时，担任西班牙模型驱动软件工程卓越网络协调员的克拉里索强调，“西班牙建模社区仍然非常活跃，并参与了各种国家和国际研究项目.”

事实上，尽管网络不再运行，社区仍然作为年度软件和数据库工程会议的一部分而共同工作和协作，该会议有一个专门用于模型驱动软件工程的空间。