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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Juan Garbajosa Sopeña, Manuel I. Capel Tuñón, editors, 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 . SciTePress, 2010.

Conference: vveis2010

Abstract is missing.

On Some Complementary Trends in Model Transformation GenerationMarianne Huchard. 3

Definition of Domain Specific Operation Languages Following MDDPedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat. 5-15

Framework for Performance Evaluation of Service Negotiations in Agent SystemsMihnea Scafes, Costin Badica. 19-29

Towards Domain-specific Modeling for Java Enterprise ApplicationsMoritz Balz, Michael Goedicke. 30-39

KAOS-β: A Goal-oriented Process Model for EISMalihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige. 40-49

The Analysis of Resource Constrained Workflows using Petri NetsOana Otilia Prisecaru. 50-59

Compositional Verification of Business Processes by Model-CheckingLuis Eduardo Mendoza, Manuel I. Capel, María A. Pérez. 60-69

Extending CTL to Specify Quantitative Temporal RequirementsAmmar Mohammed, Ulrich Furbach. 70-79

runs on WebDSL