| 软件体系结构交互动作精化研究 |
| |
| 引用本文： | 任洪敏,刘晋. 软件体系结构交互动作精化研究[J]. 电子科技大学学报(社会科学版), 2013, 0(1): 137-143 |
| |
| 作者姓名： | 任洪敏 刘晋 |
| |
| 作者单位： | 上海海事大学计算机系 |
| |
| 基金项目： | 上海市自然科学基金(10ZR1413700);上海市教委科研创新项目(12ZZ157) |
| |
| 摘 要： | 分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言ADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题。开发了体系结构交互动作精化的推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构。实例研究表明了该方法的可行性。
|
| 关 键 词： | 演算 体系结构精化 交互动作 软件体系结构 |
Research on Interactive Action Refinement of Software Architecture |
| |
| REN Hong-min and LIU Jin. Research on Interactive Action Refinement of Software Architecture[J]. Journal of University of Electronic Science and Technology of China(Social Sciences Edition), 2013, 0(1): 137-143 |
| |
| Authors: | REN Hong-min and LIU Jin |
| |
| Affiliation: | REN Hong-min and LIU Jin(Department of Computer Science and Technology,Shanghai Maritime University Pudong Shanghai 200135) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
