This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2. 0 Activity diagrams are used for modeling the behavior of software systems. while Pi-calculus is used for semantic and verification purposes. https://jeepworldes.shop/product-category/trail-cans/