One of the most important recurrent problems in any enterprise is how to ensure the reliability and correctness of the core processes and systems the company relies on. This event focuses on the provision of methods and tools that can increase the level of confidence on Enterprise Information Systems (EIS). Some characteristic problems faced by software developers in the area of EIS are the use of distributed resources interacting via synchronous or asynchronous communication, consistency of data, and security and performance issues, as well as integrating Web services and agent technologies, to mention a few. Thus, after several decades of sustained effort, many methodologies, techniques and associated tools are now available to industry and business-related professionals to rigorously scrutinize the core processes and products of their operation. Still the problems are numerous as systems grow and new technologies are considered. EIS are a continuous source of interesting
challenges and to contribute to the progress of this area The Eight International Modelling, Simulation, Verification and Validation (MSVVEIS) solicited research papers in the areas of modelling, simulation, verification, validation and quality assessment in the context of EIS. This volume contains the Proceedings of the MSVVEIS 2010. We received a number of high quality contributions, from which we selected seven full papers, two short papers and one keynote. Therefore we can bring out an interesting programme that spans over a wide range of topics aimed at practitioners, researchers, and engineers interested in the elaboration of more reliable systems. We would like to take this opportunity to thank the people who have contributed to MSVVEIS 2010. Our special gratitude goes to the members of the MSVVEIS 2010 program committee who did an excellent job in the selection and reviewing of papers and the steering committee for their invaluable help during the organisation of the workshop. Finally, it is our pleasure to thank ICEIS secretariat and INSTICC for their full support in organizational and technical aspects of MSVVEIS, including sponsorship and the publication of this book.
Vol. 1 - 978-989-8425-12-6