×
埃米尔·塞克林斯基

使用细粒度基于操作的并发对象进行验证和优化。 （英语） Zbl 1070.68092号

西奥。计算。科学。 331，第2-3号，429-455（2005）.
概要：基于动作的并发面向对象程序通过与方法一样附加到对象的动作来表达对象的自主行为，但与方法相反，只要它们的保护为真，就可以自主执行。这一承诺是通过消除过程和对象之间的区别以及简化正确性参数来简化程序结构。在本文中，我们说明了基于操作的面向对象程序的使用，并研究了它们的验证以及从规范中对它们的细化，包括非原子操作的问题。

理学硕士：

60年第68季度 规范和验证（程序逻辑、模型检查等）
第68页第19页 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

基于对象的并发;行动;验证;精炼;最薄弱的前提条件

软件：

游泳池
PDF格式BibTeX公司 XML格式引用
\textit{E.Sekerinski}，Theor（西奥）。计算。科学。331，编号2-32429-455（2005年；Zbl 1070.68092）
全文： 内政部

参考文献：

[1] Agha，G.，ActorsA Model of Concurrent Computing in Distributed Systems，（《人工智能丛书》（1986），麻省理工学院出版社：麻省理学院出版社剑桥，MA）
[2] P.America，Pool-T:一种并行面向对象语言，载于：a.Yonezawa，M.Tokoro（编辑），面向对象并发编程，计算机系统系列，麻省理工学院出版社，马萨诸塞州剑桥，1987年。；P.America，Pool-T:一种并行面向对象语言，载于：a.Yonezawa，M.Tokoro（编辑），面向对象并发编程，计算机系统系列，麻省理工学院出版社，马萨诸塞州剑桥，1987年。
[3] America，P.，并行面向对象语言设计中的问题，形式方面计算。，1, 4, 366-411 (1989) ·Zbl 0694.68012号
[4] 美国，P。；de Boer，F.，《关于动态演化过程结构的推理》，《形式方面计算》。，6, 3, 269-316 (1994) ·Zbl 0821.68106号
[5] Andrews，G.R.，《多线程、并行和分布式编程基础》（2000），Addison-Wesley:Addison-Whesley Reading，MA
[6] R.-J.R.Back，K.Sere，《具有同步通信的动作系统》，收录于：E.-R.Olderog（编辑），IFIP工作会议，编程概念、方法，Calculi，意大利圣米尼亚托，1994年，阿姆斯特丹北霍兰德，第107-126页。；R.-J.R.Back，K.Sere，《具有同步通信的动作系统》，载：E.-R.Oderog（编辑），IFIP工作会议，编程概念、方法、微积分，意大利圣米尼亚托，1994年，阿姆斯特丹北荷兰，第107-126页。
[7] M.M.Bonsangue，J.N.Kok，K.Sere，动作系统中面向对象的方法，载于：J.Jeuring（编辑），程序构建的数学，计算机科学讲义，第1422卷，瑞典马斯特兰，1998年6月，1998年，施普林格，柏林，第68-95页。；M.M.Bonsangue，J.N.Kok，K.Sere，《行动系统中面向对象的方法》，J.Jeuring（编辑），《程序构造数学》，《计算机科学讲义》，第1422卷，瑞典马斯特朗，1998年6月，1998年，柏林斯普林格，第68-95页。
[8] Bonsangue，M.M。；Kok，J.N。；Sere，K.，《开发基于对象的分布式系统》，（Ciancarini，P.；Fantechi，A.；Gorrieri，R.，第三届IFIP Internat.Conf.开放式基于对象分布式系统的形式化方法（FMOODS’99）（1999），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），19-34·Zbl 0928.68047号
[9] 布里奥特，J.-P。；Guerraoui，R。；Lohr，K.-P.，面向对象编程中的并发性和分布，ACM计算。调查，30，3，291-329（1998）
[10] Büchi，M。；Sekerinski，E.，精炼并发对象的基础，基金。通知。，44, 1, 25-61 (2000) ·Zbl 0965.68023号
[11] Buhr，P.A。；福蒂尔，M。；Coffin，M.H.，监测分类，ACM计算机。调查，27，1，63-107（1995）
[12] W.Chen，J.T.Udding，《迈向数据精化演算》，J.L.a.van de Snepscheut（编辑），《程序构建数学》，格罗宁根大学375周年纪念，计算机科学讲稿，第375卷，荷兰格罗宁恩，柏林斯普林格，1989年，第197-218页。；W.Chen，J.T.Udding，《迈向数据精化演算》，J.L.a.van de Snepscheut（编辑），《程序构建数学》，格罗宁根大学375周年纪念，计算机科学讲稿，第375卷，荷兰格罗宁恩，柏林斯普林格，1989年，第197-218页。
[13] C.B.Jones，基于对象的并发程序设计方法，技术报告，曼彻斯特大学计算机科学系，1992年12月。；C.B.Jones，并发程序的基于对象的设计方法，技术报告，曼彻斯特大学计算机科学系，1992年12月。
[14] Jones，C.B.，在并发基于对象程序的形式化设计中调节干扰，形式化方法系统设计，8，2，105-122（1996年3月）
[15] K.Lou，基于动作的面向对象编程语言的编译器，硕士论文，麦克马斯特大学，2004。；K.Lou，基于动作的面向对象编程语言的编译器，硕士论文，麦克马斯特大学，2004年。
[16] Misra，J.，多道程序设计的一个简单的、基于对象的视图，形式化方法系统设计，20，1，23-45（2002）·Zbl 0989.68024号
[17] E.Sekerinski，《并发面向对象程序：从规范到代码》，收录于：F.S.de Boer、M.Bonsangue、S.Graf、W.-P.de Roever（编辑），组件和对象的形式化方法，First Internat。交响乐团。FMCO 02，《计算机科学讲义》，第2852卷，荷兰莱顿，柏林斯普林格，2003年，第403-423页。；E.Sekerinski，《并发面向对象程序：从规范到代码》，收录于：F.S.de Boer、M.Bonsangue、S.Graf、W.-P.de Roever（编辑），组件和对象的形式化方法，First Internat。交响乐团。FMCO 02，《计算机科学讲义》，第2852卷，荷兰莱顿，柏林斯普林格，2003年，第403-423页·Zbl 1254.68061号
[18] 塞雷，K。；Waldén，M.，远程过程的数据优化，形式方面计算。，12, 4, 278-297 (2000) ·Zbl 0972.68013号
[19] A.Yonezawa，J.-P.Briot，E.Shibayama，ABCL中面向对象的并发编程\（/\）；A.Yonezawa，J.-P.Briot，E.Shibayama，ABCL中面向对象的并发编程\（/\）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。