Formal The Sequence Diagram Of UML2.0

The UML is a modeling language based on combination of a variety of object-oriented modeling method which supported object-oriented,visualized modeling and powerful expression ability etc that has been widely used in various types of system modeling,but the UML is half-formalized—its grammatical structure is formalized, but its semantic has been described by natural language. In order to solve the shortcomings, lots of methods had been putting forward to formalizing the UML for achieving precise purpose by the scholars.Description logic is a kind language of the knowledge representation, is a decided subset of first-order logic, has strong expression ability; the reasoning is its center service, pay attention to the decided of reasoning that ensure the reasoning algorithm can always stop, and return the right result.The paper use the description logic to formal UML behavior figure, description logic is a logical sequence, ALC is the most basic one of description logic, through add the operator into the ALC, can get various description logic with different expression ability. According to the different purpose to chossing the corresponding expression logic description logic. The work of this paper mainly divided into two parts.(1)The dynamic and temporal extension of description logic. description logic can accurately describe the static domain of the UML2.0 sequence diagram of UML; Through joining the dynamic dimensions and temporal operator into the description logic that has a moderate expression ability, then it can accurately the dynamic and temporal domain; the end discussiong the termination,soundness,completeness of Tableau of description logic which had been extension.(2)The conversion rules from the description logic which had been extension to UML2.0 sequence diagram. This part we can got the differences and similarities between them and the sequence diagram divided into several pieces using the interavtive operators that are new elements of sequence diagram; finally, in order to achieve the purpose of formal UML sequence diagram, we use the description logic which had been extension to describe the interactive operators and piece of sequence diagram respective.Through formaling the sequence diagram of UML, we can get the sequence diagram which has the precise semantics, so we can slove some faults which produced in modering of sequence diagram because the not precies semantics.