作者：龚平

关键词：领域建模 ; 领域资产组织结构 ; 网络式软件 ; 语义过程模型 ; 一致性验证

论文级别：博士

学位年度：2009

作者：丁晓明

关键词：构件描述 ; 构件检索 ; 构件测试 ; 构件组装 ; 形式化 ; 语义

论文级别：博士

学位年度：2012

作者：杨男

关键词：云制造 ; 中小企业 ; 动态描述逻辑 ; 服务描述与匹配 ; 动态关联Qos ; 组合优选 ; 制造能力均衡配置 ; 多属性协商 ; 同步让步

论文级别：博士

学位年度：2013

作者：司徒渝

关键词：德阳 ; 重装 ; 产业集群 ; 生产性服务 ; 信息化平台 ; 协同创新

论文级别：博士

学位年度：2012

作者：张涛

关键词：形式化方法 ; 模型检测 ; 复杂信息系统 ; RAISE规约语言 ; 统一建模语言 ; 时间自动机

论文级别：博士

学位年度：2012

作者：李兵

关键词：计算机辅助教学 ; 话语表现理论 ; 机器定理证明 ; 自动化阅卷

论文级别：博士

学位年度：2012

作者：吴明晖

关键词：企业应用 ; 面向服务的体系架构(SOA) ; 模型驱动的体系结构(MDA) ; 本体 ; 需求分析 ; 过程建模 ; 形式化验证 ; 服务检索 ; 服务组合 ; 服务质量(QoS)

论文级别：博士

学位年度：2011

作者：张旭红

关键词：深层回指 ; 常规范式 ; 知识表征结构 ; 溯因推理 ; 二维表征结构模型

论文级别：博士

学位年度：2012

作者：王颖

关键词：业务流程管理 ; Artifact ; 模型 ; 可满足性 ; 有效性

论文级别：博士

学位年度：2012

作者：饶宏泉

关键词：参照时间 ; 时间推进 ; 修辞结构理论 ; 情状 ; 时体理论

论文级别：博士

学位年度：2012