Description of the ATM System Based on UML and XYZ/E

Hui LI,Guang-quan ZHANG,Shu-qian CHEN
DOI: https://doi.org/10.3969/j.issn.2095-6835.2010.09.079
2010-01-01
Abstract: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.
What problem does this paper attempt to address?