5Simmonds J. Consistency Maintenance of UML Models with Description Logic[D]. City of Brussels, Belgium: Vrije Universiteit Brussel, 2003: 6-10.
6Berardi D, Calvanese D, de Giuseppe (2 Reasoning on UML Class Diagrams[J]. Artificial Intelligence, 2005, 168(1/2): 70-118.
7Cali A, Calvanese D, de Giacomo G, et al. A Formal Framework for Reasoning on UML Class Diagrams[C]//Proc. of the 13thInternational Symposium on Methodologies for Intelligent Systems. Lyon, France: Springer, 2002: 503-513.
8SOMMERVILLE I. Software engineering[ M]. 8th ed. New Jersey: Pearson Education. 2006.
9WIEGERS K. Software requirements[ M]. 2nd ed. Washington: Microsoft Press,2003.
10CHUNG L, NIXON A, YU E, et al. Non-functional requirements in software engineering [ M ]. [ S. l. ] : Kluwer Academic Publishing, 2000.