| Web应用的UML协作图建模与形式化规格说明 |
| |
| 引用本文： | 汪斌,袁捷,缪淮扣,毕德闯,朱洪宝. Web应用的UML协作图建模与形式化规格说明[J]. 计算机工程与设计, 2008, 29(19) |
| |
| 作者姓名： | 汪斌 袁捷 缪淮扣 毕德闯 朱洪宝 |
| |
| 作者单位： | 上海大学,计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金，上海市重点学科建设项目 |
| |
| 摘 要： | 针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息.研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则.设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库.
|
| 关 键 词： | Web应用 建模 UML协作图 形式化规格说明 自动化工具 |
Modeling by UML collaboration diagrams and formal specification of web applications |
| |
| WANG Bin,YUAN Jie,MIAO Huai-kou,BI De-chuang,ZHU Hong-bao. Modeling by UML collaboration diagrams and formal specification of web applications[J]. Computer Engineering and Design, 2008, 29(19) |
| |
| Authors: | WANG Bin YUAN Jie MIAO Huai-kou BI De-chuang ZHU Hong-bao |
| |
| Affiliation: | WANG Bin,YUAN Jie,MIAO Huai-kou,BI De-chuang,ZHU Hong-bao(School of Computer Engineering , Science,Shanghai University,Shanghai 200072,China) |
| |
| Abstract: | According to the characteristics of web applications,a new kind of models using UML collaboration diagrams is set up on entire functionality level and interactive behavior level to describe the relationships and interactions of objects in the collaboration preci-sely and effectively,ensuring the semantic information which is used for generation of testing cases from UML specifications.How to use Object-Z to formally describe web application model is investigated,and the corresponding transform rules is brou... |
| |
| Keywords: | web application modeling UML collaboration diagrams formal specifications automated tool |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
