软件体系结构交互动作精化研究

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

软件体系结构交互动作精化研究

任洪敏, 刘晋

文章导航 > 电子科技大学学报 > 2013 > 42(1): 137-143

任洪敏, 刘晋. 软件体系结构交互动作精化研究[J]. 电子科技大学学报, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

引用本文:

任洪敏, 刘晋. 软件体系结构交互动作精化研究[J]. 电子科技大学学报, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

REN Hong-min, LIU Jin. Research on Interactive Action Refinement of Software Architecture[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

Citation:

REN Hong-min, LIU Jin. Research on Interactive Action Refinement of Software Architecture[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

软件体系结构交互动作精化研究

doi: 10.3969/j.issn.1001-0548.2013.01.028

任洪敏,
刘晋

1.
上海海事大学计算机系上海浦东新区 200135

基金项目:

上海市自然科学基金(10ZR1413700); 上海市教委科研创新项目(12ZZ157)

作者简介:
任洪敏(1969-),男,博士,副教授,主要从事软件体系结构、基于构件的软件工程、形式化方法等方面的研究.

中图分类号: TP311

Research on Interactive Action Refinement of Software Architecture

1.
Department of Computer Science and Technology,Shanghai Maritime University Pudong Shanghai 200135

摘要: 分析了当前体系结构精化的研究工作, 基于体系结构形式化描述语言πADL, 提出了体系结构交互动作精化的概念, 定义了交互动作精化的规约方法, 给出了交互动作精化遵循的法则, 有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题. 开发了体系结构交互动作精化的推导算法, 确保精化过程中高层体系结构的行为特性得到保持, 并自动生成低层体系结构. 实例研究表明了该方法的可行性.
- π演算 /
- 体系结构精化 /
- 交互动作 /
- 软件体系结构
Abstract: Refinement of software architecture deals with mapping and transformation between architectural models at different abstraction levels. This paper reviews current researches on software architecture refinement, analyzes their inadequacies, and then proposes a new concept of interactive action refinement of software architecture based on πADL architecture description language, defines the formal specification method and principles of interactive action refinement, develops a refinement reasoning algorithm, which can preserve the higher-level architectural behavior properties across refinement hierarchies and generates lower-level architectures automatically. Interactive action refinement can effectively eliminate the mismatches of abstraction levels between components and their interactive actions that occur in the architectural refinement process. A case study shows the validity of the proposed method.
- πcalculus /
- architecture refinement /
- interactive action /
- software architecture

[1]	苟尤钊, 季雪庭, 叶盈如, 武强, 吕琳媛. 元宇宙技术体系构建与展望 . 电子科技大学学报, 2023, 52(1): 74-84. doi: 10.12178/1001-0548.2022287
[2]	胡雯, 马闯, 张海峰. 基于子图交互关系的网络结构增强算法 . 电子科技大学学报, 2022, 51(2): 282-289. doi: 10.12178/1001-0548.2021196
[3]	霍智勇, 乔璐. 基于结构化损失的单目深度估计算法研究 . 电子科技大学学报, 2021, 50(5): 728-733. doi: 10.12178/1001-0548.2020386
[4]	成玉, 马安国, 张承义, 张民选. 微体系结构软错误易感性阶段特性研究 . 电子科技大学学报, 2012, 41(2): 274-279. doi: 10.3969/j.issn.1001-0548.2012.02.020
[5]	沈剑良, 严明, 李思昆, 刘磊. 层次化互连结构的EVMPSoC设计与实现 . 电子科技大学学报, 2011, 40(6): 898-904. doi: 10.3969/j.issn.1001-0548.2011.06.018
[6]	罗克露, 姜连波. 开放式体系架构的数字家庭中心服务器——智能化构件容器的研究与实现 . 电子科技大学学报, 2010, 39(2): 255-259,254. doi: 10.3969/j.issn.1001-0548.2010.02.022
[7]	吴尽昭, 侯晖, 李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算 . 电子科技大学学报, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
[8]	陈东义, 夏侯士戟, 黄志奇, 李薪宇, 宋海涛. 面向工业应用的可穿戴计算技术 . 电子科技大学学报, 2009, 38(5): 678-686. doi: 10.3969/j.issn.1001-0548.2009.05.027
[9]	陈筠, 桑楠, 熊光泽. 一种容错实时计算机体系结构的研究与实现 . 电子科技大学学报, 2007, 36(5): 846-849.
[10]	吴光斌, 李军, 夏侯荔鹏. 用动态链路复用技术构建多业务交换体系结构 . 电子科技大学学报, 2006, 35(5): 815-818.
[11]	张睿, 陈鸣, 宋丽华. 实时流测量体系结构的研究 . 电子科技大学学报, 2006, 35(1): 85-88.
[12]	侯孟书, 卢显良, 周旭, 詹川. 非结构化P2P系统的路由算法 . 电子科技大学学报, 2005, 34(1): 105-108.
[13]	何军, 谭兴烈, 李新, 谢京涛, 周明天. 一种支持QoS的IPSec安全设备体系结构 . 电子科技大学学报, 2005, 34(1): 97-100.
[14]	叶娅兰, 曾家智, 杨国纬. 基于角色和服务元的网络体系结构 . 电子科技大学学报, 2005, 34(1): 113-116.
[15]	张凤荔, 何兴高, 秦志光, 周明天. 移动对象数据处理系统的体系结构 . 电子科技大学学报, 2004, 33(2): 175-179.
[16]	詹瑾瑜, 熊光泽, 孙明. 一种嵌入式GUI软件结构实现方案 . 电子科技大学学报, 2003, 32(1): 89-93.
[17]	雷剑, 罗克露. 嵌入式系统仿真开发环境的体系结构 . 电子科技大学学报, 2003, 32(6): 669-672,678.
[18]	马争, 孟春雷. 基于C/S体系结构的移动通信综合管理系统 . 电子科技大学学报, 2000, 29(6): 569-572.
[19]	孙世新, 陈平安, 张艳. 与FFT并行算法相适应的体系结构探讨 . 电子科技大学学报, 2000, 29(5): 535-539.
[20]	金明晔, 李乐民. 基于光路交换的光因特网体系结构设计 . 电子科技大学学报, 2000, 29(4): 406-411.

WeChat

点击查看大图

计量

文章访问数: 4335
HTML全文浏览量: 119
PDF下载量: 61
被引次数: 0

软件体系结构交互动作精化研究

doi: 10.3969/j.issn.1001-0548.2013.01.028

任洪敏,
刘晋

1. 上海海事大学计算机系上海浦东新区 200135

基金项目:

上海市自然科学基金(10ZR1413700); 上海市教委科研创新项目(12ZZ157)

作者简介:
任洪敏(1969-),男,博士,副教授,主要从事软件体系结构、基于构件的软件工程、形式化方法等方面的研究.

收稿日期: 2011-07-22
修回日期: 2012-03-06
刊出日期: 2013-02-15

中图分类号: TP311

关键词:

摘要: 分析了当前体系结构精化的研究工作, 基于体系结构形式化描述语言πADL, 提出了体系结构交互动作精化的概念, 定义了交互动作精化的规约方法, 给出了交互动作精化遵循的法则, 有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题. 开发了体系结构交互动作精化的推导算法, 确保精化过程中高层体系结构的行为特性得到保持, 并自动生成低层体系结构. 实例研究表明了该方法的可行性.

English Abstract

任洪敏, 刘晋. 软件体系结构交互动作精化研究[J]. 电子科技大学学报, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

引用本文:

任洪敏, 刘晋. 软件体系结构交互动作精化研究[J]. 电子科技大学学报, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

REN Hong-min, LIU Jin. Research on Interactive Action Refinement of Software Architecture[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

Citation:

REN Hong-min, LIU Jin. Research on Interactive Action Refinement of Software Architecture[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发