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 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. 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.
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.
Co-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:
--------------------
* C. Badica (U. of Craiova - Romania)
* Ch. Braesch (U. of Savoie - France)
* D. Bustard (U. of Ulster - UK)
* M. Capel-Tuńón (U. de Granada - Spain)
* M. V. Cengarle (TU München - Germany)
* V. Chapurlat (LG12P - France)
* D. Crocker (Escher Technologies Ltd.)
* D. Drusinsky (Time Rover, Inc.)
* J. Figueiredo (U. Campina Grande - Brazil)
* A. Finkelstein (U. College London - UK)
* G. Gallasch (U. of South Australia)
* J. Garbajosa (U. P. de Madrid - Spain)
* R. Gomez (U. of Kent - UK)
* A. Gravell (U. of Southampton - UK)
* K. Havelund (NASA/Jet Propulsion Lab.)
* X. He (Florida International U. - USA)
* P. Heymans (FUNDP-Belgium)
* X. Li (Cinvestav - Mexico)
* P. Loucopoulos (Loughborough U. - UK)
* P. Merino Gómez (U. de Málaga - Spain)
* D. Moldt (U. of Hamburg - Germany)
* A. Michlmayr (Vienna U. of T. - Austria)
* P. Mosterman (MathWorks, Inc. - USA)
* A. Olivero (UADE - Argentina)
* K. Pawlikowski (U. of Canterbury - N.Z.)
* A. Perkusich (U. Campina Grande - Brazil)
* J. Van der Poll (U. of South Africa - SA)
* H. Pranevicius (Kaunas U. - Lithuania)
* B. Regnell (Lund University - Sweden)
* L. Thomsen (Aalborg U. - Denmark)
* K. S. Trivedi, (Duke University - USA)
* M. Varea (ARM)
* D. Xu (North Dakota State U. - USA)
* L. Yeung (Lingnan U. - Hong Kong)
* C. Wang (NEC Labs America)
* J. 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
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.
Further Information:
--------------------
You can find both more general information about the workshop and more
specific guidelines on the requirements for submissions at MSVVEIS Portal
(www.msvveis.org).
We strongly advise to follow these guidelines as they are considered during
the evaluation and selection of the submissions.
|