| UML 2．0状态图的XYZ/E时序逻辑语义研究 |
| |
| 作者单位： | 无锡商业职业技术学院信息工程系 |
| |
| 摘 要： | UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。
|
| 关 键 词： | 软件体系结构描述 形式化语义 UML 2．0 状态图 XYZ/E |
Semantics of UML 2.0 State Diagrams in XYZ/E |
| |
| HUANG Zheng-bao. Semantics of UML 2.0 State Diagrams in XYZ/E[J]. Science, 2008, 0(23) |
| |
| Authors: | HUANG Zheng-bao |
| |
| Abstract: | UML 2.0 state diagrams are suitable for describing the behavior of components and ports which are the elements of software architecture,but the semantics of UML 2.0 state diagram is not precise,this makes the description of UML 20 state diagram can't be used for analysis and validating of software architecture.This article defines the syntax and the constraint of UML 2.0 state diagram,then defines the semantics of UML 2.0 state diagram in XYZ/E,it offers the foundation for describing the behavior of components and ports behavior of software architrectare with the combination of UML 2.0 sequence diagram and XYZ/E. |
| |
| Keywords: | Architectural description Fomal semantics UML2.0 State diagram XYZ/E |
| 本文献已被 CNKI 等数据库收录！ |
|
