Modeling and Analysis of Information Systems