Modeling and Analysis of Enterprise and Information Systems