View of Using a formal framework for modeling and analyzing organizations | AACINI - International Journal of Industrial Engineering