2004 Bellairs CAMPaM workshop 
   

Welcome to the home page of the first 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 25 until Saturday May 1st on 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.

CAMPaM explores the possible combinations of these notions. It combines, transforms and relates formalisms, generates maximally constrained domain- and problem-specific formalisms, methods, and 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 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 may 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.

Maintained by Hans Vangheluwe. Last Modified: 2008/09/09 15:13:19.