湖南工业大学学报
湖南工業大學學報
호남공업대학학보
JOURNAL OF HUNAN UNIVERSITY OF TECHNOLOGY
2007年
5期
21-24
,共4页
软件体系结构%求精%π演算
軟件體繫結構%求精%π縯算
연건체계결구%구정%π연산
在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则:构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系.
在D-ADL規約框架下,給齣瞭軟件體繫結構的行為求精形式化規則:構件的行為求精應符閤進程觀察弱模擬關繫,連接件的行為求精應符閤進程分支弱模擬關繫.
재D-ADL규약광가하,급출료연건체계결구적행위구정형식화규칙:구건적행위구정응부합진정관찰약모의관계,련접건적행위구정응부합진정분지약모의관계.
