Vol-453 Copyright 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

CAiSE 2009 Forum

Proceedings of the Forum at the CAiSE 2009 Conference

Amsterdam, The Netherlands, 8-12 June 2009

Editors

Eric Yu^1,2, University of Toronto, Canada
Johann Eder², Alps-Adria University Klagenfurt, Austria
Colette Rolland², Université Paris 1 Panthéon Sorbonne, France

Table of Contents

1. First Steps Towards Conceptual Schema Testing
   Albert Tort, Antoni Olivé, pp. 1-6
2. Towards the Conceptual Specification of Statistical Functions with OCL
   Jordi Cabot, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo, pp. 7-12
3. Applying a Model Checker to Check Regulatory Compliance of Use Case Models
   Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori, pp. 13-18
4. A Qualitative, Interactive Evaluation Procedure for Goal- and Agent-Oriented Models
   Jennifer Horkoff, Eric Yu, pp. 19-24
5. An Integrated Quality Assurance Framework for Specifying Business Information Systems
   Frank Salger, Stefan Sauer, Gregor Engels, pp. 25--30
6. Early Requirements Engineering for e-Customs Decision Support: Assessing Overlap in Mental Models
   Brigitte Burgemeestre, Jianwei Liu, Joris Hulstijn, Yao-Hua Tan, pp. 31-36
7. Goal-Based Self-Contextualization
   Raian Ali, Fabiano Dalpiaz, Paolo Giorgini, pp. 37-42
8. Describing and Verifying Monitoring Capabilities for SLA-Driven Service Based Systems
   Marco Comuzzi, George Spanoudakis , pp. 43-48
9. Generative Composition of Web Services
   Rajesh Thiagarajan, Wolfgang Mayer, Markus Stumptner, pp. 49-54
10. Constructing an Information Model for Application Landscape Management
    Sabine Buckl, Alexander M. Ernst, Florian Matthes, Christian M. Schweda, pp. 55-60
11. Enterprise Architecture Analysis using Fault Trees and MODAF
    Ulrik Franke, Pontus Johnson, Evelina Ericsson, Waldo Rocha Flores, Kun Zhu, pp. 61-66
12. Feature-Oriented Model-Driven Software Product Lines: The TENTE Approach
    Lidia Fuentes, Carlos Nebrera, Pablo Sánchez, pp. 67-72
13. Analyzing a Collaborative Modeling Game
    Denis Ssebuggwawo, Stijn S.J.B.A Hoppenbrouwers, Erik H.A Proper, pp. 73-78
14. Design Constructs for Integration of Collaborative ICT Applications in Innovation Management
    Sven-Volker Rehm, Manuel Hirsch, Armin Lau, pp. 79-84