8th International Conference on Enterprise Information Systems
23 - 27, May 2006             Paphos - Cyprus
Full Paper Submission: Deadline expired
 Authors Notification: Deadline expired
 Final Paper Submission and Registration: Deadline expired

Call For Papers
Doctoral Consortium
Program Committee
Keynote Lectures





The Fourth International Workshop on

Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS’06)  

May 23-24, 2006 – Paphos, Cyprus

 Call for Papers 

Workshop Program

PDF version

In conjunction with the Eighth International Conference on Enterprise Information Systems - ICEIS 2006 (http://www.iceis.org/)  


Joseph Barjis
Georgia Southern University (USA)

Ulrich Ultes-Nitsche
University of Fribourg (Switzerland)

Juan C. Augusto
University of Ulster at Jordanstown (UK)

Workshop Background and Goals
One of the challenges of 21st century is the “Alignment of Business Processes and IT” in a large scale such as an Enterprise where different applications and systems are integrated into a larger system called Enterprise Information System (EIS). Researchers are facing two major questions when they meet and solve this challenge “what causes the gap” and “how the gap evolves.” These questions have been studied, answered, and reported in numerous publications that have found: the gap is caused by a misunderstanding of the underlying business processes; the gap originates at the business processes level, passes to the software development level and finally it further evolves at an enterprise level through the application of EIS (creating a misalignment of Business Process and IT).

However, more study is needed to ensure correct and appropriate EIS alignment with the underlying business process and the mission of the enterprise. To achieve this alignment software applications should be correct (validated and verified), and for them to be aligned with the Business Process modelling and simulation should be used through the different development stages. The aim of this workshop is to stimulate the exchange of ideas and experiences of practitioners, researchers, and engineers working in the area of modelling, simulation, verification, and validation of business processes and software in the context of enterprise information systems (EIS).

Topics of interest
We welcome papers, both theoretical and practical, from all areas related to those aspects of business processes modelling and simulation and software development and evaluation that can increase the confidence in the correctness of EIS systems, such as:

- Business process modelling - Model checking
- Business process simulation - Testing
- Workflow modelling - Combination of verification systems
- Workflow simulation - Consistency checking and data integrity
- Information systems modelling - Large scale component-based development
- Requirements specifications - Application integration
- Modelling guidelines helping practitioners - Reuse of specifications and proofs
- Integration of modelling and specification - Quality control and assurance
- Case studies - Software architecture
- Petri nets (business & industry applications) - Quality attributes
- Formal methods - Dependability
- Notation standards (UML, XML, …) - Deductive systems
- Use cases - Safety critical systems
- Process algebra - Finite-state abstr. of infinite-state systems

We will aim at including reports on methods currently used in industry for EIS modelling, simulation, verification and validation as well as existing approaches in academic environments, hoping that both practitioners and researchers will benefit from such a mixture of presentations.

Three main categories of submissions/presentations will be considered: a) regular papers, b) work in progress by Ph.D. students, and c) tool demonstrations. All submissions falling in any of these categories have to follow the procedure explained below under the heading “Submission of Papers”. Please indicate clearly which of the three categories of papers your submission belongs to.

Format of the Workshop
The workshop will consist of oral presentations of papers submitted in advance, which will be peer-reviewed. The proceedings of the workshop will be published in the form of a book by INSTICC Press. During the event keynotes will be given by invited speakers. After the event, as in previous years, contacts will be made with an International Journal to publish a selection of best papers.

Submission of Papers
Prospective authors are invited to submit papers for oral presentation in any of the areas listed above. Only papers in English will be accepted. 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. Submissions not complying with the formatting guidelines will not be evaluated. PDF/PS//RTF versions of the manuscript should be submitted electronically by using the facilities provided by ICEIS web-based paper submission procedure. In addition, to avoid lost papers, an email must be sent to all workshop chairs including: category of paper, title, authors' affiliation, and an abstract of the paper submitted.

Special Issue of the Science of Computer Programming
The workshop has approval for a Special Issue of the Science of Computer Programming (an Elsevier science journal). A collection of the best papers presented in the workshop will be recommended for improvement and publication in the special issue.

Important Dates
Full Paper Submission: 6th February, 2006 (new deadline)
Authors Notification: 6th March, 2006
Final Paper Submission and Registration: 20th March, 2006

Workshop Program Committee
Carmen Bobeanu (Ghent Univ. - Belgium)
David Bustard (University of Ulster - UK)
Jan Dietz (Delft Univ. of Tech. -Netherlands)
Andy Gravell (Univ. of Southampton - UK)
John Grundy (Univ. of Auckland - N.Zealand)
Oleg Gusikhin (Ford Research &AE - USA)
Klaus Havelund (Kestrel Technology - USA)
Xudong He (Florida International Univ. - USA)
Myungchul Kim (I.C.U. - Korea)
Kim G. Larsen (CISS - Denmark)
Guangyuan Li (Chinese Academy of Sciences)
Pericles Loucopoulos (UMIST - UK)
Jose Maldonado (ICMC, U. Sao Paulo - Brazil)
Radu Mateescu (INRIA - France)
Pedro Merino Gómez (Univ. de Málaga -Spain)
Daniel Moldt (Univ. of Hamburg - Germany)
Frank Niessners (University of Fribourg - Switzerland)
Alfredo Olivero (UADE - Argentina)
John Van der Poll (Univ. of South Africa)
Srini Ramaswamy (Univ. of Arkansas - USA)
Han Reichgelt (Georgia Southern Univ. - USA)
Marc Roper (Univ. of Strathclyde - UK)
Natalia Sidorova (Eindhoven U. - Netherlands)
Lone L. Thomsen (Aalborg Univ. - Denmark)
Mauricio Varea (TransEDA Ltd - UK)
Dianxiang Xu (North Dakota State U. - USA)
Lok Yeung (Lingnan University - Hong Kong)

Conference Location
The workshop will be held in Paphos-Cyprus and co-organized by INSTICC, University of Cyprus, Aristotle University of Thessaloniki and Athens University of Economics and Business.

Registration Information
To attend the workshop you need to register at http://www.iceis.org

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

Page Updated on 01-05-2006

Webmaster: Vitor Pedrosa
Copyright © 2005 INSTICC
Any problems with this site please email the Webmaster