邓向华;马修·德怀尔。;约翰·哈特克利夫;Masaaki Mizuno SyncGen：一个面向方面的同步框架。 （英语） 兹比尔1126.68472 Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988158-162（2004）。 摘要：本文介绍了SyncGen，它是一种从正式的高级规范自动合成复杂同步实现的工具。在SyncGen中，同步规范使用一阶逻辑或用户友好的规范模式来表达。从一个高级规范出发，合成了一个与语言无关的中间保护命令语言同步解决方案。后端转换器可以将此中间解决方案转换为各种实现框架，包括Java、带POSIX线程的C++/C以及控制器局域网消息传递原语。SyncGen已广泛用于堪萨斯州立大学的课程中。它的广泛适用性已经通过使用它来解决众所周知的并发教科书中给出的几乎所有练习以及嵌入式计算领域中的各种实际问题得到了证明。该工具以及支持文档和示例存储库都是公开的。关于整个系列，请参见[兹比尔1046.68008]. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 软件：SyncGen（同步发电机） PDF格式BibTeX公司 XML格式引用 \textit{X.Deng}等人，Lect。注释计算。科学。2988158--162（2004年；Zbl 1126.68472） 全文： 内政部