• Login
  • Sign-Up



Proceedings of the 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems and 1st International Workshop on Web Intelligence

June 28-28, 2012, in Wrocław, Poland

ISBN: 978-989-8565-14-3

Conference Link: http://www.iceis.org

Foreword: The joint workshop MSVVEIS/WEBI 2012 includes: i) the tenth edition of the International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2012), and ii) the first edition of International Workshop on Web Intelligence (WEBI 2012). The joint workshop was held at the 14th International Conference of Enterprise Information Systems (ICEIS-2012) in Wroclaw, Poland. SCOPE OF MSVVEIS 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 analyze 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. MSVVEIS 2012 topics of interest included but were 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, Verification & 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 SCOPE OF WEBI 2012 Web Intelligence (WI) has been recognized as a new direction for scientific research and development to explore the fundamental roles as well as practical impacts of Artificial Intelligence (AI) [E.g., knowledge representation, planning, knowledge discovery and data mining, intelligent agents, and social network intelligence) and advanced Information Technology (IT) (E.g., wireless networks, ubiquitous devices, social networks, semantic Web, wisdom Web, and data/knowledge grids) on the next generation of Web-empowered products, systems, services, and activities. It is one of the most important as well as promising IT research fields in the era of Web, agent intelligence and virtual communities. WEBI 2012 topics of interest included but were not limited to: - Intelligent Human-Web Interaction and Virtual community - Web Information Filtering & Retrieval, linked data - Electronic Commerce - Conversational Systems - Browsing and Exploration - Adaptive Web - User Profiling/Clustering - Negotiation Systems - Security, Privacy and Trust - Web Mining and Farming - Social Networks Mining - Intelligent e-Technology - Semantic Web - Web Agents - Knowledge Grids & Grid Intelligence - Ubiquity, pervasive systems - Grid Computing, Cloud Computing, Web Services, Search in Networks - Industrial feedback and prototypes PAPERS Four MSVVEIS 2012 papers were selected for presentation and were included in the workshop proceedings. The first paper, by Maha Naceur, Lotfi Majdoub, and Riadh Robbana, is in the area of test generation. In their paper, the authors introduce a method for test generation for duration systems using coverage criteria. The system is modelled as duration variables timed graphs with inputs-outputs. The system model is approximated with a digitization method. The authors present a coverage generating test tree algorithm and prove the soundness of the resulting test cases. The second paper, by Manuel Isidoro Capel-Tuñón, is in the area of safety–critical systems. In his paper, the author employs the Formal Compositional Verification Approach to facilitate the sound design of safety–critical systems. The method is exemplified on a real-life application for mobile phone communications. The third paper, by Bogumila Hnatkowska and Mateusz Grzegorczyn, is in the areas of requirements engineering. In their paper, the authors present the results of a controlled experiment concerning the influence of the formal notation onto the comprehensibility of the software requirements specification. The authors consider three notations: natural language, use case diagrams, and activity diagrams. The results showed that activity diagrams received the highest score concerning the correctness of the interpretation. Nevertheless, they require longer interpretation time than natural language, and shorter than use case diagrams. The fourth article, by Damián Adalid, Alberto Salmerón, María del Mar Gallardo, and Pedro Merino, is in the area of program testing. In their paper, the authors present an approach for testing reactive and concurrent Java programs which combines model checking and runtime monitoring. The method is implemented in the TJT tool using SPIN for model checking and Java Debug Interface for runtime monitoring. Six WEBI 2012 papers were selected for presentation and were included in the workshop proceedings. The first paper, by Fatma Zohra Lebib, Hakima Mellah, and Youssef Amghar is in the area of multimedia Web services. The authors introduce the Multimedia as a Service – MaaS model through which multimedia content providers expose their content. Validation experiments were carried out in the sport domain. The second paper, by Amel Benna, Hakima Mellah, Islam Choui, and Ali Oualid, is in the area of social tagging. The authors propose the use of k-means clustering for the hierarchical classification of user-defined annotations of resources. The evaluation results obtained on the social bookmarking system del.icio.us improved the social search process. The third paper, by Olatz Arbelaitz, Ibai Gurrutxaga, Aizea Lojo, Javier Muguerza, Jesus M. Pérez, and Inigo Perona is in the area of Web usage mining. The authors propose the use of machine learning and collaborative filtering to generate interesting navigation links based on users’ preferences. The fourth paper, by César Guerra-García1, Ismael Caballero, Rodrigo Testillano, Rafael Llamas, and Mario Piattini is in the area of requirements engineering. The authors propose a method that takes into account data quality during the process of Web portals’ requirements elicitation. The fifth paper, by Alexander Gromoff, Julia Stavenko, Kristina Evina, and Nikolay Kazantsev is in the area of knowledge management. The authors propose the method of expertise search during the process of business process management. The sixth paper, by Syrine Ben Meskina, Valérie Monfort, and Achraf Ben Miled is in the areas of social networks. The authors propose a method for enhancing social networks with ontologies and data mining to promote women of emergent low income countries. Concluding, we would like to thank the authors who submitted papers to the joint MSVVEIS/WEBI 2012 workshop, as well as the reviewers for reviewing the submissions. We would like to thank the organizers of the ICEIS 2012 conference for accepting and hosting the joint MSVVEIS/WEBI 2012 workshop. (More)


Vol. 1 - 978-989-8565-14-3

Show papers

Show authors