曹虹华
- 作品数：10 被引量：11H指数：2
- 供职机构：华东师范大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 语义编程语言SPROGLE及其实现机制研究
- 以语义Web服务为基础,利用语义技术更快速、更高效地进行软件系统的开发,已经成为解决企业应对不断变化市场需求的理想解决方案。本文在研究现有的面向服务的软件开发方法和技术的基础上,针对如何面向语义Web服务进行软件系统编程...
- 曹虹华
- 关键词：语义技术形式化分析
- 文献传递网络资源链接
- 一种基于语义网的服务资源描述框架RDF4S被引量：1
- 2007年
- 目前,语义Web服务技术在软件开发中面临着以下难题:服务的语义描述能力不够,自动发现、自动组合服务资源的能力不足,无法有效地支持大规模复杂应用软件的开发。针对这些问题,提出了一种服务资源描述框架RDF4S,从服务的基本信息、功能信息、执行信息以及QoS信息等方面对服务资源进行描述。该框架可以对服务的自动发现、自动组合提供支持,满足了基于语义Web服务技术开发应用软件的需要。
- 解丹应时贾向阳张韬曹虹华
- 关键词：WEB服务语义WEB资源描述框架
- 基于MDA的嵌入式软件开发平台设计被引量：2
- 2006年
- 针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例,试验结果表明EUP平台能够方便、高效地实现模型模拟和验证,为快速开发高质量的嵌入式软件提供了一种可行的途径。
- 别文群杜德慧曹虹华
- 关键词：MDAUML嵌入式软件
- 基于RDF4S语义服务描述模型的服务资源搜索框架被引量：1
- 2008年
- 语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。
- 曾志浩应时曹虹华
- 关键词：语义服务
- 面向语义Web服务程序设计的语义数据表示和处理方法
- 本发明公开了一种面向语义Web服务程序设计的语义数据表示和处理方法，包括以下步骤：(1)制定语义数据类型和语义变量的XML Schema模式规范；(2)定义基于本体的语义数据类型；(3)声明语义变量；(4)对语义变量的使...
- 应时薛童贾向阳曹虹华肖洋袁文杰赵楷崔华曾志浩
- 文献传递
- 一种基于UDDI构建软组件库的方法被引量：2
- 2006年
- 为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDD I注册机制使用W eb服务技术构建软组件库的方法。利用UDD I 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDD I注册中心,并给出与该分类法相对应的分类验证服务的简单描述。此外,扩充了UDD I的查询功能,将实现查询匹配的服务集成到UDD I中,提供对多种服务描述语言的支持。
- 曹虹华应时杜德慧马于涛
- 关键词：UDDIWEB服务
- 一种验证UML模型中动态行为与时序契约的一致性的方法
- 本发明涉及一种验证统一建模语言UML模型中动态行为与时序契约的一致性的方法，其特征在于，包括步骤：根据UML标准建模，包括生成UML状态图和UML顺序图，保存图形的元模型；对所建模型的动态行为，实现UML状态图到PROM...
- 刘静杜德慧谢越尹玲宫学强曹虹华
- 文献传递
- 基于语义的服务资源描述模型RDF4S被引量：3
- 2008年
- 在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.
- 解丹应时曹虹华贾向阳崔华肖波
- 关键词：语义WEB服务本体
- 一种面向语义Web服务的软件设计语言和设计方法被引量：4
- 2007年
- 在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域的一个实例，讨论了该方法的全过程．还给出了SPL语言和相关语言的比较．该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 .
- 曹虹华应时杜德慧贾向阳
- 关键词：语义WEB服务软件设计方法
- 一种基于性质规约模式生成LTL公式的UML模型检测系统和方法
- 本发明涉及模型驱动式软件开发领域中一种基于性质规约模式生成LTL公式的UML模型检测系统和方法，其特征在于，包括：UML状态图、模型编辑器、模型转换器、模型检测器、LTL公式编辑器，基于性质规约模式自动生成LTL公式定义...
- 杜德慧刘静谢越尹玲宫学强曹虹华
- 文献传递
