| 软件体系结构的行为求精 |
| |
| 引用本文： | 李长云,文志华,廖立君.软件体系结构的行为求精[J].湖南工业大学学报,2007,21(5):21-24. |
| |
| 作者姓名： | 李长云 文志华 廖立君 |
| |
| 作者单位： | 湖南工业大学,计算机与通信学院,湖南,株洲,412008 |
| |
| 基金项目： | 国家自然科学基金;湖南省教育厅青年基金;湖南工业大学成人教育研究基金 |
| |
| 摘 要： | 在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则:构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系。
|
| 关 键 词： | 软件体系结构 求精 π演算 |
| 文章编号： | 1673-9833（2007）05-0021-04 |
| 收稿时间： | 2007-08-04 |
The Behavior Refinement of Software Architecture |
| |
| Li Changyun,Wen Zhihua and Liao Lijun.The Behavior Refinement of Software Architecture[J].Journal of Hnnnan University of Technology,2007,21(5):21-24. |
| |
| Authors: | Li Changyun Wen Zhihua and Liao Lijun |
| |
| Affiliation: | School of Computer and Communication, Hunan University of Technology, Zhuzhou Hunan 412008, China |
| |
| Abstract: | On the basis of D-ADL formal specificationt,he principles of behavior refinement are formally defined as follows,the behavior refinement of components should satisfy the relation of observation weak simulation and the behavior refinement of connectors should satisfy the relation of branching weak simulation during the process. |
| |
| Keywords: | software architecture refinement calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《湖南工业大学学报》浏览原始摘要信息 |
|
点击此处可从《湖南工业大学学报》下载全文 |
