Vol-364 Copyright 2006 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.

EMMSAD'06
Exploring Modeling Methods for Systems Analysis and Design

Proceedings of the 11th International Workshop on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD'06) held in conjunctiun with the 18th Conference on Advanced Information Systems (CAiSE'06)

Luxembourg, 5-9 June, 2006

Editors

John Krogstie, SINTEF and Norwegian Institute of Science and Technology, Norway
Terry Halpin, Neumont University, USA
Erik Proper, Radboud University Nijmegen, The Netherlands

Table of Contents

1. Towards an Ontology for Information Systems Development
   M. Leppänen, pp. 1-12
2. Towards Better Understanding of Agile Values in Global Software Development
   P.J. Agerfalk, pp. 13-20
3. Business Rule Modality
   T.A. Halpin, pp. 21-32
4. Ontological Analysis of KAOS Using Separation of Reference
   R. Matulevicius, P. Heymans, and A.L. Opdahl, pp. 33-44
5. Method Chunk Federation
   I. Mirbel, pp. 45-56
6. A Metamodelling-based Approach for Method Fragment Comparison
   M. Cossentino, S. Gaglio, B. Henderson-Sellers, and V. Seidita, pp. 57-70
7. Integrating Information Systems Components: A Situation-Driven Approach
   N. Arni-Bloch, J. Ralyté, and M. Léonard, pp. 71-82
8. Modeling Services using Contracts
   T. Estier, B. Michel, and O. Reinhard, pp. 83-90
9. Class Diagrams and Use Cases
   P. Shoval, A. Yampolsky, and M. Last, pp. 91-102
10. A Business Goal Driven Approach for Information Security Requirements
    X. Su, D. Bolsón, and P. van Eck, pp. 103-110
11. On the use of Object-Role Modelling to Model Active Domains
    P. van Bommel, S.J.B.A Hoppenbrouwers, H.A. Proper, and Th.P. van der Weide, pp. 111-122
12. From ER to Ontology with Natural Language Text Generation
    C. Veres, J. Sampson, and C. Atkins, pp. 123-134
13. Supporting the BPM life-cycle with FileNet
    M. Netjes, H.A. Reijers, and W.M.P. van der Aalst, pp. 135-146
14. Modeling Communication Behaviour of Mobile Applications
    V. Gruhn and A. Köhler, pp. 147-158
15. On the Translation between BPMN and BPEL
    J. Recker and J. Mendling, pp. 159-170
16. Software Process Validation: Comparing Process and Practice Models
    A. de Moor and H. Delugach, pp. 171-178