在 Web 上共享与学习 Alloy
计算机与社会
2019-07-09 v1 软件工程
摘要
我们提出 Alloy4Fun，一个支持在线编辑与共享 Alloy 模型及实例的 Web 应用，主要用于教育场景。通过引入模型中的秘密段落与命令概念，它还允许分发与自动评测简单的规约挑战，这一有用机制使学生能以自身节奏学习关系逻辑。Alloy4Fun 存储所有共享与分析过的模型版本，以及描绘这些模型随时间演化的派生树：这些丰富的信息可被研究者或导师挖掘，以识别例如班级中的学习断层或学生及其他 Alloy 用户的典型错误。Alloy4Fun 的测试版已在两门形式化方法课程中使用，我们给出这一初步评估的部分结果。
引用
@article{arxiv.1907.02275,
title = {Sharing and Learning Alloy on the Web},
author = {Nuno Macedo and Alcino Cunha and José Pereira and Renato Carvalho and Ricardo Silva and Ana C. R. Paiva and Miguel S. Ramalho and Daniel Silva},
journal= {arXiv preprint arXiv:1907.02275},
year = {2019}
}