Title: Quality Analysis of Enterprise Information Systems. Apostolos Zarras Abstract: Large industrial organizations strongly rely on the use of information systems (IS) for the application of their complex business processes. Consequently, IS users have increased non-functional requirements (e.g. performance, reliability, availability, etc.) on the quality of those systems. To satisfy those requirements, IS engineers must perform quality analysis and evaluation. Quality analysis requires to check, analytically solve, or simulate models of the system specified using formalisms like CSP, CCS, Markov-chains, Queuing-nets, Petri-nets, etc. However, IS engineers are not keen on using such kinds of formalisms for modeling and evaluating IS quality. On the other hand, they are familiar with using ADLs and object oriented notations for building models of the IS architecture. Hence, a challenge today is to render the use of traditional quality analysis techniques more tractable. Towards the previous, this talk presents an architecture-based environment proposed for the specification and quality analysis of IS at the architectural level.