[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2010, Vol. 36 Issue (3) :350-352    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
������, �� ��, ����¶, �� ��*
�������պ����ѧ �����ѧԺ, ���� 100191
Formal definition and characteristic analysis of UML sequence diagram
Li Xiaoli, Long Xiang, Bao Xiaolu, Li Hu*
School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ��ͳһ��ģ����(UML,Unified Modeling Language)�淶Ϊ����,����UML˳��ͼ�����˳��ͼ����ʽ������;���ڴ˻�����,��ϸ������UML˳��ͼ�ж������Ϣ�������Ժ���Ϣ��������,�����˷�����Ϣ���Ϻͽ�����Ϣ���ϵ���ʽ������;ͬʱ��һ�������˶�����Ϣ���ͺͽ���֮���һ��������;���,ͨ��ʵ������,��UML˳��ͼ����������һ���Ľ���.����ʽ�����������Է���Ϊ����UML˳��ͼ��ģ��ת����ģ����֤�ṩ�˱�Ҫ��ǰ������,ҲΪ����UML˳��ͼ�IJ����������Զ����ɵ춨�˻���.UML˳��ͼ����ʽ�����������ڶ�����ṹ�����͹�����ӻ���ģ����.
Email Alert
�ؼ����� ͳһ��ģ����   ˳��ͼ   ��ʽ��   ģ����֤     
Abstract�� A formal method of software specification and a set of mathematics models were put forward based on UML(unified modeling language) sequence diagram. UML sequence diagrams reflect the interaction and sequence of message among the concurrent objects in the system, and hold the important position in software modeling. A formal description of UML sequence diagram and compound sequence diagram was dealt based on UML criterion. The send character and receive character of the message, as well as message consistency in message-sending and message-receiving were analyzed in detail. UML sequence diagram character was proved by example. A formal description and analysis of UML sequence diagram character was proposed, which provided a prior condition for model transforming and model validation, and provided the foundation for automated software test case on UML sequence diagram. The formal definition of UML sequence diagram was used in the construction of a software comprehension and modeling tool.
Keywords�� UML(unified modeling language)   sequence diagram   formalization   model validation     
Received 2009-03-04;
About author: ������(1975-),Ů,������,��ʿ��,lixiaoli@sei.buaa.edu.cn.
������, �� ��, ����¶, �� ��.UML˳��ͼ����ʽ�����������Է���[J]  �������պ����ѧѧ��, 2010,V36(3): 350-352
Li Xiaoli, Long Xiang, Bao Xiaolu, Li Hu .Formal definition and characteristic analysis of UML sequence diagram[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2010,V36(3): 350-352
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2010/V36/I3/350
Copyright 2010 by �������պ����ѧѧ��