2Harel D. Statecharts: A Visual Formalism for Complex Systems[J]. Science of Computer Programming, 1987, 8(3): 231-274.
3Martin L G, Steven F, Dick C. SmartAgent: Extending the JADE Agent Behavior ModeI[EB/OL]. (2002-01-28). http://www.hpl. hp.com/techreport/2002/HPL-2002-18.pdf.