Vol-241 © 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.

REMO2V '06
AN INTERNATIONAL WORKSHOP ON REGULATIONS MODELLING AND THEIR VALIDATION AND VERIFICATION

Proceedings of the CAISE*06 Workshop on
Regulations Modelling and their Validation and Verification
ReMo2V '06
Luxemburg, June 5-9, 2006.

Régine LALEAU *
Michel LEMOINE #

Table of Contents

1. Structuring Safety Policy Decomposition
   Martin Hall-May, Tim Kelly
2. Experiences with Modeling and Verification of Regulations
   Jan Vanthienen, Christophe Mues, Stijn Goedertier
3. Validation of Regulation Documents by Automated Analysis of Formal Models
   Didier Bert, Fabrice, Yves Ledru, Sylvie Vignes
4. Modeling Airport Security Regulations in Focal
   David Delahaye, Jean-Frédéric Étienne, Véronique Viguié Donzeau-Gouge
5. Deviational analyses for validating regulations on real systems
   Fiona Polack, Thitima Srivatanakul, Tim Kelly, John Clark
6. Regulation in Information Systems at the Level of Tunement
   Michel Léonard, Abdelaziz Khadraoui, Jolita Ralyté
7. Modeling and Verifying Workflow-based Regulations
   Daniel Fötsch, Elke Pulvermüller, Wilhelm Rossak
8. Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 Approach
   André Rifaut, Christophe Feltus
9. Goal-oriented Analysis of Regulations
   Robert Darimont, Michel Lemoine
10. From Requirements Models to Formal Specifications in B
    Christophe Ponsard, Emmanuel Dieul
11. A Formalisation of the Soccer Substitution Rules
    Yves Ledru
12. Modelling and Verifying of e-Commerce Systems
    Andreas Speck