期刊文献+

对象互操作的行为模型 被引量:4

A BEHAVIOR MODEL OF OBJECT INTEROPERABILITY
下载PDF
导出
摘要 对象互操作表达了一组对象在完成某一任务时的动态协作关系,对象互操作的行为描述与抽象是支持面向应用对象互操作的基础.对此,提出一种活动模型作为描述对象互操作行为的方法.该方法以一阶时态逻辑为基础,表达了互操作对象之间交换消息的时态顺序和不同活动之间的行为关系.在该方法中,提出了活动特化和活动聚合两种行为抽象机制,实现了对象互操作行为的复用.最后讨论了给定论域的类模式和活动模式的一致性集成问题. Object interoperability behavior represents dynamic evolution and cooperation of a group of objects in accomplishing a task. The behavior description and abstraction of object interoperability is the basis of application oriented object interoperability and is a main aspect of implementing distributed object interoperability. In this paper, a activity model is presented to express the behavior semantic of object interoperability, including the temporal ordering of message exchanges within object interoperability and the behavioral relationships between activity executions. In addition, two behavior abstract mechanisms, activity specialization and activity aggregation, are proposed to realize reuse of object interoperability behavior in this model. The former is suited for behavioral refinement of existing activities into specialized activities. The latter is used for behavioral composition of simpler activities into complex activities. First order temporal logic is used as an underlying formalism for the activity model. Finally, the integration of class schema and activity schema is discussed and a methodological framework for the integration is proposed.
出处 《计算机学报》 EI CSCD 北大核心 1999年第5期502-507,共6页 Chinese Journal of Computers
基金 国家八六三高技术研究发展计划 沈阳市科技计划项目
关键词 对象互操作 行为模型 活动模型 数据库 Object interoperability, behavior model, activity model.
  • 相关文献

参考文献2

  • 1李贵,博士学位论文,1998年
  • 2Liu Ling,ACM Trans Database System,1996年,21卷,2期,157页

同被引文献12

  • 1李建欣,怀进鹏,李先贤.自动信任协商研究[J].软件学报,2006,17(1):124-133. 被引量:52
  • 2黄涛,陈家晚,冯玉琳.SCOP对象管理系统[J].软件学报,1996,7(12):714-721. 被引量:1
  • 3SKMadria.HandlingofMutualConflictsinDistributedDatabaseUsingTimestamps[J].TheComputerJournal.1998,41(6):376-385.
  • 4JAMariani,TRodden.CooperationSharing:DevelopingaSharedObjectService[J].TheComputerJournal.1996,39(8):455-470.
  • 5WINSBOROUGH W H,SEAMONS K E,JONES V E.Automate trust negotiation[C]//Proc of DARPA Information Survivability Conference and Exposition.New York:IEEE Press,2000:88-102.
  • 6BARLOW T,HESS A,SEAMONS K E.Trust negotiation in electronic markets[C]//Proc of the 8th Research Symposium on Emerging Electronic Markets.Maastricht,Netherianels:[s.n.],2001.
  • 7SEAMONS K E,WINSLETT M,YU Ting,et al..Protecting privacy during on-line trust negotiation[C]//DINGLEDINE R,SYVERSON P F.Proc of the 2nd Workshop on Privacy Enhancing Technologies.Berlin:Springer-Verlag,2003:129-143.
  • 8WINSBOROUGH W H,LI N H.Towards practical automated trust negotiation[C]//Proc of the 3rd Int'l Workshop on Policies for Distributed Systems and Networks.Washington D C:IEEE Computer Society Press,2002:92-103.
  • 9MANNA Z,WORLPER P.Synthesis of communicating processes from temporal logic specifications[J].ACM Transaction on Programming Language System,1984,6(1):68-93.
  • 10邵维忠,梅宏.统一建模语言UML述评[J].计算机研究与发展,1999,36(4):385-394. 被引量:102

引证文献4

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部