CfP : Workshop on Model Design and Validation (MoDeVa) at Models
- From: bbaudry@xxxxxxxx
- Date: 23 Jun 2005 06:49:53 -0700
CALL FOR PAPER
==================================================================
MoDeVa'05
2nd Workshop on Model Design and Validation
Half Moon Resort, Montego Bay, Jamaica, October 3, 2005
http://www.irisa.fr/manifestations/2005/MODEVA2005/
In conjunction with Models 2005
===================================================================
Design and validation methods appear to be more and more necessary
in an industrial context. This fact is due to several factors.
Software systems are more and more complex and cannot be
understood by a stand-alone human without a proper standardisation.
MDA(Model Driven Architecture) or more generally object/component
oriented design methods have been defined in order to overcome
a part of this problem. Moreover, systems large scale and complexity
induce important risks of bugs or unpredicted behaviours resulting
from interactions between subsystems. Formal methods have been
intensively applied to evaluate reliability of systems.
These methods generally require adequate specification and structuring
languages to describe (a part of) the system under validation.
For instance, modular first order languages are suitable for this
purpose.
One of the main problem encountered when trying to combine design and
validation features, is that structuring languages suitable for one
of the features are generally not suitable for the other. In this way,
object-oriented paradigm is suitable for large scale system design,
since it allows anthropomorphic design based on services exchanges
of basic entities. However, this paradigm is not suitable (without
restriction) for validation activities, since any enrichment of a
system
is likely to cause loss of global properties. In the opposite way,
modular paradigm ensures properties preservation but the price to pay
is an amount of design difficulties.
The MoDeVa (Model Design and Validation) workshop aims at being a
forum for researchers and practitioners with varying backgrounds to
discuss new ideas concerning links between model-based design and
model-based validation. More precisely, topics of interest include
design processes that support complex system modelling and formal
or semi-formal refinement mechanisms. In the frame of validation
methodology, model-based testing will be considered as
"first-class-citizen"
since testing is the primary used technique in the industrial context.
Design methodologies including considerations on properties
preservation
(non-regression testing for example) will be appreciated. Languages to
describe or validate models include UML and its MDE (Model Driven
Engineering)
and MDA aspects, algebraic languages, automata-based language,
first order language, propositional languages... The considered design
paradigm may be inherited from programming language field, like object
oriented design, or more abstract, like component or feature based
modelling.
Topics of interest
* Validation techniques for MDE
* Verification and Testing at the model level
* Compositional approaches
* Tools and automation
* Validation and verification techniques supporting refinement,
abstraction, and structuring
* Case Studies and Experience Reports.
Important dates
- Submission deadline: July 29, 2005
- Notification of acceptance: September 2, 2005
- Workshop day: October 3, 2005
Program Committee
Benoit Baudry (IRISA - INRIA, France)
Robert France (Colorado State University, USA)
Sudipto Ghosh (Colorado State University, USA)
Christophe Gaston (CEA/LIST, France)
Yves Le Traon (France Telecom R&D, France)
David Lugato (CEA/DAM, France)
Aditya Mathur (Purdue University, USA)
Amit Paradkar (IBM, USA)
Bernhard Rumpe (Braunshweig University, Germany)
Pierre-Yves Schobbens (University of Namur, Belgium)
Submission
Submissions should not exceed 4 pages. A balanced selection of
position and technical papers will be decided by the program committee.
Submissions should be sent as PS or PDF file formats by email to the
organizers:
bbaudry@xxxxxxxx, christophe.gaston@xxxxxx, ghosh@xxxxxxxxxxxxxxxxx
.
- Prev by Date: Re: F.Y.I. - Revised paper "P=NP: LP Formulation of the TSP"
- Next by Date: Re: F.Y.I. - Revised paper "P=NP: LP Formulation of the TSP"
- Previous by thread: fsa: compleixity and frequency
- Next by thread: NFA behaviour with "empty string"
- Index(es):
Relevant Pages
|
