形式化方法对构件库管理系统支持的探讨
摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。关键词:构件模型构件库形式化方法形式化描述。 在基于构件的软件开发(CBSD)中,作为复用基础设旌的构件库系统已成为企业内部和企业间协作的必然装备,而要建立系统化的构件库,建立合适的构件模型是第一步。构件模型是构件本质特征及构件间关系的抽象描述。它定义了构件的本质属性,规定了构件接口的结构以及构件与软件体系结构、构件与构件之间的交互机制。构件模型通常还提供创建和实现构件的指导原则。 1 当前典型构件模型简介与分析 在围绕构件库进行软件
用户评论
推荐下载
-
软件工程形式化方法与语言李莹.吴江琴
献给所有对技术抱有好奇心和热情的软件工程师们
10 2020-09-17 -
天津大学逻辑与形式化方法复习资料.rar
天津大学逻辑与形式化方法复习资料,其中包括: 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型
10 2020-11-21 -
论文研究CIM建模及模型形式化方法研究综述.pdf
以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computationindependentmodel,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是
49 2019-09-09 -
软件工程形式化方法与语言李莹吴江琴
是一本描述集合论里面各种符号的教程,描述的十分详细,很好
56 2019-01-11 -
形式化方法中科院研究生院教程
中科院研究生院教程 ,形式化方法 ,ppt
46 2018-12-31 -
MFC学生信息管理系统支持SQL数据库
学生信息管理系统,MFC做的界面,后台用的SQL SERVER 2000 基本文档都有,有需要做课设的同学可以参考
8 2020-08-30 -
软件形式化开发方法的选择策略研究
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同
10 2021-02-06 -
智能家居平台构件适应与协同模型及形式化分析
以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型
5 2020-07-25 -
基于攻击树的网络攻击模式形式化研究
基于攻击树的网络攻击模式形式化研究
20 2020-09-20 -
面向对象的形式化软件开发案例
本分析案例对于搞面向对象分析与形式化软件开发的人是一个较好的简单的例子希望大家捧场与评论请注意:以作者为amdcwf(昵称为:陈谈)上发的源 码, 绝对都是本人的原创本人格言:不是精品,绝对不发(什么
37 2018-12-31
暂无评论