【摘 要】
：
针对模型驱动的协同应用系统开发,基于软件体系结构,利用范畴理论和进程代数形式化描述构件模型以及它们之间的组合和映射关系,使之具有精确的语义。模型的结构语义由类型范
【机 构】
：
山东大学 计算机科学与技术学院,济南 250101
【出 处】
：
2008全国软件与应用学术会议(NASAC'08)
论文部分内容阅读
针对模型驱动的协同应用系统开发,基于软件体系结构,利用范畴理论和进程代数形式化描述构件模型以及它们之间的组合和映射关系,使之具有精确的语义。模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述。以此为基础,进一步分析了体系结构模型转换应保持的语义特性。应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型驱动的协同系统开发提供了新的认知、设计和语义计算的指导架构。
其他文献
本研究通过三维医学影像重建的几何模型，建立了一个研究颅内动脉瘤血流动力学状态的弹性壁的计算模型，利用CFD 和有限元方法对弹性壁模型中的血液流动和管壁运动的相互耦合过程
我的二舅梁思成是个有趣的小矮个儿,他瘦瘦的身材,满头乌发,嘴巴瘪瘪的,戴副眼镜,弯着腰,背微驼,腿微瘸,可走起路来蛮精神。他别有一番风度,穿上西装戴好领带,有股子帅劲,我
本研究采用沉浸边界法对仿生拍动翼流场进行了数值模拟。首先模拟了二维情况下仿生翼在均匀来流中的拍动（俯仰和升沉组合运动），取均匀来流的雷诺数为1100，系统地分析了最大俯仰角
广州牙雕又称广式牙雕、南派牙雕。象牙雕刻历史悠久,与广州相邻的佛山澜石乡河宕村新石器晚期人类遗址中,已发现原始的象牙饰物。象牙雕刻起始于汉唐,兴盛于明清。与北京、
地处河南西南部盆地的南阳市是河南省人口、面积第一大市,全国重要的粮食生产基地,正常年景全市粮食产量约占河南省的1/10、全国的1%,是名副其实的“中州粮仓”。去年五月和
行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行
传统的信息检索模型假设查询中的关键词之间是并列关系,但用户的需求往往应该被抽象为一系列的关键词组,组内的关键词间具有更为紧密的语义关系,这就是本文中定义的临近词检
业务模型描述企业运营的蓝图,对业务模型的分析有助于理解和改进企业的现有业务。然而,当前为数不多的业务模型分析方法基于具体的财务数据进行分析,这同业务模型在企业运营
需求工程的研究更多的集中在需求的分析,表示和验证,而关于需求获取的研究却相对较少。本文提出了一种企业信息系统(缩写为EIS)环境下基于场景的协同的需求诱导方法。此方法
李玲璞是谁?他是我国汉语言文字学泰斗、华东师范大学中文系教授,他是被载入《世界名人录》《英国剑桥名人录》的学界名师,2012年11月17日,他在与病魔斗争了三年后离开了我们