| Vol-231 © 2006 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

# CAISE*06 Forum
Theme: Trusted Information Systems

### Forum Proceedings of the CAISE*06
Theme: Trusted Information Systems
Luxembourg, June 5-9, 2006.

Edited by

### Nacer Boudjlida *
Dong Cheng *
Nicola Guelfi #

* Loria - UHP, Nancy, France
# Université du Luxembourg

## Table of Contents

Preface
Nacer Boudjlida and Nicolas Guelfi
1. Generic Data Access in XML Based Workflow Management Systems
   Christian Dreier, Johann Eder, Marek Lehmann, and Amirreza Tahamtan
2. ADEPT Next Generation Process Management Technology
   Manfred Reichert, Stefanie Rinderle, Ulrich Kreher, Hilmar Acker, Markus Lauer, and Peter Dadam
3. WorkflowMiner: a New Workflow Patterns and Performance Analysis tool
   Karim Baina, Walid Gaaloul, Reda El Khattabi, and Abdellah Mouhou
4. Aligning Business Processes and Software Connecting the UML 2 Profile for Event Driven Process Chains with Use Cases and Components
   Birgit Korherr and Beate List
5. Integration of heterogeneous BPM Schemas: The Case of XPDL and BPEL
   Thomas Hornung, Agnes Koschmider, and Jan Mendling
6. A Framework for the Behavior Based Integration of Business Processes
   Georg Grossman, Michael Schrefl, and Markus Stumptner
7. Boosting the Availability of Information Systems by Data Replication
   J.E. Armendariz, H. Decker, and F.D. Munoz-Escoi
8. Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas
   Dolores Costal, Cristina Gomez, and Ernest Teniente
9. Adaptive Query Formulation to Handle Database Evolution
   George Papastefanatos, Panos Vassiliadis, and Yannis Vassiliou
10. Overcoming COTS Marketplace Evolvability and Interoperability
    Claudia Ayala and Xavier Franch
11. An attempt to combine UML and formal methods to model airport security
    Yves Ledru, Regine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Veronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux
12. Choosing a Prioritization Method-Case of IS Security Improvement
    Camille Salinesi and Elena Kornyshova
13. A Tropos Model-Driven Development Environment
    Davide Bertolini, Loris Delpero, John Mylopoulos, Aliaksei Novikau, Alessandro Orler, Loris Penserini, Anna Perini, Angelo Susi, and Barbara Tomasi
14. The Software Product Management Workbench: An Integrated Environment for Managing Product Releases in a Distributed Development Context
    Richard Nieuwenhuis, Inge van de Weerd, Lex Bijlsma, Sjaak Brinkkemper, and Johan Versendaal
15. Enhancing trust and buy-in from business: a platform for business -driven development of B2B transactions
    Michael Schmitt, Bertrand Gregoire, and Stefan Leidner
16. A Non-Linear Cost Model for Multi-Node OLAP Systems
    Jorge Loureiro and Orlando Belo
17. Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design
    Carla Silva, Jaelson Castro, Joao Araujo, Ana Moreira, Fernanda Alencar, and Ricardo Ramos
18. An e-Librarian Service that Understands Natural Language Questions from Students
    Serge Linckels, Christoph Meinel, and Thomas Engel
19. Isolated Features Detection in Feature Models
    Pablo Trinidad, David Benavides, and Antonio Ruiz-Cortes

submitted by Nacer Boudjlida, 25-Jan-2007
published on CEUR-WS.org, 28-Jan-2007