MSVVEIS 2010: Milan, Italy

Juan Garbajosa Sopeña, Manuel I. Capel Tuñón (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010. SciTePress 2010, ISBN 978-989-8425-12-6

Invited Speaker

Marianne Huchard: On Some Complementary Trends in Model Transformation Generation. 3
Pedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat: Definition of Domain Specific Operation Languages Following MDD. 5-15

Papers

Mihnea Scafes, Costin Badica: Framework for Performance Evaluation of Service Negotiations in Agent Systems. 19-29
Moritz Balz, Michael Goedicke: Towards Domain-specific Modeling for Java Enterprise Applications. 30-39
Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige: KAOS-β: A Goal-oriented Process Model for EIS. 40-49
Oana Otilia Prisecaru: The Analysis of Resource Constrained Workflows using Petri Nets. 50-59
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez: Compositional Verification of Business Processes by Model-Checking. 60-69
Ammar Mohammed, Ulrich Furbach: Extending CTL to Specify Quantitative Temporal Requirements. 70-79

Last update Fri May 25 08:47:15 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page