Abstract:

UML is a widely used technique among software developers, and it is famous for its ease of use. The weakness is its lack of a formal description. In this article, we propose using πI  calculus to describe the sequence diagrams, and we provide a method to model the diagrams. In this article we propose the concept of tree to construct objects, which shows us some advantages.

Key words: πI calculus;tree structure;sequence diagram;formalization