WebRobot：使用交互式编程演示的网络机器人流程自动化
摘要：民主化机器人流程自动化（RPA）是迫切需要的，因为RPA已成为数字化转型的主要推动力，但在构建过程中仍对非专业人士要求很高。在本文中，我们研究了如何自动化一类重要的RPA任务，称为web RPA，这些任务涉及构建能够自动化数据和Web浏览器之间交互的软件机器人。我们的主要贡献有两个。首先，我们开发了一个形式化基础，允许对web RPA程序进行语义推理，并以原则性方式制定其综合问题。其次，我们提出了一种基于称为规约重写的新思想的web RPA程序综合算法。这导致了一种基于推测和验证的全新方法，该方法在基于重写的程序综合的背景下已被证明在从演示中合成程序方面既理论上简单又实际上高效。我们用一个名为WebRobot的新交互式合成器实现了这些想法，并在76个web RPA基准上进行了评估。我们的结果表明，WebRobot有效地自动化了其中大部分基准。此外，我们还展示了WebRobot与使用Egg实现的传统基于重写的合成基准的比较结果。最后，我们进行了一项小型用户研究，证明了WebRobot也具有可用性。
作者：Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang
论文ID：2203.09993
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-12