Home      Log In      Contacts      FAQs      INSTICC Portal
10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012

28 June, 2012 - Wrocław, Poland

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


Costin Badica
University of Craiova
George Eleftherakis
CITY College, International Faculty of the University of Sheffield
Grzegorz Nalepa
AGH University of Science and Technology
Manuel Capel-Tuñón
University of Granada
Brief Bio
Manuel I. Capel received his B.Sc. and M.Sc. in Physics and the Ph.D. in Computer Science at University of Granada (Spain) in 1992. He joined the University of Murcia (Spain) as an Assistant Professor in 1984, obtaining a permanent post in 1987. In 1989 he moved to the University of Granada as a Professor in CS, where he obtained the professorship in the College of Informatics and Telecommunications Engineering in 1995 and the full-professorship (2009). Professor Manuel I. Capel is currently the leader of the research group Concurrent Systems in the University of Granada and coordinator of TECDIS (Red Iberoamericana de Investigación en Tecnologías Concurrentes, Distribuidas y Paralelas). His research work includes the study of Formal Methods (Temporal Logics and Process Algebras) applied to the systematic development of embedded real-time systems. Recent results in this field include a formal specification method for real-time systems through transformation of UML-RT models, an on-the-fly model-checking algorithm for Future Interval Logic formulae and, most recently, a compositional formal verification method of critical systems (MEDISTAM-RT). Manuel I. Capel has published more than 40 articles in journals, magazines, books and conferences in Computer Science in the last years and serves as a member of the Editorial Board of the Journal of Network and Computer Applications, Elsevier Science Ltd. and editor in chief of Annals of Multicore and GPU Programming.


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 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
Workshop Program Committee

Jorge A. de Figueiredo, Universidade Federal de Campina Grande, , Brazil
G. Botterweck , , , Ireland
David Bustard, University of Ulster, , United Kingdom
Oana Captarencu, Faculty of Computer Science, "Al. I. Cuza" University, , Romania
Vincent Chapurlat, IMT Mines Alès, , France
Laura Dillon, Michigan State University, , United States
Daniel Fernández, Technische Universität München, , Germany
Anthony Finkelstein, , , 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 Moldt, University of Hamburg, , Germany
David Sanan, Singapore University of Technology and Design, , Singapore
Alexei Sharpanskykh, Vrije Universiteit Amsterdam, , Netherlands
Gheorghe Stefanescu, University of Bucharest, , Romania
Lone Thomsen, Aalborg University, , Denmark
John Van Der Poll, University of South Africa, , South Africa
Bozena Wozna-Szczesniak, Jan Dlugosz University, , Poland
W. Yeung, Lingnan University, , China

Paper Submission
Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Submission Guidelines.
Papers should be submitted electronically via the web-based submission system at: http://www.insticc.org/Primoris
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), 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/).
Secretariat Contacts
ICEIS Workshops - MSVVEIS 2012
e-mail: iceis.workshops.secretariat@insticc.org