马可·蒙塔利 声明性开放交互模型的规范和验证。基于逻辑的方法。 （英文） Zbl 1252.68021号 商业信息处理课程讲稿56.柏林：施普林格出版社（ISBN 978-3-642-14537-7/pbk；978-3-662-14538-4/电子书）。xxii，411页。(2010). Publisher的描述：业务流程管理或服务组合中的许多新应用程序场景和架构的特点是活动和资源的分布，以及复杂的交互和协调动态。在本书中，作者通过将各种方法集成和扩展到基于计算逻辑的综合框架中，回答了关于开放式和声明式建模抽象的基本问题。该框架允许非IT专家以图形方式指定交互模型，然后自动转换为相应的形式表示和一组完全自动化的声音和完整的验证工具。这本书是作者博士论文的修订版和扩展版，该论文荣获2009年“Marco Cadoli”奖，由意大利逻辑编程协会颁发，以表彰2007年至2009年间讨论的最杰出的计算逻辑论文。 引用于5文件 MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68N17号 逻辑编程 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：业务流程管理;服务组合;规范;验证;计算逻辑;逻辑程序设计 软件：ATL公司;LTL2BA公司;Uppaal公司;自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{M.Montali}，声明式开放交互模型的规范和验证。一种基于逻辑的方法。柏林：施普林格出版社（2010；Zbl 1252.68021） 全文： 内政部