基于Alloy求解过河问题

• 作者: 李国旗 肖杨
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Alloy 过河问题 模型检验
• 年，卷（期）: 2010,（10）
• 页码范围: 165-167,184
• 分类号: TP3
• 字数: 3387字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2010.10.052

摘要

Alloy是一种轻量级的建模语言,其所建模型可以由Alloy分析器自动地进行检验,并提供可视化的工具.过河问题是一个经典的逻辑问题,它要求一队人在一定约束下过河到对岸.给出基于Alloy的对复杂过河问题求解的代码和可视化的结果,通过对过河问题的基于Alloy的求解分析,提出了用Alloy语言对复杂问题建模、求解的思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖杨	北京航空航天大学工程系统工程系	4	1	1.0	1.0
2	李国旗	北京航空航天大学工程系统工程系	2	3	1.0	1.0