[CEUR Workshop Proceedings] 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