基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
连接器是软件体系结构设计和开发的一级实体.针对已有的体系结构描述语言难以有效提供连接器的重用,从而使得连接器的建模和分析面临较大的困难和挑战的问题,提出了一种连接器层次组合的形式化方法.该方法以体系结构描述语言Wright为基础,将一个连接器层次化定义为一个体系结构配置.实例表明,它能为连接器提供一种增量式的开发方式,从而能适用于体系结构重用的目的.还使用CSP符号给出了层次组合连接器的形式语义.
推荐文章
DO-333标准形式化方法研究
安全关键系统
机载软件
形式化方法
形式化模型
形式化分析
DO-333
DO-178C
一种Web服务组合形式化模型及验证方法
Pi演算
Web服务
服务组合
组合验证
CIM建模及模型形式化方法研究综述
计算无关模型
多视图多层次模型
模型一致性
模型形式化
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 连接器层次组合的形式化方法研究
来源期刊 武汉理工大学学报(信息与管理工程版) 学科 工学
关键词 连接器 层次组合 Wright 重用
年,卷(期) 2008,(4) 所属期刊栏目 学术论文
研究方向 页码范围 591-595
页数 5页 分类号 TP311
字数 4245字 语种 中文
DOI 10.3963/j.issn.1007-144X.2008.04.023
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 虞莉娟 武汉理工大学自动化学院 17 59 4.0 7.0
2 熊惠民 华中师范大学数学与统计学学院 18 41 3.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (9)
共引文献  (7)
参考文献  (5)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(4)
  • 参考文献(1)
  • 二级参考文献(3)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
连接器
层次组合
Wright
重用
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
武汉理工大学学报(信息与管理工程版)
双月刊
2095-3852
42-1825/TP
大16开
湖北省武汉市珞狮路205号
38-91
1979
chi
出版文献量(篇)
5275
总下载数(次)
13
总被引数(次)
43798
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导