咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 3 篇 行为交互模型
  • 1 篇 状态转移模型
  • 1 篇 交互状态机模型
  • 1 篇 web服务
  • 1 篇 可信性
  • 1 篇 uml状态机
  • 1 篇 cpi-calculus
  • 1 篇 协同维修
  • 1 篇 网格计算
  • 1 篇 petri网
  • 1 篇 服务组合

机构

  • 1 篇 同济大学
  • 1 篇 大连海事大学
  • 1 篇 国家高性能计算机...
  • 1 篇 中国民航大学

作者

  • 1 篇 姜乃心
  • 1 篇 耿宏
  • 1 篇 曾国荪
  • 1 篇 董健康
  • 1 篇 张宁
  • 1 篇 周静

语言

  • 3 篇 中文
检索条件"主题词=行为交互模型"
3 条 记 录,以下是1-10 订阅
排序:
服务行为交互模型及可信计算方法研究
服务行为交互模型及可信计算方法研究
收藏 引用
作者: 张宁 大连海事大学
学位级别:硕士
面向服务的体系结构作为软件集成、系统开发技术领域进步的一个里程碑,近年来凭借其自治、开放以及平台无关等特性,得到了越来越多的关注与应用。服务是构造面向服务系统的基础模块,单个服务所具有的功能存在一定的局限性,组合多个服务... 详细信息
来源: 评论
飞机协同维修仿真的交互状态机模型
收藏 引用
计算机工程与设计 2020年 第1期41卷 297-300,F0003页
作者: 董健康 姜乃心 耿宏 中国民航大学电子信息与自动化学院
针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与... 详细信息
来源: 评论
基于CPi-calculus的网格服务行为研究
收藏 引用
计算机科学 2007年 第6期34卷 13-18页
作者: 周静 曾国荪 同济大学计算机科学与技术系 国家高性能计算机工程技术中心同济分中心上海201804
当前基于网格服务组合的编排方案(choreography proposals)只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提... 详细信息
来源: 评论