In this paper. a new software modeling language called SAMP is proposed. which is inspired from UML and enables the general-purpose modeling of software architectures but at the same time promotes the multiple-viewpoints modeling. formal verification of the models for the desired requirements. https://www.popularfilm.blog/