【摘 要】
：
目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系
【基金项目】
：
Supporred by the National Grand Fundamental Research 973 Program of China under Grant No.G1999032710（国家重点基础研究发展规划（973））
论文部分内容阅读
目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.
其他文献
崔白是北宋时期杰出的花鸟画家,作为当时宫廷画院风格改革的代表人物,他的个人经历与时代背景对他绘画语言的形成有一定的影响。《双喜图》是崔白晚年的代表性作品,通过分析
摘 要：近年来教育行业发展也较为迅速，且教育模式也在逐渐发生改变，最典型的就是幼儿教育模式。近年来幼儿教育行业兴起，且出现的都是私有化教育单位，而教育内容多是以文化课以及艺术课为主。今天所要探讨的就是以幼儿专业为主，就业为导向的美术课教学方法，对其方法的创新进行一个简单的探究。 关键词：幼儿专业；美术教学；教学现状；教学创新 一、幼教专业的美术教学现状 现在大多数的家长都在注重培养孩子的艺术
车用自组织网络——VANET（vehicle ad-hoc network）作为移动自组织网络和传感器网络在道路交通领域的应用,不具备完整协议体系结构,没有专门的传输控制协议.为提供VANET传输协
在基于角色的访问控制模型下，将一个虚拟社区中的角色动态地转换成另一个虚拟社区的角色，从而获得跨虚拟社区的数据访问权限．引入协商机制，建立起两个社区之间的角色转换关系，将跨