国家高技术研究发展计划(2001AA415310)
- 作品数：8 被引量：109H指数：6
- 相关作者：曹健张申生李明禄唐飞龙韦银星更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：国家高技术研究发展计划上海市科委科技攻关项目国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 可集成模糊综合评价系统研究被引量：6
- 2003年
- 在综合评价系统的基础上,提出了评价信息可集成的模糊综合评价系统。该系统能够将语言型、区间型、等级型和决策型等模糊评价形式,以及AND型、OR型、XOR型等评价路径选择方式集成到评价体系模型中,并实现可集成的体系结构。这一体系结构不但提供对多种模糊表示和评价路径选择的存储支持,而且实现了评价体系间的集成和评价体系与决策组件的集成。
- 刘英华张申生曹健
- 基于递阶过程模式复用的软件项目过程控制
- 2003年
- 通过对过程模式的复用能够保证软件开发过程的规范性 .由于各个项目都是独特的 ,因此不存在一个统一的过程模式适合于所有的项目 .本文提出了递阶过程模式动态复用的思想 .为了便于重用 ,过程模式的描述信息建立在本体基础上 ,并采用了基于事件的软件过程建模方法 .文中讨论了过程复合方法和基于软件结构实现递阶过程模式动态复用的技术 。
- 曹健张申生李明禄
- 一个Web服务事务处理模型:结构、算法和事务补偿被引量：26
- 2003年
- 事务处理是Web服务能否用于电子商务的关键技术之一 .Web服务事务处理必须提供协调短事务和长事务的能力 .本文提出了一个能够同时处理原子事务和聚合事务的模型 ,研究了其协调算法、状态转换及恢复机制 .聚合事务允许候选者独立提交 ,并使用补偿事务来撤销已提交的子事务所带来的影响 ,可以较好地满足Web服务环境下对长事务的要求 。
- 唐飞龙李明禄曹健
- 关键词：WEB服务原子事务补偿事务
- 网格环境下的一种事务协调机制及其补偿技术被引量：20
- 2003年
- 事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一 用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力 基于GlobusToolkit和代理技术 ,提出了一种能够同时管理原子事务和聚合事务的事务协调机制 ,研究了相应的可以容错各种失败的协调算法 通过自动产生和执行补偿事务 。
- 唐飞龙李明禄曹健
- 关键词：网格原子事务补偿事务
- 基于操作语义的AutoCAD协同设计的实现被引量：7
- 2006年
- 提出了一种基于操作语义的AutoCAD协同模型。介绍如何利用AutoCAD的二次开发工具实现对AutoCAD操作信息的提取,并根据操作语义制定出一套通信协议。同时还引进了消息映射网络,保证各协作方能正确找到本地操作对象。最后对这种模型的优缺点进行了简要说明。
- 王晨张申生陈纯
- 关键词：操作语义ARX消息映射协同设计二次开发工具映射网络
- 面向团队工作的柔性工作流任务分配方法被引量：10
- 2003年
- 针对团队工作的复杂性,文中形式化地定义了支持团队工作模式的工作流模型。在此基础上,提出了以人员分配策略来表达团队构成和任务分配规则的方法,并根据团队工作的特点,引入了工作事务的概念;给出了人员分配策略的格式及其基于重写方法的执行方法,讨论了工作事务的动态生成机制;最后,讨论了支持团队工作的工作流管理系统的体系结构。
- 曹健张申生周晓俊张晓光
- 关键词：工作流团队工作
- 信息网格门户的研究被引量：1
- 2004年
- 网格门户提供了一个访问网格环境的Web界面 .当前存在的网格门户主要是基于计算网格的环境而设计 ,因此门户设计的重点是文件访问 ,提交任务 ,监控任务的执行 ,从而达到简化研究人员访问网格计算资源的目的 .信息网格是在网格基础上的为用户提供信息的平台 ,通过信息网格门户用户可以无缝的获取所需要的信息 .本文以上海网格为背景着重对信息网格门户的特点以及网格资源管理、工作流、事务进行分析和研究 .
- 李蓥李明禄俞嘉地
- 关键词：信息网格信息服务工作流事务
- UML类图的形式化及分析被引量：40
- 2002年
- 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。
- 韦银星张申生曹健
- 关键词：UML类图形式化统一建模语言对象约束语言
