基于用例和Z的一种软件体系结构建模的方法_论文

第2 2卷 第 2期  21 0 2年 2月  计 算 机 技 术 与 发 展  C0MP UTER TEC   HNOLOGY  AND  DEVEI   OPME NT  Vo . 2 N .   12   o 2 Fb e. 2 1  02 基 于 用 例 和 Z 的 一 种 软 件 体 系  结 构 建 模 的 方 法  刘妮娜 , 周 枫  ( 昆明理 工 大学 信 息工程 与 自动化 学院 , 南 昆 明 60 5 ) 云 50 1  摘 要 : 着计算 机 软硬件 技术 和 网络技 术 的发展 和应 用 的不断 深入 , 随 软件 复用 技术 , 别是 软 件体 系 结构 的设 汁和复 用  特 是 克服 软件 危机 行之 有效 的手 段 。用 例在 面 向对 象的软 件 开 发 过程 中起着 重 要 的作 用 , 它 是一 种 半形 式 化 的方 法 , 但 缺  乏 精确 的语义 描述 , 以保 证 软件 体系 结构模 型 的正确 性 , 式 化 的方 法 恰好 能 够 弥 补这 方 面 的不 足 。针 对如 何 构建 软  难 形 件体系结构的问题 , 提出了一种基于用例和 z语言的形式化构建软件体系结构的方法, 将迭代增量技术运用到体系结构  的设计 开 发 中 , 并就 相关 问题 进行 了分 析探讨 。   关键 词 : 件体 系结 构 ; 例 ; 语 言 ; 软 用 z 迭代增 量 ; 化  形式 中 图分类 号 :P 1.  T 3 15 文献 标识 码 :  A 文章 编 号 : 7 —2 X(02 0 一 o7 o  1 3 69 2 1 )2 o3 一 4 6 A  o ei g M eh d o   o t r   c i c u e Ba e   n Us   M d l   t o   fS fwa e Ar h t t r   s d o   e n e Ca e a d Z  p cfc t n s  n   S e i ai   i o LI   —n ZH OU  ng U Ni a_ Fe   ( aut o  fr t nE g er gadA t t n。 u m n   nvri  fSineadT cn lg , F cl   fnoma o  n i ei  n   uo i K n igU iesyo c c n  eh ooy  y I i n n mao t e K n n   5 0 1 C ia  u mig6 0 5 , hn ) Ab t a t: i   e d v l p e t n   e p o n   p lc to   fc mp trh d r   n   o wa e tc n l y, e t c n l g   fs f r   - s r c W t t   e e o m n   d d e g i g a p i ai n o  o u e   a wa e a d s f r  e h o og t   h o o y o  o t er   hh a r t h e wa e u e。 s e ily t e d sg   d r u e o   e s fwa e a c  ̄c u e, s ale fc i e me o  o o e c me t e c sso  o t r . h   s   a e s e p c a l    e i n a  e s   ft  o t r   h h n h r i t r wa   l fe t   t d t   v r o     r i fs f   v h h i   wa e T e u e c s   pa e li ot t oei  eo cto et  o waed vlp n rcs,u t a   a - oma rpee t o adi l k do  lyda  lmp r n  l nt   ̄e - r ne sf r eeo metpoesb t   sah l fr l e rsna n,n   a e  f a r   h i d t iw f   i t t c p e s   e n c   e c p o T e u e c s   a ta s r h e a c r c   ft e s fwa ea c tcu emo e - u h ef r l me o   a ma e rcie s ma t s d s r t n. i ii h   s   a e c n’   s u et   c u a y o h  o t r r h etr i d l b tt o ma h t dc n k  u   r t i  e c e c p f   sd f in y.On h w o c n tu tt e s fwa   c i c u ,tg v s a k n   fme o   a e   n t e u   a e a d t e f r l    o h i   o t   o sr c    o t r a h t t r i i e     i d o   t d b d o     s c s       ma Z h e r e e   h s h e n h o s e i c t n t   o sr c   e s fwa e a c i t r . i  e o   d p t e t c n l g   fie ai e i c me td rn   e d sg   d d v l p f a o  o c n t t c i i u t  o h t r   r h t u e T sm t d a o  ̄ h  e h o o y o  tr t  n r c e h h v e n   u i g t   e in a   e e — h n   o

相关文档

一种软件体系结构可拓建模和求精设计方法
建模样式:一种评估软件体系结构非功能属性的方法
Agent系统软件体系结构形式化建模方法
案例教学法在“软件体系结构”课程中的应用
目标驱动的软件体系结构建模方法研究
基于“用例”的软件需求建模方法研究
嵌入式软件体系结构级能耗建模方法
“软件过程与UML建模”课程增量式案例教学法的研究与实践
一种基于用例和Petri网的业务过程建模方法
支持协商的网构软件体系结构行为建模与验证
电脑版