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

Website www.iceis.org | Edit Freely

Category MSVVEIS 2012

Deadline: March 30, 2012 | Date: June 28, 2012

Venue/Country: Wrocław, Poland

Updated: 2012-02-03 19:58:18 (GMT+9)

Call For Papers - CFP

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 list of topics bellow.

TOPICS OF INTEREST

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 design

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 assessment

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

STEERING COMMITEE

D. Moldt, Univ. of Hamburg, Germany

J. C. Augusto, University of Ulster at Jordanstown, United Kingdom

U. Ultes-Nitsche, University of Fribourg, Switzerland

IMPORTANT DATES

Paper Submission: March 30, 2012

Authors Notification: April 20, 2012

Final Paper Submission and Registration: May 4, 2012