创建 TopHat 程序的交互式可视化
软件工程
2022-08-31 v1 人机交互
编程语言
摘要
许多公司与机构已在工作流管理软件中实现了业务过程自动化。新颖的编程范式面向任务编程(TOP)为此类软件提供了抽象。基于 TOP 的最大框架 iTasks 已被用于开发真实软件。工作流软件常包含关键系统。在此类情况下，对软件进行推理以确认其正确性十分重要。iTasks 缺乏形式语义，使其不适合形式推理。为此，TopHat 作为具有形式语义的 TOP 语言被开发。然而，TopHat 缺少图形用户界面(GUI)，使其更难开发实用的 TopHat 系统。本文中我们提出 TopHat UI。通过结合现有服务器框架与用户界面框架，我们在 Haskell 中基于 TopHat 的语义开发了一个功能完备的概念验证实现。我们展示了使用不同于 iTasks 所宿主语言来实现 TOP 框架是可行的。由于 UI 框架与 TopHat 完全分离，TopHat 的形式性质未被损害。我们运行若干示例程序并评估其生成的 GUI。拥有此类系统可提升 TOP 软件整体的质量与可验证性。
引用
@article{arxiv.2208.13870,
title = {Creating Interactive Visualizations of TopHat Programs},
author = {Mark Gerarts and Marc de Hoog and Nico Naus and Tim Steenvoorden},
journal= {arXiv preprint arXiv:2208.13870},
year = {2022}
}