REMO2V'2006
International
Workshop on
Regulations
Modelling and their Validation & Verification
to
be held in
conjunction with the
OBJECTIVES
Many
human activities are controlled by regulations and standards. These are
usually intended to ensure some safety or security properties, or may
simply be used to enforce a fair behaviour from a set of interacting
stakeholders. In many cases, it is essential to guarantee the quality
of these natural language documents. This is where modelling techniques
can help! The objectives
of the workshop are mainly to share experience on methods used to
model, validate and verify (information) systems
based on strong
existing regulations. Besides
usual areas, such as air, maritime or
railway transport, it must also
be noticed that regulations apply to a
large variety of fields: finance, health,
e-business,
e-learning, etc. A common point is the
fact that behind (information) systems there is no need for a
computerised implementation. The workshop aims to
promote
techniques,
basically devoted to computer science,
which can be fruitfully applied
to very
different fields of regulations. A second important
goal of the workshop should be the establishment of an industrial and
academic community interested by this new topic. It is now undeniable
that the
topic will grow in the coming years as safety and security are
increasingly enforced by complex regulations (see for example the next
7th
Framework Programme of the European Union about Security).
TOPICS
Specific
topics of interest include,
but are not limited to:
- Conceptual models of regulations using formal
and/or
graphical representations.
- Validation and test of regulation models with certification
experts.
- Verification of regulation
models,
including the detection of inconsistencies,
identification of missing
rules...
- Elaboration of attack scenarios from regulation
models.
- Methodologies for the translation of regulations
into
conceptual models.
- Application studies of the above points on
regulations for
different domains (transport, finance,
health,
e-business,
e-learning, ...).
TARGETED AUDIENCE
The
background of the
attendees should be either in pure computer science with good knowledge
on validation & verification techniques and modelling, or in
business
activities related
to regulations (European Commission, governmental and non governmental
authorities, legal institution related to finance, health, e-business,
etc.).
SUBMISSION
Contributions
can be of
two types: full papers and position papers. Full papers are limited to
5 pages and should be original work describing preliminary or completed
results. Position papers are extended abstracts of 2 pages and may present work in progress,
experience
reports or problem statements.
All submissions should include: author's name(s), affiliation, mailing
address, phone and fax number and email address.
Only electronic submissions are accepted and papers should be submitted
in
pdf format to laleau@univ-paris12.fr
and
lemoine@onera.fr.
Submissions
should conform to Springer's LNCS format. Information about Springer
LNCS format can be found at http://www.springer.de/comp/lncs/authors.html.
IMPORTANT DATES
Papers due:
February 27,
2006
Extended
deadline:
March 10, 2006
Author notification: March 23, 2006 Delayed
to: April 3,
2006
Camera ready copies: April 10, 2006
WORKSHOP ORGANIZERS
- Régine
LALEAU, University Paris 12,
France
- Michel
LEMOINE, Onera
Toulouse, France
PROGRAMME
COMMITTEE
- Robert DARIMONT,
Cediti, Belgium
- Régine
LALEAU, University Paris 12,
France
- Yves LEDRU, University Grenoble
1, France
- Jean-Henry
MORIN, University of Genève, Switzerland
- André
RIFAUT, Public Research Centre
Henri Tudor, Luxembourg
- Andreas SPECK,
University of Jena, Germany
- Susan STEPNEY, University of York, UK
- Nicolas SUAREZ,
Isdefe,
Spain