Today’s enterprises depend heavily on their information systems (ISs) – this clearly is common knowledge. Business continuity can very frequently be equated with IS continuity. In addition, legal requirements such as the Sarbanes-Oxley Act, which is primarily not related to ISs but to corporate governance, have as a side-effect even more increased the attention enterprises give to their ISs. The Enterprise Information System (EIS) on the other hand is a complex structure, integrating many sub-systems – hopefully seamlessly. It is that complexity that makes EISs hard to manage and their overall functionality subject to (partial) failure: new components not interacting with the legacy system as intended, software updates blocking some system functionality, poor security systems opening up security holes or blocking desired system features, etc. It is exactly this complexity problem that is indirectly addressed by the MSVVEIS 2008 workshop; namely dealing with the fact that bug-free
complex systems do not exist by supporting research on methods that help decreasing the number of bugs per line-of-code in EISs. Such research can stretch from absolutely basic research on methodologies not yet applicable in practice to best practices in EIS development and case studies reporting on successful application of somewhat rigorous methodology (modelling, simulation, validation, verification) to EIS design and implementation. For that reason MSVVEIS 2008, the sixth in a series of annual workshops, sees itself as a platform to unite practitioners with researchers on MSVV methodology, and in particular make them talk with one another. Good EIS development should make use of latest methodology helping to improve EISs where research on MSVVEIS should be guided by the problems that practitioners are confronted with in their daily work. It is always hard to initiate such a discussion, but we believe that we indeed can provide such a platform. To provide such an open forum, we did seek contributions which fell in one or more of the following categories: ?? Modelling and Simulation to increase software reliability ?? Software process modelling and simulation ?? Modelling and Simulation, Verification and Validation as part of the SW Lifecycle ?? Business process modelling, simulation, analysis and design ?? Workflow modelling, simulation and verification ?? Information Systems modelling and design ?? Requirements specifications ?? Modelling guidelines ?? Integration of modelling and specification ?? Case studies ?? Petri nets ?? Application integration ?? Use cases ?? Business and industry applications ?? Model checking ?? Testing ?? Combination of verification systems ?? Consistency checking and data integrity ?? Large scale component based development ?? Notation standards (UML, XML, etc.) ?? Reuse of specifications and proofs ?? Quality control an assurance ?? Software architecture ?? Validation and certification ?? Formal methods ?? Deductive systems ?? Safety critical systems ?? Finite-state abstractions of infinite-state systems ?? Process algebra About these Proceedings The papers published in these proceedings are selected from 31 submissions to MSVVEIS 2008. After double blind peer-review by three experts, the accepted papers were selected into two categories: Full papers (14 papers) and Posters (6 papers). We are particularly pleased that the workshop has received international recognition during the six years it exists. The papers included in these proceedings come from authors from 13 different countries living on four different continents. Acknowledgements Tremendous efforts were made in order to make MSVVEIS 2008 a successful event and this book a valuable scientific collection. The true credit for these efforts go to the dedicated authors of the papers and the highly respected international program committee members including auxiliary reviewers, for their review efforts and support. For further support including sponsorship and publication of this book, it is our pleasure to thank ICEIS and INSTICC. The organizational and technical aspects of MSVVEIS 2008 required not less efforts. For these efforts, we sincerely thank Vitor Pedrosa, who literally provided around the clock support and interaction with the authors.
Vol. 1 - 978-989-8111-43-2