CALL FOR PAPERS

6th International Workshop on Modelling, Simulation, Verification and 
Validation of Enterprise Information Systems (MSVVEIS 2008)
June 12-13, 2008 – Barcelona, Spain
http://www.iceis.org/workshops/msvveis/msvveis2008-cfp.html
Co-located with ICEIS 2008, June 12-16, http://www.iceis.org


Background & Goals: 
One of the most important recurrent problems in any enterprise is how to 
ensure the reliability and correctness of the software the company 
relies on.  This event focuses on the development of correct and adequate 
software for EIS.   Given the complexity of modern systems, usually 
distributed and supporting online simultaneous interaction from many 
customers around the world, several methodologies have been 
developed to improve the quality of software.  Modelling, Simulation, 
Verification and Validation are particularly connected with the Software 
lifecycle and they can be connected to each other in order to explore the 
behaviour of a system under development in order 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 system developers in the area of EIS 
are the use of distributed resources interacting via synchronous 
or asynchronous communication, consistency of data, as well as security 
and performance issues, to mention a few. After several decades of 
sustained effort, many techniques and associated tools are now available 
to industry and business-related software developers.  Still the 
problems are numerous as systems grow and new technologies are 
considered.  

EIS is a continuous source of interesting challenges and to contribute to 
the progress of this area a workshop is annually organized in order to 
stimulate the exchange of ideas/experiences of practitioners, researchers, 
and engineers interested in the elaboration of correct software.  

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 all 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 
* IS modelling and design
* Requirements specifications
* Modelling guidelines for practitioners
* Integration of modelling and specification
* Case studies 
* Petri nets 
* Application integration
* Notation standards (UML, XML, …)
* Use cases 
* Business and industry applications 
* Model checking
* Testing
* Combination of verification systems
* Consistency checking and data integrity
* Large scale component based development
* Reuse of specifications and proofs
* Quality control an assurance
* Software architecture
* Quality attributes
* Dependability
* 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. 
Categories: Three main categories of submissions will be considered:    a) 
regular papers, b) work in progress by Ph.D. students, c) tool 
demonstrations. Please indicate clearly the category of your paper.

Submission: 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.

Dates:

Submission:  (Hard Deadline): March 3, 2008.
Notification:  April 4, 2008
Final version: April 14, 2008.

Format: 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.  

As in previous years, a collection of best papers will be recommended for 
a Special Issue in an International Journal.   

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

Chairs:

Ulrich Ultes-Nitsche  
University of Fribourg (Switzerland)
[log in to unmask]

Juan C. Augusto
University of Ulster at Jordanstown (UK)
[log in to unmask]

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 Canterbury - 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)
* Daniel Moldt (U. of Hamburg - Germany) 
* 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 Secretariat: [log in to unmask]

ICEIS’08 will be organized by INSTICC.


Registration: attending the workshop  requires registration at 
www.iceis.org

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.