Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation

Zhu, Min; Wang, Hanpin; Jin, Wei; Wang, Zizhen; Xu, Chunxiang

doi:10.1109/compsacw.2010.38

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

2013

Publication Types

Select...

Article1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The polymorphism causes the executable paths change much, such as the amount and the length. Thus, the determination of the uniqueness of polymorphism [1] becomes the important and difficult issue in the field.…”

Section: Introductionmentioning

confidence: 99%

The Static Analysis of the Uniqueness of Polymorphism

Zhu

Liu

et al. 2013

AMM

View full text Add to dashboard Cite

The existence of the polymorphism brings many changes on the executable paths of the object-oriented program, which makes it difficult to test the internal communication of the system and the interaction between the objects. This paper analyzes the structure feature of the Java program and builds an inheritance tree using the technique of reflection in Java, which guarantees the accuracy of the analysis data. This paper proposes an algorithm to determine the uniqueness based on the full analysis of the Java polymorphic calling states and the Liskov substitution principle. And the algorithm uses the asynchronous mode of high concurrency to increase the efficiency. The result shows the algorithm can determine the uniqueness of polymorphism efficiently and accurately. It can play an important role in the Java program comprehension and the system maintenance.

show abstract

Section: Introductionmentioning

confidence: 99%