杰拉德·米歇尔斯;塞巴斯蒂安·乔斯顿;雅普·范德沃德;斯特夫·乔斯顿 安培数。在实践中应用关系代数。 (英语) 兹比尔1329.68066 哈里·德·斯瓦特(编辑),《计算机科学中的关系和代数方法》。2011年5月30日至6月3日,荷兰鹿特丹,RAMICS 2011第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21069-3/pbk)。计算机科学讲座笔记6663280-293(2011)。 摘要:关系代数可用于指定信息系统和业务流程。它在荷兰政府的两个大型It项目中得到了实际应用。但是,关系代数的哪些特点使其实用呢?本文讨论了这些特性,并从信息系统设计者的角度激发了它们。生成的语言Ampersand是关系代数的语法加糖版本。它是一种类型化语言,由编译器支持。该设计方法也称为Ampersand,使用将Ampersan脚本编译为功能规范的软件工具。这使得Ampersand作为关系代数在工业实践中的应用变得有趣。本文的目的是从实践的角度对安培生进行定义并激发其特征。这项工作是开放大学信息系统与业务流程(is&BP)系研究项目的一部分。关于整个系列,请参见[Zbl 1215.68027号]. 引用于2文件 MSC公司: 68甲18 函数编程和lambda演算 03G15年 柱代数和多代数;关系代数 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:异质关系代数;特定领域反馈;规范语言;业务规则;需求工程;类型系统;基于规则的设计 软件:哈斯克尔;安培桑(Ampersand) PDF格式BibTeX公司 XML格式引用 \textit{G.Michels}等人,Lect。注释计算。科学。6663280-293(2011年;Zbl 1329.68066) 全文: 内政部