[论文解读] Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model

Sergio España, Arturo Luque González+2 more|arXiv (Cornell University)|Mar 18, 2011

Service-Oriented Architecture and Web Services参考文献 15被引用 6

一句话总结

本文提出了一种系统化的方法，用于从基于通信分析的需求和业务流程模型中手动推导面向对象方法（OO-Method）的概念模型。通过整合通信结构与面向对象建模原则，该方法可借助OLIVANOVA框架自动生成软件源代码，从而提升企业信息系统中的模型驱动开发水平。

ABSTRACT

Enterprise information systems can be developed following a model-driven paradigm. This way, models that represent the organisational work practice are used to produce models that represent the information system. Current software development methods are starting to provide guidelines for the construction of conceptual models, taking as input requirements models. This paper proposes the integration of two methods: Communication Analysis (a communication-oriented requirements engineering method [España, González et al. 2009]) and the OO-Method (a model-driven object-oriented software development method [Pastor and Molina 2007]). For this purpose, a systematic technique for deriving OO-Method Conceptual Models from business process and requirements models is proposed. The business process specifications (which include message structures) are processed in order to obtain static and dynamic views of the computerised information system. Then, using the OLIVANOVA framework, software source code can be generated automatically [CARE Technologies].

研究动机与目标

• 弥合面向通信的需求工程与模型驱动的面向对象开发之间的系统性整合空白。
• 实现从业务流程和消息结构规范中推导出准确的概念模型。
• 通过定义明确的转换管道，支持企业信息系统自动生成源代码。
• 提供一种形式化、基于规则的技术，以提升概念模型构建过程中的一致性和可追溯性。
• 弥合通信模型与面向对象系统模型之间的语义与结构断层。

提出的方法

• 整合通信分析（CA），以捕获业务通信结构，包括消息内容与信息流。
• 使用OO-Method的建模构件（类、关联、操作）来表示系统的静态与动态视图。
• 定义将CA消息结构与流程图映射到OO-Method概念模型元素的转换规则。
• 应用OLIVANOVA框架，从推导出的概念模型自动生成源代码。
• 通过将通信角色与消息与对象类及操作对齐，确保一致性。
• 迭代处理业务流程规范，以推导出系统的静态（类图）与动态（时序图）视图。

实验结果

研究问题

• RQ1 如何系统性地将业务流程中的通信结构映射到面向对象的概念模型？
• RQ2 为确保从基于通信的需求推导出概念模型时的保真度与一致性，需要哪些转换规则？
• RQ3 通信分析与OO-Method的整合在多大程度上支持自动生成代码？
• RQ4 所提出的方法如何提升模型驱动的企业系统开发中的可追溯性与可维护性？
• RQ5 在面向通信的建模与面向对象软件设计原则之间对齐时，面临哪些关键挑战？

主要发现

• 所提出的方法能够从通信与流程规范中推导出语义准确的概念模型。
• 该整合通过OLIVANOVA框架支持自动生成软件源代码，显著减少了手动编码工作量。
• 转换规则确保了消息结构与面向对象模型元素（如类与操作）之间的一致性。
• 该方法提供了一套系统化、基于规则的流程，增强了从需求到设计的可追溯性。
• 通过一份38页的规格说明（含25幅图）对方法进行了验证，证明其在真实建模场景中的适用性。
• 该方法已正式记录并作为技术报告（ProS-TR-2011-10）发布，支持可复现性与进一步研究。