[ecoop-info] MoVaH'08

[Guy Vidal-Naquet]

Apologies for cross postings
Please disseminate where relevant



MoVaH'08: Workshop on Modeling, Validation and Heterogeneity
-----------------------------------------------------------
http://wwwdi.supelec.fr/fb/MoVaH08/

with the first IEEE International Conference on 
Software Testing, verification and validation 
ICST 2008 Lillehammer, Norway, April 9 2008


Scope
-----

Industrial systems are more and more 
heterogeneous at several levels. At the 
realization level, heterogeneity comes from the 
fact that systems are composed of software parts, 
hardware parts or mechanical parts. Heterogeneity 
may also come from the fact that several software 
parts may be written using different programming 
languages. Heterogeneity can also be observed at 
the design level. A specification (or model) of a 
system is heterogeneous when it is composed of 
several specifications written in different 
specification (modeling) languages. Heterogeneity 
at the design
level may also come from the fact that designers 
want to chose the most suitable specification 
language for each subsystem: for example UML is 
adapted to the design of subsystems that will be 
implemented using an object-oriented language, 
algebraic specifications are adapted to the 
design of subsystems that will be implemented 
using functional languages, a language like 
Esterel is adapted to the design of reactive 
subsystems... Another cause of heterogeneity at 
the design or realization level is that for 
economical and "time to market" reason, modern 
systems are often designed (realized) by reusing 
already existing models (realizations).
Difficulties related to the management of 
heterogeneity occur at the semantic level: in an 
heterogeneous model, specification languages have 
different semantics that have to be connected in 
some way: either by considering a common pivot 
language used to re-express all models and 
structure their combination, or by defining 
heterogeneous glues in a language dedicated to 
this purpose. The same problem occurs for 
realizations of software systems consisting of 
several heterogeneous subsystems since one has to 
define how to structure several pieces of 
software written in different programming 
languages and how there are executed. Structuring 
software subsystems and hardware or mechanical 
subsystems is even more had-hoc due to the 
intrinsic different natures of such subsystems.
This workshop aims at being a forum for 
researchers and practitioners with varying 
backgrounds to discuss new ideas concerning the 
management of heterogeneous systems. 
Contributions may consist in:
* case studies illustrating methods to structure 
heterogeneous models or realizations,
* formal or semi-formal methods to specify or realize heterogeneous systems,
* theoretical frameworks to study heterogeneity of systems,
* verification, validation or proof-based techniques for heterogeneous systems

Format of papers
----------------
Submitted papers should be at most 10 pages in 
IEEE double column formats. Papers will be 
reviewed by at least two persons. Accepted papers 
will be published in the IEEE digital library.

Important dates
---------------

* submission of papers: December 15 2007
* notification: February 15 2008
* camera ready: March 1st 2008
* workshop: April 9 2008

Organizing Committee
--------------------

* Frédéric Boulanger (frederic dot boulanger at 
supelec dot fr), Supélec, France
* Christophe Gaston (christophe dot gaston at cea dot fr), CEA LIST, France
* Pierre-Yves Schobbens (pys at info dot fundp dot ac dot be), FUNDP, Belgium

Program Committee
-----------------

* Marc Aiguier, École Centrale, France
* Sophie Coudert, LabSoC, France
* Stephen A. Edwards, Columbia University, USA
* Susanne Graf, VERIMAG, France
* Stephen Neuendorffer, Xilinx, USA
* Marie-Agnès Péraldi-Frati, I3S, France
* Markus Roggenbach, University of Wales Swansea, UK
* Guy Vidal-Naquet, Supélec, France