计算机科学>计算机科学中的逻辑
标题: 说明和解释反应系统综合实现的挑战
摘要: 在反应系统的形式化综合中,系统的实现是根据其形式规范自动构造的。 综合的最大优点是通过构造得到正确的实现; 因此,不需要手动编程和繁琐的调试任务。 然而,开发人员仍然对使用自动合成工具犹豫不决,仍然倾向于手动编写代码。 反对综合的一个常见论点是,最终的实现并不总是能够清楚地描述在综合过程中做出了哪些决策。 合成工具的结果大多是不可读的,并且妨碍开发人员理解结果实现的功能。 在过去的几年中,为了使合成过程对用户更加透明,人们做了许多尝试。 要么通过构建合成工具的结果,要么通过提供额外的自动化支持来帮助用户进行规范过程。 在本文中,我们讨论了编写反应系统规范的挑战,并对开发了哪些工具来指导用户指定反应系统和理解合成工具的结果进行了调查。