摘要
本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。
In this paper, we advance an approach of describing the software architecture combining visual modeling language UML and sequential logic language XYZ / E.First,we give the basic framework of this way, then expansion the XYZ / E, so that it can explicit the basic elements of the software architecture , and define the formal semantics of UML activity diagram,lastly,we show the feasibility of the way through the example of the bank ATM system, this will have the certain role to the description of the software architecture combining the visual and formal way.
出处
《微计算机信息》
2010年第9期200-202,共3页
Control & Automation
基金
基金申请人:张广泉
项目名称:基于XYZ/E的可视化软件体系结构描述语言研究
基金颁发部门:国家自然科学基金委(60073020)
