咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 answer
  • 2 篇 set编程
  • 1 篇 简单服务事件语言
  • 1 篇 语法
  • 1 篇 模式
  • 1 篇 前序服务集
  • 1 篇 互斥约束
  • 1 篇 er模型
  • 1 篇 语义
  • 1 篇 组合方案
  • 1 篇 组合轨迹

机构

  • 2 篇 电子科技大学
  • 1 篇 北京邮电大学

作者

  • 2 篇 刘启和
  • 2 篇 李鑫
  • 1 篇 程渤
  • 1 篇 杨国纬
  • 1 篇 李凡

语言

  • 2 篇 中文
检索条件"主题词=set编程"
2 条 记 录,以下是1-10 订阅
一种基于事件的Web服务组合方法
收藏 引用
软件学报 2009年 第12期20卷 3101-3116页
作者: 李鑫 程渤 杨国纬 刘启和 电子科技大学计算机科学与工程学院 四川成都610054 北京邮电大学网络与交换技术国家重点实验室 北京100876
为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
ER模型的逻辑表示途径
收藏 引用
电子科技大学学报 2010年 第3期39卷 435-439页
作者: 李鑫 李凡 刘启和 电子科技大学计算机科学与工程学院 成都610054
利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径。首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明。工作不仅... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论