The one-day workshop focuses on methods,
processes, and support of regulation formulation, formalisation,
verification,
validation, and deployment in information systems engineering.
Purpose
of the workshop
The
workshop aims to further the
field of Regulations Modelling and Deployment in information systems
engineering. We include "regulations deployment" as a second main
topic interacting with "regulations modelling" (already covered by ReMo2V’06)
because the way a certain set of
rules/regulations is to be deployed
is so much related to the way regulations are to be modelled, and vice
versa.
We expect the combination to be greater than the sum of its parts.
Interdisciplinary character
The
ReMo2V
participants mainly
came from the formal software engineering community and Law-and-AI. In
REMOD’08, our aim is to enlarge the audience by including
research and industry
participants coming from the fields of Information Systems and, in
particular, IS
Development, Business-IT Alignment, Requirements Engineering,
Enterprise and
Information Architecture, Business rules, Business Process Management,
and
Compliance. Through this interdisciplinary workshop, we expect to
encourage
fruitful exchanges between several scientific communities.
Application
areas
Typical
areas of application are:
Business Rules and Business Processes (including Rule-based
Architecture),
Governance, Compliance, Policies, Legal Systems, Taxation, Financial
Services,
IT Governance, Security and Safety Regulations, (Medical) Protocols,
Transport
and E-business, ...
Possible subjects
Typical
subjects include, but are
not restricted to:
pragmatics and semiotics concerning regulations
modelling and deployment
quality of regulation models and deployment
design of compliant business processes
regulations management
integrating rules and regulations into
information systems engineering
applications of logic to regulations modelling
and deployment
applications of fuzzy matching to regulations
modelling and deployment
validation and testing of regulation models with
certification experts
verification of regulation models, including the
detection of inconsistencies and identification
of missing rules
elaboration of attack scenarios from regulation
models
terminological and conceptual
foundations of regulations (including ontologies)
natural language-based
expression and elicitation of regulations
application of rule languages
and engines
methods, processes, and
support of regulation formulation and formalisation
conceptual models of
regulations using formal and/or graphical representations
innovative or complex cases
from industry or public sector
regulations-based generation
of systems
architecture issues
compliance issues
legal, philosophical, and
ethical issues
organisational issues
systemic and cybernetics issues
Workshop Organizers
PC
and Workshop Chair: Jan
Vanthienen, Katholieke Universiteit Leuven,
Belgium
Co-chairs:
Stijn Hoppenbrouwers,Radboud University Nijmegen,The
Netherlands
Régine Laleau,
University Paris 12, France
Program Committee
Grigoris Antoniou, Greek Foundation for Research
and Technology, Heraklion, Greece
Alcedo Coenen, CIBIT, Bilthoven, the Netherlands
Robert Darimont, Respect-IT, Belgium
Guido Governatori, University of
Queensland, Australia
Leo Hermans, Everest B.V., den
Bosch, the Netherlands
Stijn Hoppenbrouwers, Radboud University
Nijmegen,
the Netherlands
Régine Laleau, University Paris 12,
France
Michel Lemoine, Onera Toulouse, France
Yves Ledru, LIG, University Grenoble, France
Christophe Mues, University of Southampton, UK
Tony Morgan, Neumont University, USA
Fiona Polack, University of York, UK
Erik Proper, Radboud University Nijmegen, the
Netherlands
Silvie Spreeuwenberg, LIBRT, Amsterdam, The
Netherlands
Shazia Sadiq, University of
Queensland, Australia
Jan Vanthienen, Katholieke Universiteit Leuven,
Belgium (Chair)
Gerd Wagner, Brandenburgische Technische
Universität Cottbus, Germany
Hans Weigand, University of Tilburg, The
Netherlands
Paper Submission and reviewing
Submitted
papers will be
evaluated on the basis of significance, originality, technical quality,
and
exposition. Preference will be given to papers covering the entire
trajectory
from modelling to deployment, in the context of sustainable information
systems.Interdisciplinary
papers (i.e. papers bridging gaps between fields) will
be preferred over relevant but mono-disciplinary ones.Papers
should clearly establish the research
contribution, and their relation to previous research.Position
and survey
papers are welcome. Efforts are underway to secure a Special Issue
of a journal publication for selected papers of exceptional quality
accepted
for the workshop.
IMPORTANT
DATES:
Papers due:
February 22,
2008
EXTENDED DEADLINE:
March, 3 2008
Notification
of acceptance: March 21, 2008
Camera ready version due: April 1, 2008
Papers
should be
submitted in PDF format. The findings must be unpublished and must not
be under review elsewhere. Submissions must conform to Springer's LNCS
format and should not exceed 12 pages, including all text, figures,
references, and appendices. Information about the Springer LNCS format
can be found at http://www.springer.de/comp/lncs/authors.html.
Three to five keywords characterizing the paper should be indicated at
the end of the abstract. It is expected that at least one author of
each accepted paper will register for and attend the workshop.
