-------- Original-Nachricht -------- Betreff: MSVVEIS 2012 CFP - Int'l Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (Wroclaw/Poland) Submission Extension Datum: Fri, 30 Mar 2012 06:37:54 -0500 Von: ICEIS WS Secretariat postmaster13@303media.net Antwort an: iceis.workshops.secretariat@insticc.org iceis.workshops.secretariat@insticc.org An: neumann@wu-wien.ac.at
Int'l Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems MSVVEIS website: http://www.iceis.org/MSVVEIS.aspx CO-CHAIRS: Costin Badica, University of Craiova, Romania George Eleftherakis, CITY College, International Faculty of the University of Sheffield, Greece Grzegorz J. Nalepa, AGH University of Science and Technology, Poland Manuel Isidoro Capel-Tunon, University of Granada, Spain
IMPORTANT DATES: Paper Submission: April 10, 2012 (extended) Authors Notification: April 27, 2012 Final Paper Submission and Registration: May 10, 2012
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Dear G. Neumann,
Let me kindly inform you that, due to several requests, the paper submission deadline for the Int'l Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems has been extended to next April 10, 2012.
This workshop will be held in Wroclaw, Poland on June 28-29, 2012, in conjunction with ICEIS (International Conference on Enterprise Information Systems), a conference sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), co-organized by the Wroclaw University of Economics and held in cooperation with the Association for the Advancement of Artificial Intelligence (AAAI), the Institute of Electronics, Information and Communication Engineers (IEICE) and with the IEICE Special Interest Group on Software Interprise Modelling (SWIM). INSTICC is member of the Workflow Management Coalition (WfMC) and the Object Management Group (OMG).
Submitted papers will be subject to a double-blind review process. All accepted papers (full, short and posters) will be published in the workshop proceedings, under an ISBN reference, on paper and on CD-ROM support. BLNG All presented papers will be also available at the SciTePress Digital Library (http://www.scitepress.org/DigitalLibrary). SciTePress is member of CrossRef (http://www.crossref.org/).
Should you have any question or suggestions please don't hesitate to contact me.
Kind regards, Helder Coelhas ICEIS WS Secretariat
Av. D. Manuel I, 27A 2.Esq. 2910-595 Setubal, Portugal Tel.: +351 265 520 185 Fax: +44 203 014 8816 Email: iceis.workshops.secretariat@insticc.org
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
SCOPE: 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 u nder development and to evaluate how it relates to the intended implementation.
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
----------------------------------------------------------------- To SUBSCRIBE: http://internetmailmanager.com/s/reg.Asp?a=47WEKLPKNJ7DRNBLM9K8GQZ&b=T4M... ----------------------------------------------------------------- To FORWARD: http://internetmailmanager.com/s/fwd.asp?a=47WEKLPKNJ7DRNBLM9K8GQZ&b=T4M... ----------------------------------------------------------------- To UNSUBSCRIBE: http://internetmailmanager.com/s/us.asp?a=47WEKLPKNJ7DRNBLM9K8GQZ&b=T4M9... ---------------------------------------------------