Network management has widely adopted multi-agent architecture, and AGIMA is one of the successful prototypes that have developed mobile code facilities and group management functions. Taking consideration on the requirements of exchange and sharing of network management information between agents, the network management information described by next generation structure of management information can be represented as knowledge by XML-based resource description framework. These efforts need integration of some newer toolkit software and become foundation for introduction of network management intelligence into agents.
Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.
