7th International Conference on
Enterprise Information Systems


Workshops Paper Submission: deadline passed
Workshops Author Notification:
deadline passed
Workshops Camera-Ready Submission and Registration:
deadline passed


Call For Papers
Doctoral Consortium
Program Committee
Keynote Lectures
Special Sessions

Paper Submission
Paper Templates
Reviewers Only

Conference Program
Local Information
Social Events

Organizing Committee
Hall of Fame

Organized by:


Co-organized by:

The Third International Workshop on

Modelling, Simulation,Verification and Validation of Enterprise Information Systems

May 24, 2005 Miami, USA

  First Announcement and Call for Papers 


Presentation Schedule


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



Juan Carlos Augusto ( jc.augusto@ulster.ac.uk

School of Computing and Mathematics
University of Ulster at Jordanstown
BT37 0QB Newtownabbey, Co. Antrim
Northern Ireland

Ulrich Ultes-Nitsche (uun@unifr.ch

Telecommunications, Networks & Security Research Group 
Department of Informatics, University of Fribourg
CH-1700 Fribourg, 

Joseph Barjis (JBarjis@GeorgiaSouthern.edu)

Department of Information Technology
Georgia Southern University
PO Box 8150 Statesboro, GA 30460

Workshop Background and Goals  

It is the aim of this workshop to stimulate the exchange of ideas and experiences of practitioners, researchers, and engineers working in the area of modelling, simulation, verification and validation of software for enterprise information systems (EIS). We welcome papers, both theoretical and practical, from all areas related to those aspects of software development and evaluation that can increase the confidence in the correctness of EIS systems, such as:

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

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.

Invited Speakers

- Klaus Havelund, NASA Ames Research Center (USA)
- Xudong He, Florida International University (USA)

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.

Important Dates  

Full paper submission: February 15, 2005
Author notification: March 8, 2005
Camera-ready paper submission: March 18, 2005

Workshop Program Committee

Osman Balci, Virginia Tech (USA)
Carmen-Veronica Bobeanu, Ghent University (Belgium)
David Bustard, University of Ulster (UK)
Jérôme Delatour, ESEO (France)
Andy Gravell, University of Southampton (UK)
John Grundy, University of Auckland (New Zealand)
Klaus Havelund, NASA Ames Research Center (USA)
Xudong He, Florida International University (USA)
Myungchul Kim, I.C.U. (Korea)
Pieter Kritzinger, University of Cape Town (South Africa)
Guangyuan Li, Chinese Academy of Sciences (China)
Pericles Loucopoulos, UMIST (UK)
Jose Maldonado, ICMC, University of Sao Paulo (Brazil)
Radu Mateescu, INRIA (France)
Pedro Merino Gómez, Universidad de Málaga (Spain)
Daniel Moldt, University of Hamburg (Germany)
Alfredo Olivero, UADE (Argentina)
Srini Ramaswamy, Tennessee Tech University, (USA)
Marc Roper, University of Strathclyde (UK)
Hassen Saďdi, SRI International (USA)
Natalia Sidorova, Eindhoven University of Technology (Netherlands)
Lone L. Thomsen, Aalborg University (Denmark)
Dianxiang Xu, North Dakota State University (USA)
Lok Yeung, Lingnan University (Hong Kong)


The workshop will be organized by INSTICC and Florida International University (U.S.A.).
The workshop will be held at Deauville Beach Resort in Miami, USA.

Registration Information  

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

ICEIS-2005 Secretariat

International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems 
Web site: http://www.iceis.org/workshops/msvveis/msvveis2005-cfp.html


Page Updated on 28-04-2005

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