关键词: 统一建模语言 对象Petri网 形式描述 构架模板

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）