| 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.

Edited by

### Régine LALEAU *
Michel LEMOINE #

* Laboratoire d'Algorithmique, Complexité et Logique, University Paris 12, France
# Onera Toulouse, France

## Table of Contents

Preface
Régine LALEAU, Michel LEMOINE,

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

Note: The proceedings of this workshop also appeared in printed version In T. Latour and M. Petit (eds), Proceedings of Workshops and Doctoral Consortium, The 18th International Conference on Advanced Information Systems Engineering - Trusted Information Systems (CAiSE'06), June 5-9, 2006, Presses Universitaires de Namur, 2006, ISBN 2-87037-525-5. Click here to get a copy.

submitted by Régine Laleau, Michaël Petit, 11-Jul-2007
published on CEUR-WS.org, 12-Jul-2007