×

使用\(\mu\)CRL对JavaSpaces体系结构进行正式规范。 (英语) Zbl 1053.68511号

Arbab,Farhad(编辑)等人,《协调模型和语言》。第五届国际会议,COORDINATION 2002,英国约克,2002年4月8日至11日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43410-0)。莱克特。注释计算。科学。2315, 274-290 (2002).
摘要:我们研究了共享数据空间体系结构JavaSpaces的正式规范。这种Java技术为实体(如客户端和服务器)提供了一个虚拟空间,以便通过共享对象进行通信。
我们使用CRL,这是一种将抽象数据类型与进程代数相结合的语言,来对这种协调体系结构的抽象进行建模。除了基本的原语写、读和取之外,我们的模型还捕获交易和租赁。所提议的形式主义的主要目的是允许验证在JavaSpaces模型下构建的分布式应用程序。使用CRL和CADP工具集分析一个简单的案例研究并自动检查模型。
关于整个系列,请参见[Zbl 0992.68519号].

MSC公司:

64岁以下 分布式系统
60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 链接