2nd MoDeVa workshop - Model design and Validation
Andrews (Washington State University, USA)
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
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 organizers.
A published conference satellite report is being investigated
by the organizers of Models. A summary of the workshop as well as the
two best papers from the workshop would be integrated in this report.