5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2007)
June 12-13, 2007 - Funchal (Madeira Islands), Portugal
http://www.iceis.org/workshops/msvveis/msvveis2007-cfp.html
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 EIS. 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 & simulation - Business process analysis & design - Workflow modelling & simulation - IS modelling& design - Requirements specifications - Modelling guidelines for practitioners - Integration of modelling & specification - Case studies - Petri nets (business/industry applications) - Formal methods - Notation standards (UML, XML, .) - Use cases - Process algebra - Model checking & Testing - Combination of verification systems - Consistency checking and data integrity - Large scale component-based develop. - Application integration - Reuse of specifications and proofs - Quality control and assurance - Software architecture - Quality attributes - Dependability - Deductive systems - Safety critical systems - Finite-state abstr. of infinite-state systems
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, and c) tool demonstrations. Please indicate clearly the category your paper is submitted to.
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.
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. After the event, as in previous years, a collection of best papers will be recommended for a Special Issue in an International Journal (JEIS, published by Taylor & Francis). The best oral and poster presentations will be awarded a prize.
Registration: attending the workshop requires registration at www.iceis.org
DATES:
Submission: February 19th, 2007 Notification: March 23th, 2007 Final version: April 9th, 2007
CHAIRS:
Juan C. Augusto University of Ulster at Jordanstown (UK) jc.augusto@ulster.ac.uk
Joseph Barjis Georgia Southern University (USA) jbarjis@georgiasouthern.edu
Ulrich Ultes-Nitsche University of Fribourg (Switzerland) uun@unifr.ch
PROGRAM COMMITTEE:
. Carmen Bobeanu (Ghent U. - Belgium) . David Bustard (U. of Ulster - UK) . Rodney Clarke (U. of Wollongong - Australia) . Jan Dietz (Delft U. of Tech. -Netherlands) . Doron Drusinsky (Time Rover, Inc. , USA) . Andy Gravell (U. of Southampton - UK) . John Grundy (U. of Auckland - N.Zealand) . Oleg Gusikhin (Ford Research &AE - USA) . Klaus Havelund (Kestrel Technology - USA) . Xudong He (Florida International U. - USA) . Myungchul Kim (I.C.U. - Korea) . Guangyuan Li (Chinese Academy of Sciences) . Shaoying Liu (Hosei U. - Japan) . Pericles Loucopoulos (UMIST - UK) . Jose Maldonado (ICMC - Brazil) . Pedro Merino Gómez (U. de Málaga - Spain) . Daniel Moldt (U. of Hamburg - Germany) . Mohan Narasipuram (City U. of Hong Kong) . Frank Niessner (U. of Fribourg - Switzerland) . Alfredo Olivero (UADE - Argentina) . John Van der Poll (U. of South Africa - SA) . Srini Ramaswamy (U. of Arkansas - USA) . Han Reichgelt (Georgia Southern U. - USA) . Marc Roper (U of Strathclyde - UK) . Natalia Sidorova (Eindhoven U. - Netherlands) . Lone L. Thomsen (Aalborg U. - Denmark) . Mauricio Varea (SigmaTel - UK) . Dianxiang Xu (North Dakota State U - USA) . Lok Yeung (Lingnan U. - Hong Kong) . Chao Wang (NEC Labs America, USA)
Workshop Secretariat: workshops@iceis.org ICEIS'07 will be co-organized by Universidade da Madeira and INSTICC
---- The ICEIMT hypermail/searchable archives may be found at URL: http://tools.org/EI/ICEIMT/