×
陈晓杰。;蒙坦格罗，C。

多黑板系统中的作文提炼。 （英语） Zbl 0829.68030号

学报信息。 32，第5期，415-458（1995）.
我们引入了CONESP，这是一个根据SMoLCS方法构建的并发系统，以提供协调语言Extended Shared Prolog（ESP）的抽象模型，该模型基于黑板范式与逻辑编程的集成。CONESP是黑板系统的层次结构，每个黑板系统由一个被动黑板树和一组主动组件组成，包括并行代理和动态（子）系统。定义了两个层次结构之间的实现关系，显示为组合关系。还为直接证明开发了一些技术，即一个系统实现另一个系统的归纳证明的基本步骤。ESP正在Oikos环境中用于软件过程建模。本文的结果是对Oikos中逐步重新定义的软件过程模型的正确性进行形式验证的基础。
审核人：X.J.Chen先生

MSC公司：

68N99型 软件理论

关键词：

扩展共享序言;逻辑程序设计;CONESP公司
PDF格式BibTeX公司 XML格式引用
\textit{X.J.Chen}和\textit{C.Montangero}，《学报》第32期，第5期，第415--458页（1995年；Zbl 0829.68030）
全文： 内政部

参考文献：

[1] V.Ambriola、P.Ciancarini、C.Montangero：Oikos中的软件过程制定。R.N.Taylor，编辑，Proc。ACM SIGSOFT’90，ACM Soft。工程注释15（6），1990年12月。
[2] V.Ambriola，C.Montangero：三岁时的Oikos。《软件过程技术》编辑J.C.Derniame。1992年第二届欧洲研讨会，第84-93页。LNCS 653，Springer-Verlag，1992年。
[3] V.Ambriola，C.Montangero：Oikos：构建以过程为中心的可持续发展目标。A.Finkelstein、J.Kramer、B.Nuseibeh，软件过程建模和技术编辑，Taunton，1994年。研究研究出版社。出现。
[4] E.Astesiano，A.Giovini，G.Reggio：作为数据类型的过程：观察语义和逻辑。在I.Guessarian，编辑，《并发过程系统的语义》，第1-20页。LNCS 469，Springer-Verlag，1990年。
[5] E.Astesiano，G.Reggio：SMoLCS方法中并发语言的直接语义。IBM研究与开发杂志，31（5）：512–5341987年9月·Zbl 0629.68016号 ·doi:10.1147/rd.315.0512
[6] E.Astesiano，G.Reggio：编程语言形式语义的SMoLCS方法——教程简介。在A.N.Habermann，U.Montanari，系统开发和Ada编辑，第81–116页，LNCS 275，Springer-Verlag，1987年·Zbl 0629.68016号
[7] E.Astesiano，G.Reggio：并行系统的形式化建模和规范的结构方法。技术报告0，正式方法小组，意大利热那瓦大学Matematica学院，1991年。
[8] E.Astesiano，G.Reggio，M.Wirsing：关系规范和观察语义学。在B.Rovan J.Gruska，J.Wiedermann，编辑，数学。已找到。公司的。《科学》，第209-217页，LNCS 233，施普林格-弗拉格出版社，1986年。
[9] A.Brogi，P.Ciancarini：并发语言共享Prolog。《美国计算机学会编程语言与系统汇刊》，13（1）：99-1231991年1月·doi:10.1145/114005.102807
[10] A.Bucci，P.Ciancarini，C.Montangero：基于多元组空间的分布式逻辑语言。InProc.公司。逻辑编程会议，ICOT，东京，1991年7月。
[11] X.J.Chen：软件过程建模的形式主义和验证。博士。论文，Scuola Normale Superiore，意大利比萨，1992年11月。
[12] X.J.Chen，C.Montangero：多黑板系统的组合优化。在B.Krieg-Bruckner，编辑，Proc。第93–109页。LNCS 5821992年。
[13] P.契安卡里尼。与ESP.ACM Trans协调基于规则的软件流程。在Soft上。工程和方法。，2（3）：203–2271993年7月·数字对象标识代码：10.1145/152388.152393
[14] B.Curtis，M.I.Kellner，J.Over：过程建模。ACM通讯，35（9）：75-901992·doi:10.145/130994.130998
[15] J.C.Derniame主编：《软件过程技术》，第二届欧洲研讨会论文集。LNCS 635，Springer-Verlag，1992年。
[16] C.A.R.Hoare：沟通连续过程。普伦蒂斯·霍尔，1985年·Zbl 0637.68007号
[17] R.Milner：沟通与并发。普伦蒂斯·霍尔，伦敦，1989年·Zbl 0683.68008号
[18] R.De Nicola，U.Montanari，F.Vaandrager：来回相互模拟。InCONCUR’90，第152-165页，LNCS 458，Springer-Verlag，1990年。
[19] Rocco De Nicola：过渡系统的扩展等价。《信息学报》，1987年，24:211-237·Zbl 0636.68069号 ·doi:10.1007/BF00264365
[20] G.Plotkin：一种操作语义的结构方法。技术报告，计算机科学Deot。丹麦奥胡斯大学，1981年。DAIMI-FN-19。
[21] G.Reggio：指定并发系统和语言的方法。博士论文（意大利语），日内瓦大学，1988年。
[22] R.J.van Glabbeek：线性时间分支时间谱。InCONCUR’90，第278–297页。LNCS 458，Springer-Verlag，1990年。
[23] M.Wirsing：代数规范。在J.Van。Leeuwen，编辑，形式模型和语义。理论计算机科学手册（B卷）。麻省理工学院出版社，1990年。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。