何涛
- 作品数：12 被引量：30H指数：3
- 供职机构：上海大学更多>>
- 发文基金：上海市教育委员会重点学科基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理化学工程更多>>
- 关于平行进口若干问题的探讨被引量：4
- 2005年
- 平行进口是个复杂的问题,其自有独具的形态、特征,且涉及深层次的国际贸易利益和国家利益,所以世界主要国家对其立法处理各不相同。中国理论界对平行进口问题还没有统一认识,立法也还是空白,但运作矛盾已开始显现。政府在立法时须通盘考虑、综合权衡,以通过科学立法保证我国经济的平稳发展。
- 何涛李冬青
- 关键词：平行进口
- SMV的观察迁移系统的模型检测分析
- 2008年
- 模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法,并实现了工具验证。它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV规约。通过观察迁移系统,证明产生的SMV规约的反例即CafeOBJ规约的反例,来找出开发早期阶段的系统的潜在错误,从而避免时间、金钱的耗费及重复性的劳动。
- 何涛缪淮扣
- 关键词：SMV
- 基于Web服务的网络软件需求元模型的建模与分析
- 网络软件配置于网络环境中,是一种特殊的面向服务计算和超大型复杂软件系统。网络软件的需求工程因为其动态拓扑结构、用户的不确定性及持续增长的需求而面临很多问题。而目前软件需求建模方法对面向服务的计算缺乏足够的支持,无法有效聚...
- 何涛
- 关键词：语义WEB服务OWL-SPETRI网
- 文献传递
- 辐射制备导电功能材料及其工业化应用
- 贾少晋王士之刘臻丁振刚张臻麒何涛周建李荣毅
- 科学技术领域项目背景:高分子复合材料的辐射改性是辐射化学应用于新材料领域，并取得较快发展的一个方面。一些复合导电高分子材料具有电阻正温度系数(PTC效应)，在一定范围内，电阻率随温度的上升而增加，在聚合物居里点附近呈几个...
- 关键词：
- 关键词：辐射改性
- 基于UML的面向对象的软件测试方法
- 分析UML状态图的组成、标准事件和嵌套、并发的优点,给出利用UML状态图产生测试用例的软件测试方法。该方法可以把状态的复杂度控制在和状态属性相关的线性级别,可以尽早发现与状态相关的错误。
- 何涛刘文杰张学斌
- 关键词：软件测试面向对象状态图UML语言
- 文献传递
- 基于Globus的网格应用关键技术研究被引量：11
- 2006年
- 随着网格研究的不断深入和迅速发展,网格的应用领域不断扩大,出现了适用于不同应用领域的网格技术,更广泛地直接服务于生产和各种商业活动。通过介绍网格概念,分析Globus工具包,研究和探讨了在OGSA体系结构和Globus支撑平台下实现网格商业应用的一些关键性技术,如高性能宽带网络、网格体系结构设计、网格操作系统设计、网格安全认证技术以及网格使用模式设计等。
- 刘文杰何涛肖浩
- 关键词：网格OGSAGLOBUS网格应用
- 基于π-演算的web服务流的分析与建模(英文)被引量：2
- 2006年
- 为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.
- 何涛缪淮扣钱忠胜
- 关键词：BPELWEB服务工作流Π-演算
- 基于π-演算的web服务流的分析与建模(英文)
- 为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法．该方法能克服web服务流语言不能表明一致性及进行验证等缺陷．讨论了web服务流的π-演算分析和建模,对WS- BPEL语法元素及动态基本活动进行了分析和形...
- 何涛缪淮扣钱忠胜
- 关键词：BPELWEB服务工作流Π-演算
- 文献传递
- 异构数据源信息集成的研究
- 2005年
- 主要讨论了在Smalltalk环境中如何实现基于对象代理模型的异构信息源的集成,如何在非OO数据源上实现OO接口,把这些非OO数据转化成OO数据。同时,在Smalltalk环境中实现了对于Oracle9i数据库以及PostgreSQL数据库的OO接口,使得可以直接用面向对象方法去访问这些基于关系型的数据库。
- 何涛刘君强
- 关键词：SMALLTALK对象代理模型异构数据源信息集成
- 类的集成测试级别研究被引量：3
- 2006年
- 为了减少类测试中集成测试的桩模块的数量,分析了类之间的依赖关系,提出确定类的静态测试级别和动态测试级别的算法。
- 何涛孙跃勇
- 关键词：面向对象
