Abstract:

This paper discusses the integration problem of a visible object-oriented method and an object-oriented Petri Net（OOPN） method in modeling. First,in   terms of the complementarity of these two methods, the semantic definition, symbol definition and formalization definition of the UML/OOPN model are pu  t forward. Second, the domain application of electronic payment is given to present the diversion and integrated optimization of the UML/（X）PN model.  Finally, the software architecture template based on the architecture description language is provided. It proves that this integrated modeling method  and the research model behave well in the development of EC software.

Key words: （UML;object-oriented Petri net, formal description, architecture template）