2006 Bellairs CAMPaM workshop 
   

Welcome to the home page of the third Bellairs CAMPaM workshop.

The workshop aims to further the state-of-the-art in Computer Automated Multi-Paradigm Modeling (CAMPaM) as well as to define future directions of this emerging research area by bringing together world experts in the field for an intense one-week workshop.

The workshop will be held from Sunday April 23 until Saturday April 29 at McGill University's Bellairs campus.

Organizers:


Workshop Subject

Computer Automated Multi-Paradigm Modelling (CAMPaM)

CAMPaM acknowledges that modelling and simulation are becoming increasingly important enablers for the analysis and design of complex systems. To tackle problems of ever growing complexity, the focus of modelling and simulation research is shifting from simulation techniques to modelling methodology and technology. Because of the heterogeneous nature of embedded systems and the many implementation technologies, multi-paradigm modelling is a critical enabler for holistic design approaches (such as mechatronics) to avoid overdesign and to support system integration. Multi-paradigm techniques have been successfully applied in the field of software architectures, control system design, model integrated computing, and tool interoperability.

CAMPaM spans the study of physical as well as software systems and combinations thereof. It adresses and integrates three orthogonal directions of research:
  1. model abstraction, concerned with the relationship between models at different levels of abstraction;

  2. multi-formalism modelling, concerned with the coupling of and transformation between models described in different formalisms;

  3. meta-modelling, concerned with the description (models of models) of classes of models. More explictly, the specification of formalisms. Taking meta-modelling one step further, the structure, look, and behaviour of complete formalism-specific modelling environments is specified and the environments are automatically synthesized.

CAMPaM explores the possible combinations of these notions. It combines, transforms and relates formalisms, generates maximally constrained domain- and problem-specific formalisms, methods, and (visual)tools, and verifies consistency between multiple views.
Since models determined by a meta-model can always be described as graphs, transformation may be performed by a generic graph-transformation. Therefore, it makes sense to combine meta-modelling and graph-grammars in a unifying framework.

Workshop High-level Goals
  1. The diversity in the research subjects of the attendees provides a fertile ground for cross-correlating research. The result of this will be the application of methods and techniques that are well-known and established in different fields of research (such as meta-modelling, graph transformation, domain-specific modelling, visual modelling environments and component-based modelling) and will lead to cross-disciplinary collaboration. Furthermore, it should make evident the need for advances of research along avenues otherwise overlooked.

  2. A concerted effort of the attendees will result in a consolidation of scattered CAMPaM-related work as well as a common vision on how to best evolve the field of CAMPaM. This vision may include detailed technical perspectives, joint publications, as well as organizational plans.


Workshop Focus
We plan to focus on some of the following subjects during the workshop:
  1. Foundations of CAMPaM/DSM:
    Meta-modelling and model transformation as enablers for multi-formalism and multi-abstraction modelling. The critical subjects (for the succesful large-scale adoption of CAMPaM) are (meta-)model evolution, (automated) model testing, model exchange, model debugging.
  2. Design of CAMPaM tools (including standardization) with a focus on Domain-Specific Modelling (DSM):
    • Meta-modelling;
    • Model transformation;
    • Visual Modelling Environments
  3. Applications (specific domains/formalisms):
    In particular, Causal Block Diagrams and Variable Structure Discrete Event formalisms.
Maintained by Hans Vangheluwe. Last Modified: 2008/09/04 14:48:26.