[论文解读] UCMExporter: Supporting Scenario Transformations from Use Case Maps

Daniel Amyot, Ali Echihabi+1 more|arXiv (Cornell University)|Dec 11, 2010

Advanced Software Engineering Methodologies参考文献 11被引用 8

一句话总结

UCMExporter 是一种工具，可自动将用例图（UCM）场景转换为UML时序图、消息序列图（MSC）以及TTCN-3测试骨架，实现从高层需求到详细设计的无缝过渡。它通过结构化的转换架构解决了并发路径处理、消息自定义和工具互操作性等挑战，减少了人工工作量，并提高了开发各阶段的一致性。

ABSTRACT

The Use Case Maps (UCM) scenario notation is applicable to many requirements engineering activities. However, other scenario notations, such as Message Sequence Charts (MSC) and UML Sequence Diagrams (SD), have shown to be better suited for detailed design. In order to use the notation that is best appropriate for each phase in an efficient manner, a mechanism has to be devised to automatically transfer the knowledge acquired during the requirements analysis phase (using UCM) to the design phase (using MSC or SD). This paper introduces UCMEXPORTER, a new tool that implements such a mechanism and reduces the gap between high-level requirements and detailed design. UCMEXPORTER automatically transforms individual UCM scenarios to UML Sequence Diagrams, MSC scenarios, and even TTCN-3 test skeletons. We highlight the current capabilities of the tool as well as architectural solutions addressing the main challenges faced during such transformation, including the handling of concurrent scenario paths, the generation of customized messages, and tool interoperability.

研究动机与目标

• 减少用例图（UCM）中表达的高层需求与UML时序图和消息序列图（MSC）等详细设计符号之间的差距。
• 自动化将需求阶段的场景知识传递到设计和测试阶段，最大限度减少手动重做工作。
• 支持UCM与其他形式化符号（如TTCN-3）之间的互操作性，以支持测试用例生成。
• 解决转换中的关键挑战，包括并发场景路径、消息自定义以及工具集成。

提出的方法

• 该工具采用模型转换架构，将UCM场景构造映射到UML时序图、MSC和TTCN-3中的对应元素。
• 它使用基于规则的转换引擎，将UCM参与者、事件和控制流转换为目标符号中的消息和交互。
• 通过将UCM场景中的并发路径建模为目标图表中的独立生命线和交互片段，系统支持UCM场景中的并发路径。
• 通过语义规则实现自定义消息生成，从UCM事件语义中推导出消息名称和参数。
• 通过将UCM构造与UML和MSC中使用的标准建模惯例对齐，确保互操作性。
• 该工具支持多种格式的导出，包括TTCN-3测试骨架的文本表示，使其可直接用于正式测试。

实验结果

研究问题

• RQ1 如何系统性地将UCM场景转换为UML时序图和MSC，以支持设计阶段的建模？
• RQ2 在从UCM转换到详细交互符号时，需要哪些转换规则以保持语义保真度？
• RQ3 如何在目标符号（如UML和MSC）中准确建模UCM中的并发执行路径？
• RQ4 哪些机制能够实现从UCM场景生成可执行的TTCN-3测试骨架？
• RQ5 如何在UCM、UML、MSC和TTCN-3之间实现工具互操作性，同时保持一致性和正确性？

主要发现

• UCMExporter 成功地将单个UCM场景转换为UML时序图、MSC场景以及TTCN-3测试骨架，且保持了语义保真度。
• 该工具通过将并发路径映射到目标图表中的并行生命线和交互片段，有效建模了UCM中的并发路径。
• 通过语义规则实现的自定义消息生成，确保了在转换过程中事件语义的保留。
• 转换过程确保了UCM与其他建模工具之间的互操作性，使其可无缝集成到现有开发流程中。
• 该工具通过自动化从高层需求推导详细交互模型，显著减少了设计和测试阶段的人工工作量。
• 该架构在需求工程和设计工程中，对不同建模符号之间的转换任务展现出可扩展性和可重用性。