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

作品数：8被引量：21H指数：2
导出分析报告
相关作者：侯金奎万建成马军杨潇王海洋更多>>
相关机构：山东大学潍坊学院鲁东大学更多>>
相关期刊：《电子学报》《计算机集成制造系统》《计算机应用研究》《计算机研究与发展》更多>>
相关主题：软件体系结构模型驱动开发形式化语义模型映射计算机软件更多>>
相关领域：自动化与计算机技术自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
构件式体系结构模型转换的语义一致性
《吉林大学学报（工学版）》2010年第1期238-244,共7页侯金奎 
山东省科技攻关计划项目(2008GG10001026)
基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对...
关键词：计算机软件 模型转换 形式化语义 软件体系结构 语义一致性 
基于设计模式的复杂界面建模方法被引量：3
《计算机工程》2009年第15期70-73,共4页高腾 史清华 刘志杰 
山东省科技攻关计划基金资助项目(2008GG10001026)
当前界面设计模式缺乏统一的规范化描述,导致在利用多个界面设计模式的嵌套组合构建复杂用户界面模型时,不能满足在有限区域展示具有层次结构内容的需求。提出一种复杂界面的建模方法。基于对界面基本元素的抽象实现界面设计模式的规范...
关键词：复杂界面 设计模式 界面基本元素 代码生成 
一种支持访问控制的用户界面设计模型被引量：2
《计算机应用研究》2009年第11期4136-4139,4142,共5页李慧 石冰 马军 万建成 
山东省科技攻关项目(2008GG10001026)
针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI(access control user interface)模型。该模型在传统界面设计模型的基础上,引入了RBAC(rolebased access control)机制,通过对...
关键词：界面建模 访问控制 界面自动生成 界面模板 
基于特征和范畴理论的体系结构模型形式化描述被引量：2
《计算机集成制造系统》2009年第7期1317-1322,共6页杨潇 马军 侯金奎 
高等学校博士学科点专项科研基金资助项目(20070422107);山东省科技攻关资助项目(2008GG10001026)~~
为解决模型驱动开发中缺乏形式化语义的问题,以有效支持模型转换和代码生成,根据面向特征的技术和范畴理论,提出了一种体系结构模型的形式化描述方法。在该方法中,利用类型范畴理论,形式化地描述软件体系结构模型及其之间的映射关系,以...
关键词：模型驱动开发 软件体系结构 形式化描述 范畴理论 映射 聊天室系统 
协同系统体系结构模型的形式化语义被引量：1
《电子学报》2009年第B04期106-111,105,共7页侯金奎 
山东省科技攻关项目(No.2008GG10001026)
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图...
关键词：模型驱动开发 协同系统 软件体系结构 形式化语义 
基于Web界面设计模式的复杂行为建模及其代码生成方法被引量：5
《计算机应用》2009年第4期1139-1142,共4页蔡奎 卢雷 王帅强 万建成 
山东省科技攻关项目(2008GG10001026);山东省科技发展项目(2006GG2201009)
目前基于模型的Web用户界面(UI)研究中缺乏对复杂行为的模型设计和开发方法,极大地限制了此类方法的工程化应用。针对此问题,提出了一种形式化的Web界面行为描述语言,对基于Web的用户界面中的复杂行为建模,实现了行为模型的代码自动生...
关键词：行为建模 代码自动生成 界面设计模式 
构件式体系结构模型映射的形式化语义被引量：8
《计算机研究与发展》2009年第2期310-320,共11页侯金奎 万建成 杨潇 王海洋 
国家自然科学基金项目(60673130);山东省科技攻关基金项目(2008GG10001026)~~
语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的...
关键词：模型驱动开发 模型映射 形式化语义 软件体系结构 构件模型 
支持MDD的体系结构模型的形式化语义被引量：1
《中山大学学报（自然科学版）》2008年第6期109-113,119,共6页侯金奎 马军 
山东省科技攻关资助项目(2008GG10001026)
为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结...
关键词：计算机软件 模型驱动开发 模型映射 软件体系结构 形式化语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部