×
莱塞，戴特里曼;里扎德·贾尼基

mereology的分类方法及其在软件组件建模中的应用。 （英语） Zbl 1170.03336号

Peters，James F.（编辑）等人，《粗糙集交易》VIII。柏林：施普林格出版社（ISBN 978-3-540-85063-2/pbk）。计算机科学课堂讲稿5084。《期刊副刊》，146-174（2008）。
小结：提出了基于范畴理论的局部整体关系理论Mereocat（mereological category），并讨论了其基本性质。在范畴框架中重新定义了数学和的概念，并将其应用于组件软件体系结构的一些属性建模。
关于整个系列，请参见[兹比尔1155.68305].

理学硕士：

03B70号 计算机科学中的逻辑
03G30型 分类逻辑，拓扑
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

整分论;范畴理论;软件组件;“部分”关系
PDF格式BibTeX公司 XML格式引用
\textit{D.T.M.Lé}和\textit{R.Janicki}，莱克特。注释计算。科学。5084、146--174（2008年；Zbl 1170.03336）
全文： 内政部

参考文献：

[1] 艾伦·R。；Garlan，D.，《架构连接的形式基础》，ACM软件工程与方法汇刊，6，3，213-249（1997）·数字对象标识代码：10.1145/258077.258078
[2] 巴尔，M。；威尔斯，C.，《拓扑、三元组与理论》（1985），海德堡：施普林格，海德堡·Zbl 0567.18001号
[3] Barwise，J。；Seligman，J.，《信息流：分布式系统的逻辑》（1997），剑桥：剑桥大学出版社，剑桥·Zbl 0927.03004号
[4] 卡萨蒂，R。；Varzi，A.，《部分和地点：空间表征的结构》（1999），剑桥：麻省理工学院出版社，剑桥
[5] Fiadeiro，J.L.，《软件工程分类》（2004），海德堡：斯普林格
[6] Forrest，P.，《非经典数学及其在集合中的应用》，《圣母院形式逻辑杂志》，43，2，79-94（2002）·Zbl 1049.03003号 ·doi:10.1305/ndjfl/1071509430
[7] Goguen，J.A.：一般系统理论的分类基础。摘自：Pichler，F.，Trappl，R.（编辑）《控制论和系统研究进展》，第121-130页，抄本图书（1973）
[8] Goguen，J.A。；Rosu，G.，机构形态，形式方面计算，13，3-5，274-307（2002）·Zbl 1001.68019号 ·doi:10.1007/s001650200013
[9] 古德曼：外表的结构。多德雷赫特（1977）
[10] Grzegorczyk，A.，《Le si niewski系统与当代逻辑研究的关系》，Studia Logica，377-95（1955）·doi:10.1007/BF0206728文件
[11] Ivers，J.，Clements，P.，Garlan，D.，Nord，R.，Schmerl，B.，Oviedo，J.:用UML 2.0记录组件和连接器视图。卡内基梅隆大学计算机科学学院技术报告CMU-CS-2004-TR-008（2004年4月）
[12] Janicki，R。；迪克斯，K。；Rytter，W.，《关于关系软件规范的数学系统》，《计算机科学数学基础》2002，375-386（2002），海德堡：斯普林格·Zbl 1014.68050号 ·doi:10.1007/3-5440-45687-2_31
[13] Janicki，R。；杰德佐维茨，J。；Szepietowski，A.，《等价关系的基本数学》，《计算机科学数学基础》2005，507-519（2005），海德堡：斯普林格·Zbl 1156.03326号 ·doi:10.1007/11549345_44
[14] Janicki，R。；Khedri，R.，《关于表格表达式的形式语义》，《计算机编程科学》，39，2-3，189-213（2001）·Zbl 0971.68100号 ·doi:10.1016/S0167-6423（00）00004-6
[15] Janicki，R。；Lê，D.T.M.，走向语用语用学，基础信息学，75，1-4295-314（2007）·Zbl 1108.68031号
[16] Jazayeri，M。；A.Ran。；van der Linden，F.，《产品系列的软件架构：原则和实践》（2000），阅读：Addison-Wesley，阅读
[17] Lawvere，F.W。；Rosebrugh，R.，《数学集》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1031.18001号
[18] 莱特·D·T·M。；Janicki，R。；Greco，S。；哈塔，Y。；平野，S。；Inuiguchi，M。；宫本茂，S。；Nguyen，H.S。；Słowiáski，R.，《关于组件软件的部分规格说明方法，计算中的粗糙集和当前趋势》，537-546（2006），海德堡：斯普林格·Zbl 1162.68400号 ·doi:10.1007/11908029_56
[19] 伦纳德·H·S。；古德曼，N.，《个体演算及其应用》，《符号逻辑杂志》，5，2，45-55（1940）·Zbl 0023.28903号 ·doi:10.2307/2266169
[20] Leśniewski，S.，Grundzüge eines neuen systems der grundlagen der mathematic，《数学基础》，24，1-81（1929）
[21] Lopes，A。；Wermelinger，M。；Fiadeiro，J.L.，《高阶架构连接器》，《ACM软件工程与方法汇刊》，12，1，64-104（2003）·Zbl 1274.68001号 ·doi:10.1145/839268.839272
[22] MacLane，S.：工作数学家的类别。施普林格（1998）·Zbl 0705.18001号
[23] Meirav，A.：整体、总和和统一（哲学研究）。斯普林格（2003）
[24] Motschnig-Pitrik，R。；Kaasböll，J.J.，零件-孔关系类别及其在面向对象分析中的应用，IEEE知识与数据工程汇刊，11，5，779-797（1999）·数字对象标识代码：10.1109/69.806936
[25] Parnas，D.L.，《关于将系统分解为模块时使用的标准》，《ACM通信》，第15、12、1053-1058页（1972年）·数字对象标识代码：10.1145/361598.361623
[26] Parnas，D.L.，《流行语：层次结构》，Proc。1974年IFIP大会，336-339（1974），阿姆斯特丹：荷兰北部
[27] Pawlak，Z.，Rough Sets（1991），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 0758.68054号
[28] Polkowski，L。；Skowron，A.，《粗糙血液学：近似推理的新范式》，《近似推理杂志》，第15期，第316-333页（1997年）·Zbl 0938.68860号
[29] 伦博，J。；Eddy，F.，面向对象建模与设计（1991），《恩格伍德悬崖：普伦蒂斯·霍尔》，恩格伍德崖
[30] 伦博，J。；雅各布森，I。；Booch，G.，《统一建模语言参考手册》（2004），阅读：Addison-Wesley，阅读
[31] Salustri，F.A.，Lockledge，J.C.：迈向包括mereology在内的正式产品理论。In：程序。第十二届国际工程设计会议，第1125-1130页（1999）
[32] 西蒙斯，P.，《论理解勒希涅夫斯基》，逻辑历史与哲学，3，2，165-191（1982）·Zbl 0516.03003号 ·doi:10.1080/01445348208837038
[33] Simons，P.，Parts:A Study in Ontology（1987），牛津：牛津大学出版社，牛津
[34] 斯科伦，A。；斯蒂芬纽克，J。；Peters，J.F.，《粗糙集与信息形态：分布式环境中关系的近似化》，《信息基础》，54，1-3，263-277（2003）·Zbl 1111.68706号
[35] Smith，B.，Mereopology:零件和边界理论，数据和知识工程，20，3287-303（1996）·Zbl 0875.68387号 ·doi:10.1016/S0169-023X（96）00015-8
[36] Srzednicki，J.T.J。；Rickey，V.F.，Le she niewski’s Systems（1984），多德雷赫特：Kluwer Academic Publishers，多德雷赫特
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。