您的位置： 专家智库 > >

山东省科技攻关计划(2008GG10001026)

作品数：8 被引量：24H指数：3
相关作者：侯金奎万建成马军杨潇王海洋更多>>
相关机构：山东大学潍坊学院鲁东大学更多>>
发文基金：山东省科技攻关计划国家自然科学基金山东省科技发展计划项目更多>>
相关领域：自动化与计算机技术自然科学总论更多>>

文献类型

  • 8篇期刊文章
  • 4篇会议论文

领域

  • 11篇自动化与计算...
  • 1篇自然科学总论

主题

  • 5篇形式化
  • 5篇软件体系结构
  • 5篇体系结构
  • 4篇形式化语义
  • 4篇模型驱动开发
  • 3篇映射
  • 2篇代码
  • 2篇多文档
  • 2篇多文档自动摘...
  • 2篇设计模式
  • 2篇自动生成
  • 2篇文档
  • 2篇文摘
  • 2篇模型映射
  • 2篇计算机
  • 2篇计算机软件
  • 1篇代码生成
  • 1篇代码自动生成
  • 1篇多文档自动文...
  • 1篇形式化描述

机构

  • 12篇山东大学
  • 2篇潍坊学院
  • 1篇鲁东大学

作者

  • 7篇马军
  • 5篇侯金奎
  • 3篇杨潇
  • 3篇万建成
  • 2篇杜言琦
  • 1篇杨同峰
  • 1篇卢雷
  • 1篇王海洋
  • 1篇王帅强
  • 1篇邵海敏
  • 1篇石冰
  • 1篇史清华
  • 1篇陈竹敏
  • 1篇王晖
  • 1篇李慧
  • 1篇蔡奎
  • 1篇苗家
  • 1篇刘志杰

传媒

  • 2篇第五届全国信...
  • 1篇计算机集成制...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机工程
  • 1篇中山大学学报...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇吉林大学学报...

年份

  • 2篇2010
  • 9篇2009
  • 1篇2008
共 8 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
协同系统体系结构模型的形式化语义被引量：1
2009年
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.
侯金奎
关键词：模型驱动开发软件体系结构形式化语义
支持MDD的体系结构模型的形式化语义被引量：1
2008年
为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。
侯金奎马军
关键词：计算机软件模型驱动开发模型映射软件体系结构形式化语义
构件式体系结构模型转换的语义一致性被引量：1
2010年
基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。
侯金奎
关键词：计算机软件形式化语义软件体系结构语义一致性
一种基于HITS算法的blog文摘方法
blog文章对应了大量评论信息,评论中又包含大量的噪声,因此如何结合blog评论获取blog文章的主要内容是许多基于blog的应用所要面临的难题。以往提出的文摘方法大多是针对多文档文摘的通用方法,并未考虑blog文章的特...
苗家马军陈竹敏
关键词：BLOGHITS
文献传递
面向Web论坛的多文档摘要方法
Web论坛文章具有数据量大、信息重复度高的特点,如何快速准确地获取文章主要内容是许多基于论坛应用面临的难题。以往的多文档摘要方法由于没有考虑论坛文章的特殊性,不能有效的处理论坛文章。本文根据Web论坛文章在结构和语法上的...
王晖马军
关键词：多文档自动摘要
文献传递
基于设计模式的复杂界面建模方法被引量：4
2009年
当前界面设计模式缺乏统一的规范化描述,导致在利用多个界面设计模式的嵌套组合构建复杂用户界面模型时,不能满足在有限区域展示具有层次结构内容的需求。提出一种复杂界面的建模方法。基于对界面基本元素的抽象实现界面设计模式的规范化描述,并通过对界面元素的定制,实现复杂界面的建模和目标代码的自动生成。应用研究表明,该方法可对复杂界面的设计和实现提供有力的支持,提高用户界面开发的效率。
高腾史清华刘志杰
关键词：设计模式代码生成
构件式体系结构模型映射的形式化语义被引量：8
2009年
语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构.
侯金奎万建成杨潇王海洋
关键词：模型驱动开发模型映射形式化语义软件体系结构
基于主题模型LDA的多文档自动摘要
随着Web上文档数量的指数型增长,文档摘要起到越来越重要的作用,近年来使用概率主题模型表示多文档摘要问题受到研究者的关注。LDA(Latent Dirichlet Allocation)是主题模型中具有代表性的概率生成性...
杨潇马军杨同峰杜言琦邵海敏
关键词：多文档自动文摘主题模型LDA
文献传递
基于版块的论坛增量搜集策略
本文研究论坛的增量搜集问题。由于在论坛中同一主题通常分布在多个页面上,而传统增量搜集技术的重抓取策略通常是基于单个页面,因此这些技术并不适于对论坛增量搜集。本文通过对许多论坛中版块变化规律的统计分析,提出了基于版块的论坛...
杜言琦马军
文献传递
一种支持访问控制的用户界面设计模型被引量：2
2009年
针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI(access control user interface)模型。该模型在传统界面设计模型的基础上,引入了RBAC(rolebased access control)机制,通过对用户模型中的角色及用例进行形式化分析,并根据内部模型中描述的界面构成元素及其交互关系,在用户界面模型中给出了针对不同角色的界面展示规则和界面布局树,最终实现了界面代码的自动生成。实验证明,该模型能很好地指导多用户权限访问控制界面的生成。
李慧石冰马军万建成
关键词：访问控制界面自动生成
全选 清除 导出
共2页<12>
聚类工具0