摘要:Architecture design and specification is more important than algorithm or data structure establishment for a complex system, existing Architecture Description Languages are difficult to support the complete Internetware developing process. Petri nets describe system graphically and mathematically, provide a way to solve the problems in Internetware description and development. In this paper we investigate Internetware architecture description methods, current application of Petri nets in Internetware and the deficiency; present basic principles to describe Internetware architecture using Petri nets, the possible architecture model and architecture evolution mechanisms; discuss subnet based Web services composition description technologies; present the idea of developing Internetware using Petri nets as a whole process unified model. The Petri net method helps to transfer among different stages of Internetware developing easily; the smooth transition from architecture description to code implementation makes sure a good design can deduce a good realization.
关键词:Architecture Description Language (ADL);Software architecture;Unified Modeling Language (UML);Internetware;Petri nets