[论文解读] Implementation of the Domain-Specific Language EasyTime using a LISA Compiler Generator

Iztok Fister, Marjan Mernik+2 more|arXiv (Cornell University)|Jun 12, 2012

Model-Driven Software Engineering Techniques参考文献 10被引用 5

一句话总结

本文提出 EasyTime，一种用于配置体育赛事中自动化计时系统的领域特定语言（DSL），通过 LISA 编译器生成器从属性语法规范自动生成编译器。该方法通过将计时规则编码为人类可读的 DSL，减少了对定制编程和专业供应商的依赖，实现了灵活、可靠且高效的赛事处理，已在世界超双项铁人三项锦标赛及国家级计时赛等重大赛事中成功部署。

ABSTRACT

A manually time-measuring tool in mass sporting competitions cannot be imagined nowadays because many modern disciplines, such as IronMan, take a long time and, therefore, demand additional reliability. Moreover, automatic timing devices, based on RFID technology, have become cheaper. However, these devices cannot operate stand-alone because they need a computer measuring system that is capable of processing the incoming events, encoding the results, assigning them to the correct competitor, sorting the results according to the achieved times, and then providing a printout of the results. In this article, the domain-specific language EasyTime is presented, which enables the controlling of an agent by writing the events in a database. In particular, we are focused on the implementation of EasyTime with a LISA tool that enables the automatic construction of compilers from language specifications using Attribute Grammars. By using of EasyTime, we can also decrease the number of measuring devices. Furthermore, EasyTime is universal and can be applied to many different sporting competitions in practice.

研究动机与目标

• 设计一种领域特定语言（DSL），以简化长时长赛事（如铁人三项）中自动化计时系统的配置。
• 通过一种高层级、表达性强的 DSL，使非程序员能够定义计时逻辑，从而减少对专业软件供应商和手动配置的依赖。
• 使用 LISA 编译器生成器实现该 DSL，从而从形式化的属性语法规范自动生成编译器。
• 通过形式化语义和高效的虚拟机执行，确保生成代码的正确性、可维护性和性能。
• 在真实体育赛事中验证该方法，证明其实际适用性和可靠性。

提出的方法

• 使用属性语法对领域特定语言 EasyTime 进行形式化指定，定义其语法、语义及赛事处理规则。
• 使用 LISA 工具链从 EasyTime 语法自动生成功能正确、类型安全的编译器，确保属性传播的正确性。
• 生成的编译器将 EasyTime 程序转换为低级虚拟机（VM）指令，供目标代理系统执行。
• 执行环境使用虚拟机解释已编译代码，负责事件重建、结果映射和数据库持久化。
• 系统支持批处理和在线处理两种模式，通过起始号码或 RFID 标签将事件映射到参赛者，并通过时间戳实现结果的准确排序。
• 代理系统通过加载程序和变量一次性初始化，随后实时或从日志文件处理事件，并将结果写入数据库。

实验结果

研究问题

• RQ1 如何有效设计一种领域特定语言，以建模多阶段体育赛事中的复杂计时规则？
• RQ2 像 LISA 这类编译器生成器在多大程度上能自动从形式化语法规范构建出可靠、领域专用的编译器？
• RQ3 所生成的 DSL 和编译器是否能使非程序员在无需专业软件支持的情况下配置自动化计时系统？
• RQ4 与传统手动配置的系统相比，该系统的性能和可靠性在真实赛事中表现如何？
• RQ5 使用基于 DSL 的方法在降低配置复杂性和硬件需求方面有哪些实际优势？

主要发现

• EasyTime DSL 有效支持了包括铁人三项和计时赛在内的多种体育赛事的自动化计时系统配置，且对编程技能要求极低。
• LISA 编译器生成器实现了从形式化属性语法规范自动生成正确编译器，显著减少了实现错误。
• 该系统已在真实赛事中成功部署，包括 2009 年世界超双项铁人三项锦标赛和 2010 年国家级自行车计时赛。
• 生成的代码被高效解释执行，无性能下降，因为解释过程不耗时，且不影响实时计时精度。
• 系统支持在线和批处理模式，提升了赛事数据处理和与现有基础设施集成的灵活性。
• 使用 EasyTime 降低了对测量设备的需求，通过基于规则的逻辑使单个代理能够管理多个控制点。