浙江省教育厅科研计划项目(20060579)
- 作品数：4 被引量：2H指数：1
- 相关作者：陈海波邱剑锋徐海长王申康赵伟华更多>>
- 相关机构：浙江理工大学浙江大学杭州电子科技大学更多>>
- 发文基金：浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型转换的通信协议自动分析被引量：1
- 2009年
- 针对目前网络通信相关领域中协议分析程序复用程度不高且算法需要随协议版本变化不断修正的情况,在模型转换技术基础上设计了一种有限自动机模型到UML模型的转换算法,根据此算法开发了一个协议自动分析程序,能够实现使用一套程序同时进行多种类型的通信协议分析,且算法不会随协议版本变化而变化。研究结果表明,该算法提高了协议分析程序的复用性,在GPS通信系统实例中得到了应用。
- 陈海波赵伟华
- 关键词：统一建模语言
- 描述逻辑在基于语义的服务消息交互中的应用被引量：1
- 2009年
- 提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互。
- 邱剑锋王申康马勤勇王玥徐海长
- 关键词：描述逻辑语义服务数据集成
- 多表达构件实体及其层次结构研究
- 2008年
- 多表达(多型)构件是指不同接口的构件具有相同的语义行为或者不同语义行为的构件具有相同的接口.通过建立构件之间一种多型分类机制,并建立构件的分层结构,可实现对构件的全面的定义,也可以用于软件设计过程中构件模型的自动转换和自动求精。
- 朱健辉陈海波孙培梁陈新
- 关键词：非形式化接口
- 多态性构件及其代数规范
- 2009年
- 可复用构件往往需要引入多态性支持,但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及其行为特征,可以有效的支持构件的数据和行为多态性。在多层次的代数规范理论基础上,引入了构件的参数化多态和包含多态,建立了空间几何的实体多态性构件系统,实例表明了系统对于数据和行为多态性方面的有效性。
- 陈海波邱剑锋
- 关键词：多态代数规范形式化
