Co-chairs
Juan Garbajosa Sopeña
Technical University of Madrid
Spain
e-Mail
Manuel I. Capel-Tuñón
University of Granada
Spain
e-Mail
Steering Committee
Daniel Moldt
University of Hamburg
Spain
e-Mail
Juan C. Augusto
University of Ulster at Jordanstown
U.K.
e-Mail
Ulrich Ultes-Nitsche
University of Fribourg
Switzerland
e-Mail
Background and 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, which are usually geographically distributed and support online simultaneous operations 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 are also reliable. Modelling, Simulation, Verification and Validation are particularly connected with the responsible production of systems and quality assurance testing. 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 relentlessly 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, security and performance issues, as well as integrating web services and agent technologies, to mention a few. At higher levels of granularity in the various IS co-existing in a company the fundamental procedures used to operate a business can be also subject of rigorous analysis and refinement to increase the quality and reliability on the overall business process, for example through the analysis of workflows. In recent years an emerging trend claims that, to cope with this complexity, systems should focus on the customer essential needs, those needs that really deliver value to the customer. This trend, sometimes called agile or lean.
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 are 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:
Topics of interest include, but are not limited to:
- Application integration
- Application of objects, components and agents
- Business / IT alignment
- Business and industry applications
- Business process modelling, simulation, analysis and design
- Business services
- Case studies
- Combination of verification systems
- Consistency checking and data integrity
- Deductive systems
- E-Government
- Finite-state abstractions of infinite-state systems
- Formal methods
- Information systems modelling and design
- Large scale component based development
- M&S, V&V as part of the software Lifecycle
- Model checking
- Modelling and Simulation to increase software reliability
- Modelling guidelines integration of modelling and specification
- Notation standards (UML, XML, BPMN, etc.)
- Organization / self-organization of complex systemsPetri nets
- Process algebra
- Quality control and assurance
- Release definition
- Requirements specifications
- Requirements priorization
- Reuse of specifications and proofs
- Safety critical systems
- Software architecture
- Software process modelling and simulation
- Technical frameworks and tool Support
- Testing
- Use cases
- Validation and certification
- Web services and agent technologies integration in Enterprise Information Systems (EIS)
- Workflow modelling, simulation and verification, and quality assessment
- Working Product Evaluation
Format of the Workshop
The workshop will consist of oral presentations of peer-reviewed papers and invited keynote speeches. The different categories will get different kinds of presentation slots.
The best oral and poster presentations will be awarded a prize during the workshop.
Important Dates
Regular Paper Submission: March 22, 2010 (extended)
Authors Notification: April 16, 2010 (extended)
Final Paper Submission and Registration: April 28, 2010 (extended)
Workshop Program Committee
C. Badica, University of Craiova, Romania
G. Botterweck, Lero Ltd., Ireland
D. Bustard, University of Ulster, U.K.
M. Capel-Tuñón, University of Granada, Spain
M. V. Cengarle, TU München, Germany
V. Chapurlat, LG12P, France
D. Crocker, Escher Technologies Ltd.
L.K. Dillon, Michigan State University, U.S.A.
B. Farwer, Durham University, U.K.
J. Figueiredo, Univrsity of Campina Grande, Brazil
A. Finkelstein, University College London, U.K.
G. Franceschinis, University of Piemonte Orientale, Italy
G. Gallasch, University of South Australia, Australia
J. Garbajosa, U. P. Madrid, Spain
R. Gomez, University of Kent, U.K.
K. Havelund, NASA/Jet Propulsion Lab., U.S.A.
X. He, Florida International University, U.S.A.
M. Köhler, University of Hamburg, Germany
F. Kuforfer, Siemens Ltd., Germany
L. Leth Thomsen, Aalborg University, Denmark
P. Merino Gómez, University of Málaga, Spain
A. Michlmayr, Vienna University of Technology, Austria
D. Moldt, University of Hamburg, Germany
P. Mosterman, MathWorks, Inc., U.S.A.
M. Paolucci, ISTC-CNR, Rome
R. Paige, University of York, U.K.
V. Popova, University of DeMontfort, U.K.
A. Sharpanskykh, Vrije, The Netherlands
I. Timm, Goethe-Univ. Frankfurt, Germany
U. Ultes-Nitsche, University of Fribourg, Switzerland
J. Van der Poll, University of South Africa, R.S.A.
Paper Submission
We aim at inlcuding 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:
We seek reports on scientific advances from academy and industry, work in progress by Ph.D. students, and tool demonstrations.
Accepted submissions will be then included in the proceedings and presented in one of the following categories:
a) Regular papers (up to 10 pages),
b) Short papers up to 8 pages,
c) Poster presentations (with up to 6 pages)
Please indicate clearly the category of your paper.
Submission:
All papers must be written in English, and the length of the paper should not exceed 5,000 words or 10 pages (including figures and tables).
Instructions for preparing the manuscript (in Word and LaTeX formats) are available at the conference Paper Templates web page (please use the workshop version, not the main conference one). Please also check the web page with the Submission Guidelines.
Papers should be submitted electronically via the web-based submission system at: http://www.insticc.org/Primoris
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.
Publications
All accepted papers will be published by INSTICC Press in the workshop proceedings book, under an ISBN reference, and on CD-ROM support. The procedings will be available at the time of the workshop.
Registration Information
At least one author of an accepted paper must register for the workshop. If the registration fees are not received by April 21, 2010, the paper will not be published in the workshop proceedings book. Visit http://www.iceis.org/ to register for MSVVEIS 2010.
Further Information
You can find both more general information about the workshop and more specific guidelines on the requirements for submissions at our MSVVEIS Portal.
We strongly advise to follow these guidelines as they are considered during the evaluation and selection of the submissions.
Secretariat Contacts
ICEIS Workshops - MSVVEIS 2010
e-mail: iceis.workshops.secretariat@insticc.org
