巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;卡洛斯·庞博。;迈鲍姆，T.S.E。 中结构化规范的分类基础。 （英语） Zbl 1385.68023号 正式Asp。计算。 27，编号5-6，831-865（2015）. 本文使用被称为“制度理论”的抽象模型理论的范畴理论形式为Z形式规范语言提供基础。特别是，这适用于Z的结构机制。此外，建议的基础允许Z与其他规范形式的异类组合；这可以用Z和CSP的组合来说明。审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） 引用于3文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：\（\mathsf{Z}\）表示法;系统规范;系统验证;范畴理论;异构规范;机构 软件：马戏团;Z轴;赫茨;艾菲尔 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Castro}等人，《正式Asp》。计算。27、编号5--6831--865（2015；Zbl 1385.68023） 全文： 内政部 参考文献： [1] Baar T、Strohmeier A、Moreira A、Mellor S（2004）UML 2004。收录：计算机科学课堂讲稿，第3273卷。柏林施普林格 [2] Barr M，Wells C（1999），计算机科学的范畴理论。地点：蒙特勒大学数学研究中心·Zbl 0714.18001号 [3] Baumeister H（1999）《关联抽象数据类型和Z模式》。In：程序。1999年WADT的。计算机科学课堂讲稿，第1827卷。柏林施普林格，第366-382页·Zbl 0966.68134号 [4] Bérnabou J（1967）《双类别导论》。In：编程语言语义的补充定义。LNM第42卷。柏林施普林格，第1-77页·Zbl 1375.18001号 [5] Borzyszkowski T（1999）结构化规范的高阶逻辑和定理证明。In：程序。1999年WADT的。计算机科学课堂讲稿，第1827卷。柏林施普林格·Zbl 0966.03010号 [6] Brien SM，Martin AP（2000）《Z.J Symb Comput中的模式演算》30（1）：63-91·Zbl 0962.68112号 ·doi:10.1006/jsco.1999.0347 [7] Bujorianu MC（2004）使用视点集成规范语言。In：程序。IFM’04的。计算机科学讲义，第2999卷。柏林施普林格·Zbl 1196.68128号 [8] Castro PF、Aguirre N、Lopez Pombo CG、Maibaum TSE（2012）构建和推广Z规范的分类方法。In：程序。FACS’12。计算机科学课堂讲稿，第7684卷。柏林施普林格 [9] Chang CC，Keisler HJ（1990）模型理论。第3版。纽约州北荷兰·Zbl 0697.03022号 [10] Diaconescu R（2008），机构依赖模型理论。巴塞尔Birkhäuser Verlag·Zbl 1144.03001号 [11] Enderon H（2001）《逻辑的数学导论》。第二版，都柏林学术出版社·Zbl 0992.03001号 [12] Fiadeiro J（2004）《软件工程分类》，柏林斯普林格出版社·Zbl 1138.68365号 [13] Fiadeiro J，Maibaum TSE（1992），作为并发系统规范模块化单元的时间理论。表Asp计算4（3）：239-272·Zbl 0746.68031号 ·doi:10.1007/BF01212304 [14] Finkelstein A、Kramer J、Nuseibeh B、Finkelsstein L、Goedicke M（1992）《观点：系统开发中集成多个视角的框架》。国际软件工程知识工程杂志2（1）：31-57·doi:10.1142/S0218194092000038 [15] Fischer C（1997）《结合CSP和Z的技术报告》，奥尔登堡大学 [16] Goguen J，Burstall R（1992）《机构：规范和编程的抽象模型理论》。美国临床医学杂志39（1）：95-146·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524 [17] Henson M，Reeves S（1999）修订Z：第一部分逻辑和语义。表Asp计算11（4）：359-380·Zbl 0955.68077号 ·doi:10.1007/s001650050038 [18] Henson M，Reeves S（1999）修订Z：第二部分-逻辑发展。表Asp计算11（4）：381-401·Zbl 0955.68078号 ·doi:10.1007/s001650050039 [19] Hoare CAR，Jifeng H（1998）统一规划理论。英格尔伍德悬崖普伦蒂斯·霍尔学院分部 [20] Jacky J（1997）Z的方式，用形式化方法进行实用编程。剑桥大学出版社 [21] Lano K（2009）使用UML和java进行模型驱动软件开发。课程技术·Zbl 0955.68078号 [22] MacLane S（1998）工作数学家分类。第2版。柏林施普林格·Zbl 0705.18001号 [23] Meyer B（2000）面向对象的软件构造。英格伍德悬崖普伦蒂斯·霍尔 [24] Mossakowski T，Maeder C，Lüttich K（2007）异构工具集（hets）。In：程序。与CADE-21相关的第四次国际验证研讨会。http://CEUR-WS.org ·Zbl 0962.68112号 [25] Nicholls J（1995）Z符号：1.2版。Z标准面板 [26] Mossakowski T，Tarlecki A.Pawlowski W（1997）组合和表示逻辑系统。In：程序。类别理论和计算机科学97。计算机科学课堂讲稿，第1290卷。柏林施普林格·Zbl 0881.03044号 [27] Mossakowski T、Roggenbach M（2006）《结构化CSP——作为机构的过程代数》。In：程序。2006年瓦特。计算机科学课堂讲稿，第4409卷。柏林施普林格·Zbl 1196.68159号 [28] Oliveira M，Cavalcanti A，Woodcock J（2009）马戏团的UTP语义。表Asp计算21（2）：3-32·Zbl 1165.68048号 ·doi:10.1007/s00165-007-0052-5 [29] Parnas D（1972）关于将系统分解为模块时使用的标准。Commun公司。ACM 15（12）：1053-1058·数字对象标识代码：10.1145/361598.361623 [30] Parnas D（1985）复杂系统的模块化结构。IEEE Trans Softw Eng 11（3）：259-266·doi:10.1109/TSE.1985.232209 [31] 风险！游戏规则（1963）帕克兄弟 [32] Spivey JM（1984）《Z表示法的形式语义》。牛津大学计算实验室，T.M.PRG-41 [33] Spivey JM（1988）理解Z：一种规范语言及其形式语义。剑桥理论计算机科学丛书·Zbl 0658.68005号 [34] Spivey JM（1992）Z符号：参考手册。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0777.68003号 [35] Tarlecki A（1995）在逻辑系统之间移动。In：程序。1995年ADT/COMPASS。计算机科学课堂讲稿，第1130卷。柏林施普林格·Zbl 0962.68112号 [36] Webber M（1996）将状态图和Z相结合，用于安全关键控制系统的设计。In：程序。FME’96标准。计算机科学课堂讲稿，第1051卷。柏林施普林格 [37] Woodcock J（1990）《作为管理工具的数学：晋升证明规则》。In：大型软件系统的软件工程。施普林格，荷兰·Zbl 1165.68048号 [38] Woodcock J，Davies J（1996）使用Z：规范、细化和证明。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0855.68060号 [39] Woodcock J，Cavancanti A（2001）Circus:一种并行精化语言。技术报告，英国牛津大学计算实验室 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。