论文标题
创建TopHat程序的交互式可视化
Creating Interactive Visualizations of TopHat Programs
论文作者
论文摘要
许多公司和机构已经在工作流管理软件中自动化了其业务流程。新颖的编程范式以任务为导向的编程（TOP）为此类软件提供了抽象。基于顶部的最大框架已用于开发真实世界软件。 工作流软件通常包括关键系统。在这种情况下，重要的是要确定软件以确定其正确性。缺乏正式的iTasks语义使其不适合正式推理。为此，Tophat已被开发为具有正式语义的顶级语言。但是，Tophat缺乏图形用户界面（GUI），因此很难开发实用的TopHat系统。 在本文中，我们提出了TopHat UI。通过结合现有的服务器框架和用户界面框架，我们在Tophat的语义上开发了在Haskell中实现概念的功能证明。我们证明，使用与iTASKS使用不同的主机语言可以实现顶级框架。由于UI框架与Tophat完全分开，因此Tophat的正式属性都没有受到损害。我们运行了几个示例程序并评估其生成的GUI。拥有这样的系统可以提高顶级软件的质量和可验证性。
Many companies and institutions have automated their business process in workflow management software. The novel programming paradigm Task-Oriented Programming (TOP) provides an abstraction for such software. The largest framework based on TOP, iTasks, has been used to develop real-world software. Workflow software often includes critical systems. In such cases it is important to reason over the software to ascertain its correctness. The lack of a formal iTasks semantics makes it unsuitable for formal reasoning. To this end TopHat has been developed as a TOP language with a formal semantics. However, TopHat lacks a graphical user interface (GUI), making it harder to develop practical TopHat systems. In this paper we present TopHat UI. By combining an existing server framework and user interface framework, we have developed a fully functioning proof of concept implementation in Haskell, on top of TopHat's semantics. We show that implementing a TOP framework is possible using a different host language than iTasks uses. None of TopHat's formal properties have been compromised, since the UI framework is completely separate from TopHat. We run several example programs and evaluate their generated GUI. Having such a system improves the quality and verifiability of TOP software in general.
