【摘 要】
：
从软件设计实践出发，针对基于Web应用服务和设计模式的软件设计方法，提出了一种新的模型驱动开发理论框架．该框架以类型范畴理论为基础，以服务构件标识为范畴对象，以服务构件之间
【机 构】
：
潍坊学院计算机工程学院,山东大学软件学院
论文部分内容阅读
从软件设计实践出发，针对基于Web应用服务和设计模式的软件设计方法，提出了一种新的模型驱动开发理论框架．该框架以类型范畴理论为基础，以服务构件标识为范畴对象，以服务构件之间的交互和依赖关系为范畴态射，从而用范畴图表给出了软件体系结构模型的框架描述．设计模式看成是构件规范的模板，模板的实例化和规范的集成过程就是软件设计和实现的过程，从而建立起了模型转换和精化中特性描述和一致性研究的统一框架，应用研究表明，该框架符合模型驱动软件设计的本质要求，为模型转换和模型驱动的Web应用服务开发提供了新的认知、分析和研究
其他文献
核函数方法由于其有效性和简洁性在非线性盲源分离问题的探索中得到了应用,但其单一核的映射不能很好解决完全非线性问题。针对这一不足,提出了一种采用组合核函数分离非线性混合信号的方法。通过引入变化尺度因子将不同核函数纳入一个整体成为组合核函数,利用分离信号的互信息作为目标函数来反馈调节该组合核函数的尺度因子,以此寻找到对不同非线性的最佳映射。仿真结果证实了该算法的有效性,且在解决完全非线性问题时,组合核
第12届中国信息安全发展趋势与战略高层研讨会时间:2012年4月12日地点:北京主办单位:信息安全与通信保密杂志社会议内容:聚焦云安全、物联网、数据安全、工业控制系统安全、下一代互联网安全等九大热点安全问题……
为了提高图像超分辨率重建的效果,提出一种基于自适应匹配追踪稀疏表示的图像超分辨重建算法.该方法采用k次奇异值分解算法联合训练适用于高、低分辨率图像块的联合字典对;然后,寻找输入的低分辨率图像块在低分辨率字典下的稀疏表示;最后,利用字典间的相似性,通过低分辨率稀疏系数和高分辨率字典来生成清晰的高分辨率图像.在稀疏表示过程中,求解稀疏表示系数的优化算法大多使用正交匹配追踪算法.为了提高重构精度,缩短算
周苑和俞叶都是微课程教学法实验团队成员.周苑是青岛一中的生物教师,2016年开始修炼微课程教学法,同年9月,开始翻转课堂实验.rn一个月以后,有学生反对天天探究,认为探究容易
作为“鱼米之乡”的湖南,水产料年产销量预估在100万吨左右,为国内继广东、江苏、湖北之后的第四大主要水产料市场.近期,笔者走访了湖南部分水产料企业,了解当地水产料市场的
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
伴随着经济高速发展,道路作为重要的交通基础,其对通车里程的要求与道路网的覆盖范围的今非昔比.为避免路面发生沉降不均,保证道路的使用寿命,确保更好的服务飞速发展的经济
通过对Fabry-Perot谐振腔与嵌入其中的串联双晶Josephson结阵列的耦合特性的仿真研究,分析了影响耦合效率的重要因素,并找出了它们对谐振腔的谐振频率和结阵列中各结上感应电流及其一致性的影响,最终通过合理优化,在串联结阵列上得到了高幅值的均匀的感应电流。这对于实际中利用串联Josephson结阵列,在实现相位同步的情况下,观测高频微波辐照下的Shapiro台阶有指导意义。
3月26日，北京知道创字信息技术有限公司“2011—2012中国互联网网站安全报告”发布会在金台饭店举行．100多位行业用户、专家学者及国内知名媒体出席了本次发布会。