PDF Version

Co-Chairs
Ulrich Ultes-Nitsche
University of Fribourg
Switzerland
uun@unifr.ch

Daniel Moldt
University of Hamburg
Germany
moldt@informatik.uni-hamburg.de

Juan C. Augusto
University of Ulster at Jordanstown
UK
jc.augusto@ulster.ac.uk


Background and Goals
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).

Procedures to increase the quality of the outcome for an EIS can be exercised at different levels and this forum considers methodologies that can help, either at an organizational or at a software development level, to increase the level of confidence in the IS used and produced. The complexity of modern companies, usually geographically distributed and supporting online simultaneous operation from many customers around the world, is reflected in complex operational procedures as well as in the sophisticated software that is needed to realize that operational structure. Several methodologies have been developed to analyse and develop processes that whilst reflecting the complex operational contexts of modern companies is also reliable. Modelling, Simulation, Verification and Validation are particularly connected with the responsible production of systems. They can be connected to each other in order to explore the behaviour of a system under development and to evaluate how it relates to the intended implementation.

Continuous advances in the complexity of systems produced around the world unrelentlessly push ahead the boundaries uncovering new challenges as new application domains are considered and new technologies are combined or created. 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, to mention a few. At higher levels of granularity in the various IS co-existing in an company the fundamental procedures used to operate a business can be also subject of rigorous analysis and refinement to increase the reliability on the overall business process, for example through the analysis of workflows.

After several decades of sustained effort, many 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.

Topics of interest
EIS is a continuous source of interesting challenges and to contribute to the progress of this area our workshop is annually organized in order to stimulate the exchange of ideas/experiences of practitioners, researchers, and engineers interested in the elaboration of more reliable systems. Because one of the aims of the workshop is to stimulate dialogue between people working in the area from different perspectives, a wide range of contributions are welcomed, both practical and theoretical papers, including case studies, from areas such as

• Modelling and Simulation to increase software reliability
• Software process modelling and simulation
• M&S, V&V as part of the SW Lifecycle
• Business process modelling, simulation, analysis and design
• Workflow modelling, simulation and verification
• Inf. 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

We aim at including papers on methods currently used in industry for EIS modelling, simulation, verification and validation as well as existing approaches in academic environments, hoping to benefit both practitioners and researchers.

Submission of Papers
Three main categories of submissions will be considered: a) regular papers, b) work in progress by Ph.D. students, and c) tool demonstrations. Please indicate clearly the category your paper is submitted to.
The length of the paper should not exceed 10 pages. Instructions for preparing the manuscript (in Word and Latex format) are available at the ICEIS web site. PDF/PS//RTF versions of the manuscript should be submitted electronically using the ICEIS web-based submission system. In addition, an email must be sent to all workshop chairs including: title and an abstract of the submitted paper, three keywords from the list of interesting areas given above, category and authors' affiliation. Submissions not complying with the formatting guidelines will not be evaluated.

Workshop Format and Publication
The workshop will consist of oral presentations of peer-reviewed papers and invited keynote speeches. The proceedings of the workshop will be published in the form of a book by INSTICC Press.

For this edition in 2008 the Journal of Software and Systems Modeling, published by Springer Verlag, has accepted to publish a Special Issue based on the best papers presented at this workshop. The Special Issue Guest Editor will be M. V. Cengarle (TU München - Germany).

The best oral and poster presentations will be awarded a prize during the workshop.

Important Dates
Paper Submission: Deadline Expired
Author Notification: Deadline Expired
Final Camera-Ready and Registration: Deadline Expired

Further Information
You can find both more general information about the workshop and more specific guidelines on the requirements for submissions at MSVVEIS Portal. We strongly advise to follow these guidelines as they are considered during the evaluation and selection of the submissions.

Workshop Program Committee
Costin Badica (U. of Craiova - Romania)
Christian Braesch (University of Savoie - France)
David Bustard (U. of Ulster - UK)
Manuel I. Capel-Tuñón (U. de Granada - Spain)
María Victoria Cengarle (TU München - Germany)
Vincent Chapurlat (LG12P - France)
David Crocker (Escher Technologies Ltd.)
Doron Drusinsky (Time Rover, Inc.)
J. Figueiredo (U. F. de Campina Grande - Brazil)
Anthony Finkelstein (Univ. College London - UK)
Guy Gallasch (Univ. of South Australia - Australia)
Juan Garbajosa (U. Politecnica de Madrid - Spain)
Rodolfo Gomez (U. of Kent - UK)
Andy Gravell (U. of Southampton - UK)
Klaus Havelund (NASA/Jet Propulsion Lab.)
Xudong He (Florida International U. - USA)
Patrick Heymans (FUNDP-Belgium)
Xiaoou Li (Cinvestav - Mexico)
Pericles Loucopoulos (Loughborough U. - UK)
Pedro Merino Gómez (U. de Málaga - Spain)
A. Michlmayr (Vienna U. of Technology - Austria)
Pieter Mosterman (The MathWorks, Inc. – USA)
Alfredo Olivero (UADE - Argentina)
K. Pawlikowski (U. of Canterbury – New Zealand)
A. Perkusich (U. F. de Campina Grande - Brazil)
John Van der Poll (U. of South Africa - SA)
Henrikas Pranevicius (Kaunas U. - Lithuania)
Bjorn Regnell (Lund University - Sweden)
Lone L. Thomsen (Aalborg U. - Denmark)
Kishor S. Trivedi, (Duke University - USA)
Mauricio Varea (ARM)
Dianxiang Xu (North Dakota State U. - USA)
Lok Yeung (Lingnan U. - Hong Kong)
Chao Wang (NEC Labs America)
Jun Wei (Chinese Academy of Sciences)

Workshop Location
The workshop will take place in conjunction with the 10th International Conference on Enterprise Information Systems (ICEIS 2008) in Barcelona - Spain.

Registration Information
At least one author of an accepted paper must register for the workshop. If the registration fees are not received by April 14, 2008, the paper will not be published in the proceedings. For registering go to http://www.iceis.org

Secretariat
ICEIS 2008 Secretariat - The Sixth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2008)
E-mail: workshops@iceis.org
Web site: http://www.iceis.org