[ecoop-info] Call for Papers: 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012, Wroclaw, Poland

Grzegorz J. Nalepa gjn at agh.edu.pl
Sat Feb 11 19:54:59 CET 2012

10th International Workshop on Modelling, Simulation, Verification and 
Validation of Enterprise Information Systems - MSVVEIS 2012

In conjunction with the 14th International Conference on Enterprise 
Information Systems - ICEIS 2012

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 is 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.

This is the tenth edition of this workshop, and one of the aims of it 
is to stimulate dialogue and interaction between people working in the 
area from different perspectives. A wide range of contributions are 
welcomed, describing both practical and theoretical works, as well as 
case studies from the following list of topics.

Topics of interest include, but are not limited to:

Formal Methods
  - Combination of verification systems
  - Deductive systems
  - Finite-state abstractions of infinite-state systems
  - Model checking
  - Petri nets
  - Process algebra
  - Reuse of specifications and proofs
  - Rule-based modelling
  - Semantics of modelling notations

Modelling notations
  - Business and software process modelling, simulation, analysis and 
  - Information systems modelling and design
  - Integration of modelling and specification
  - Modelling application integration (Web services, agents, a.o.)
  - Modelling business services
  - Modelling guidelines
  - Modelling software architecture
  - Modelling using objects, components and agents
  - Notation standards (BPMN, UML, ontologies, XML-based, etc.)
  - Organization modelling for EIS
  - Requirements specifications

Quality control and assurance
  - Modelling & Simulation to increase software reliability
  - Modelling & Simulation, Verfication & Validation as part of the 
software lifecycle
  - Testing
  - Validation and certification
  - Workflow modelling, simulation and verification, and quality 

Applications and case studies
  - Applications of objects, components and agents
  - Business / IT alignment
  - Business and industry applications
  - Consistency checking and data integrity
  - Large scale component based development
  - Safety critical systems
  - Technical frameworks and tool support
  - Use cases
  - Working product evaluation

Paper Submission: March 30, 2012
Authors Notification: April 20, 2012
Final Paper Submission and Registration: May 4, 2012

Costin Badica
University of Craiova

George Eleftherakis
CITY College International Faculty, University of Sheffield

Grzegorz J. Nalepa
AGH University of Science and Technology, Krakow

Manuel I. Capel-Tunon
University of Granada

Please find them at:

Workshop Program Committee

Marian Adamski, University of Zielona Gora, Poland
Costin Badica, University of Craiova, Romania
G. Botterweck , Lero - The Irish Software Engineering Research Centre, 
David Bustard, University of Ulster, United Kingdom
Manuel Isidoro Capel-Tuñón, University of Granada, Spain
Oana Captarencu, Faculty of Computer Science, "Al. I. Cuza" University, 
Vincent Chapurtlat, EMA - Ecole Des Mines D'alès, France
Jorge C. A.  de Figueiredo, Universidade Federal da Paraíba, Brazil
Laura Dillon, Michigan State University, United States
George Eleftherakis, CITY College, International Faculty of the 
University of Sheffield, Greece
Anthony Finkelstein, University College London, United Kingdom
Juan Garbajosa, Technical University of Madrid, Spain
Klaus  Havelund, Nasa/Jet Propulsion Laboratory, United States
Bogumila Hnatkowska, Wroclaw University of Technology, Poland, Poland
Michael Köhler-Bußmeier, University of Hamburg, Germany
Adam Meissner, Poznan University of Technology, Poland
Daniel Méndez Fernández, Technische Universität München, Germany
Daniel  Moldt, University of Hamburg, Germany
Grzegorz J. Nalepa, AGH University of Science and Technology, Poland
David Sanan, Singapore University of Technology and Design, Singapore
Alexei Sharpanskykh, Vrije Universiteit Amsterdam, Netherlands
Gheorghe Stefanescu, University of Bucharest, Romania
Lone Leth  Thomsen, Aalborg University, Denmark
John Van Der Poll, University of South Africa, South Africa
Bozena Wozna-Szczesniak, Jan Dlugosz University, Poland
W. Lok Yeung, Lingnan University, China

All accepted papers (full, short and posters) will be published in a 
special section of the conference proceedings book - under an ISBN 
reference and on CD-ROM support - and submitted for indexation by 
Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, 
DBLP and EI (Elsevier Index).

All papers presented at the conference venue will be available at the 
SciTePress Digital Library (http://www.scitepress.org/DigitalLibrary/). 
SciTePress is member of CrossRef (http://www.crossref.org/).

Extended versions of best papers accepted and presented during the 
workshop will be invited for possible inclusion into a Special Issue 
with the International Journal of Applied Mathematics and Computer 
Science (http://www.amcs.uz.zgora.pl/, Impact Factor for 2010 is 0.794).

More information about the ecoop-info mailing list