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://www.ngetikin.com/special-pick-MVP4-Moisture-Vapor-Protection-Anti-Fracture-and-Noise-Reduction-Membrane-special-save/