Modeling and analysis of enterprise information systems