形式化精确语义论文

基于csp的面向方面状态图形式化描述方法研究
论文摘要UML作为面向对象分析和设计建模语言的标准,有广泛的应用和扩展背景,通过UML的扩展机制使其支持面向方面状态图的建模,但UML建模的状态图采用的是自然语言描述及图表结构...