Description of the ATM System Based on UML and XYZ/E
Chen Shu-qian · Microcomputer Information · 2010
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.