MSVVEIS 2009: Milan, Italy

Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009. INSTICC PRESS 2009, ISBN 978-989-8111-90-6

Full Papers

Cyrille Dongmo, John A. van der Poll: Use Case Maps as an Aid in the Construction of a Formal Specification. 3-13
Lotfi Majdoub, Riadh Robbana: Test Cases Generation for Nondeterministic Duration Systems. 14-23
Oana Otilia Prisecaru: A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure. 24-33
Lawrence Cabac, Kolja Markwardt: Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams. 34-43
Kolja Markwardt, Lawrence Cabac, Christine Reese: A Process-Oriented Tool-Platform for Distributed Development. 44-52
Mihnea Scafes, Costin Badica: Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response. 53-63

Short Papers

Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. 67-75
René Boerner, Matthias Goeken: Methods for Service Identification: A Criteria-based Literature Review. 76-84
Stephan Gradl, André Bögelsack, Holger Wittges, Helmut Krcmar: Layered Queuing Networks for Simulating Enterprise Resource Planning Systems. 85-92
Agustín Yagüe, Juan Garbajosa: The Role of Testing in Agile and Conventional Methodologies. 93-100
Sven Tackenberg, Sebastian Schneider: Multi Project Organization Optimization using Genetic Algorithm. 101-115

Posters

Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi: An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. 119-124
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Using SCADE for Decision Support in Dam Management. 125-131
José Francisco Zelasco, Judith Donayo: Database Integrity in Integrated Systems. 132-140
Satish Mahadevan Srinivasan, Mansour Zand: Making Use Case Slices Manage Variability in Aspect-based Product Line. 141-148
Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. 149-155
Lawrence Cabac, Kolja Markwardt, Jan Schlüter: ImageNetDiff: Finding Differences in Models. 156-161
Tomasz Walkowiak, Katarzyna Michalska: Information Systems Configuration Analysis using Event-driven Computer Simulation. 162-167