1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 软件工程

计算机支持的协同工作系统的时序逻辑模型.PDFVIP

  • 0
  • 0
  • 约2.81万字
  • 约 5页
  • 2019-01-18 发布于天津
  • 举报

计算机支持的协同工作系统的时序逻辑模型.PDF

    第卷第期软件学报年月计算机支持的协同工作系统的时序逻辑模型王国意史元春徐光佑清华大学计算机科学与技术系北京摘要为了使群体能够协同完成任务系统不仅要解决各种分布性处理应用领域的特殊性而且要提供面向用户的协作支持从而使其行为异常复杂然而对系统行为进行形式化的描述是构造软件系统的必经阶段为了清晰地描述系统的行为使其特定性质的验证成为可能本文在时序逻辑的基础上建立了系统行为的抽象描述模型在此模型中系统由分布运行实体和信息对象组成系统的主要行为表现为用时序逻辑语言描述的实体间的交互此模型可较好地对系统的分

    第 9 卷第 3 期 软　件　学　报 V o l. 9, N o. 3 1998 年 3 月 JOU RNAL O F SO FTWA R E M ar. 1998 　 计算机支

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >