2Liu Hong, Gluch D P. Formal Verification of AADL Behavior Models:A Feasibility Investigation [ C ]//Proceedings of the 47th &nnual Southeast Regional Conference. [ s. l. ] : [ s. n. ], 2009 : 19-21.
3The SAE Architecture Analysis & Design Language (AADL) [ M ]. Reading, MA : Addison-Wesley, 1975.
4Liu H, Gluch D P. Conceptual Modeling with the Object-process Methodology in Software Architecture [ J ]. Journal of Computing Education in Colleges ,2004 (19) : 10-21.
