伊曼纽尔·德·安吉利斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 使用答案集编程合成并发程序。 (英语) Zbl 1256.68035号 芬丹。通知。 120,编号3-4,205-229(2012). 摘要:我们解决了基于答案集编程(ASP)的框架内并发程序的自动合成问题。每个要合成的并发程序都是通过提供它应该满足的行为和结构属性来指定的。行为属性,例如安全性和活性属性,是通过使用计算树逻辑的公式来指定的,这些公式被编码为逻辑程序。结构属性,例如过程的对称性,也被编码为逻辑程序。然后,将这两个编码程序的联合程序作为输入提供给ASP系统,ASP系统将返回一组答案集作为输出。最后,将每个答案集解码为一个综合程序,通过构造,该程序满足所需的行为和结构属性。 引用于1文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 第68页第17页 逻辑编程 关键词:并发程序的自动综合;计算树逻辑 软件:斯莫德尔斯;Lparse(L解析) PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Fundam。通知。120,编号3--4,205-229(2012;Zbl 1256.68035) 全文: DOI程序