国家高技术研究发展计划(2001AA415310)

作品数：8被引量：56H指数：5
导出分析报告
相关作者：曹健张申生李明禄唐飞龙韦银星更多>>
相关机构：上海交通大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《计算机集成制造系统》《计算机应用与软件》更多>>
相关主题：补偿事务原子事务事务工作流UML类图更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于操作语义的AutoCAD协同设计的实现被引量：6
《计算机应用与软件》2006年第2期8-9,110,共3页王晨 张申生 陈纯 
国家863/CIMS重点攻关项目"面向大批量定制的协同商务与集成设计系统"(编号:2001AA415310);上海市科技攻关项目蔬菜主要病虫害网络化远程诊断技术研究(编号:03DZ19320)
提出了一种基于操作语义的AutoCAD协同模型。介绍如何利用AutoCAD的二次开发工具实现对AutoCAD操作信息的提取,并根据操作语义制定出一套通信协议。同时还引进了消息映射网络,保证各协作方能正确找到本地操作对象。最后对这种模型的优...
关键词：操作语义 ARX 消息映射 AutoCAD 协同设计 二次开发工具 协同模型 通信协议 映射网络 
信息网格门户的研究被引量：1
《电子学报》2004年第F12期199-202,共4页李蓥 李明禄 俞嘉地 
国家 973计划项目 (No .2 0 0 2CB31 2 0 0 2 ) ;国家 863项目 (No .2 0 0 1AA41 531 0 ) ;上海市科委科技攻关重大项目 (No .0 3dz1 50 2 7)
网格门户提供了一个访问网格环境的Web界面 .当前存在的网格门户主要是基于计算网格的环境而设计 ,因此门户设计的重点是文件访问 ,提交任务 ,监控任务的执行 ,从而达到简化研究人员访问网格计算资源的目的 .信息网格是在网格基础上的...
关键词：信息网格 信息服务 工作流 事务 
网格环境下的一种事务协调机制及其补偿技术被引量：13
《计算机研究与发展》2003年第12期1796-1800,共5页唐飞龙 李明禄 曹健 
国家"九七三"重点基础研究发展规划项目 ( 2 0 0 2CB3 12 0 0 2 );国家"八六三"高技术研究发展计划基金 ( 2 0 0 1AA415 3 10 );上海市科委科技攻关重大项目 ( 0 3dz15 0 2 7;0 2 5 115 0 3 3 )
事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一 用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力 基于GlobusToolkit和代理技术 ,提出了一种能够同时管理原子事务和聚合事务的事务协调...
关键词：网格 原子事务 聚合事务 补偿事务 
面向团队工作的柔性工作流任务分配方法被引量：7
《计算机集成制造系统-CIMS》2003年第11期1006-1011,1032,共7页曹健 张申生 周晓俊 张晓光 
国家863/CIMS主题资助项目(2001AA415310)。~~
针对团队工作的复杂性,文中形式化地定义了支持团队工作模式的工作流模型。在此基础上,提出了以人员分配策略来表达团队构成和任务分配规则的方法,并根据团队工作的特点,引入了工作事务的概念;给出了人员分配策略的格式及其基于重写方...
关键词：工作流 团队工作 分配策略 工作事务 
可集成模糊综合评价系统研究被引量：5
《计算机集成制造系统-CIMS》2003年第z1期149-155,共7页刘英华 张申生 曹健 
国家863/CIMS主题资助项目(2001AA415310)。~~
在综合评价系统的基础上,提出了评价信息可集成的模糊综合评价系统。该系统能够将语言型、区间型、等级型和决策型等模糊评价形式,以及AND型、OR型、XOR型等评价路径选择方式集成到评价体系模型中,并实现可集成的体系结构。这一体系结...
关键词：模糊表示 评价路径选择 评价体系集成 决策组件系统 
基于递阶过程模式复用的软件项目过程控制
《电子学报》2003年第z1期2059-2062,共4页曹健 张申生 李明禄 
国家 8 63项目"基于Agent与工作流技术的面向实施的企业业务过程建模与评价环境"(No .2 0 0 1AA41 531 0 )
通过对过程模式的复用能够保证软件开发过程的规范性 .由于各个项目都是独特的 ,因此不存在一个统一的过程模式适合于所有的项目 .本文提出了递阶过程模式动态复用的思想 .为了便于重用 ,过程模式的描述信息建立在本体基础上 ,并采用了...
关键词：软件项目过程控制 过程模式 递阶过程模式 
一个Web服务事务处理模型:结构、算法和事务补偿被引量：12
《电子学报》2003年第z1期2074-2078,共5页唐飞龙 李明禄 曹健 
国家 973计划项目 (No .2 0 0 2CB31 2 0 0 2 ) ;国家 863项目 (No .2 0 0 1AA41 531 0 );上海市科委科技攻关重大项目 (No .0 3dz1 50 2 7);重点项目(No .0 2 51 1 50 33)
事务处理是Web服务能否用于电子商务的关键技术之一 .Web服务事务处理必须提供协调短事务和长事务的能力 .本文提出了一个能够同时处理原子事务和聚合事务的模型 ,研究了其协调算法、状态转换及恢复机制 .聚合事务允许候选者独立提交 ,...
关键词：WEB服务 模型 原子事务 聚合事务 补偿事务 
UML类图的形式化及分析被引量：12
《计算机工程与应用》2002年第10期5-7,46,共4页韦银星 张申生 曹健 
国家863高技术研究发展计划/CIMS项目资助(编号:2001AA415310);国家自然科学基金项目资助(编号:60073035)
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表...
关键词：UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部