×

活动对象的行为子类型和属性保留。 (英语) Zbl 1056.68060号

Jacobs,Bart(ed.)等人,开放对象分布式系统的形式化方法V.IFIP TC6/WG6.1第五届国际会议,FMOODS 2002,荷兰恩舍德,2002年3月20日至22日。波士顿:Kluwer学术出版社(ISBN 0-7923-7683-8)。IFIP,国际联邦信息流程。81, 95-110 (2002).
摘要:行为类型和子类型已被证明是支持面向对象(O-O)语言领域增量重用的一个非常有用的概念。随着集成了O-O方法和并发的形式主义的出现,产生了活动对象系统,出现了这样的形式主义如何支持行为子类型的问题。我们提出了一个定义活动对象行为子类型的正式框架。该框架基于并发系统研究中考虑的前置关系,允许我们定义各种子类型关系。我们研究了这些子类型关系的变化程度对属性保存的影响,安全性和活性属性在不同程度上得到了保存。
关于整个系列,请参见[Zbl 0989.00045号].

MSC公司:

第68页第19页 其他编程范式(面向对象、顺序、并发、自动等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

关键词:

Petri网;对象方向

软件:

SYROCO公司
PDF格式BibTeX公司 XML格式引用