2018 Bellairs CAMPaM workshop 

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

The workshop aims to further the state-of-the-art in Computer Automated Multi-Paradigm Modelling (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 Friday 11 May (arrival) - Friday 18 May (departure) 2018 at McGill University's Bellairs campus. The actual workshop starts on Saturday morning and continues for 5 full days (until Wednesday evening). Although it is possible to depart on Thursday, most participants leave on Friday to do some sightseeing on Thursday (in particular, to visit Crane Beach).
The workshop takes the Dagstuhl seminar format --bring a critical mass of top researchers together in a relatively remote location and soon new ideas will flow-- one step further: the Bellairs facilities are relatively primitive (and cheap) and there are no distractions such as typically found in hotels.


Workshop Subject

Computer Automated Multi-Paradigm Modelling (CAMPaM)

CAMPaM acknowledges that modelling is the central activity in and main enabler for the analysis and design of complex systems. Because of the heterogeneous nature of for example 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. Fourteen CAMPaM workshops at Bellairs '04, '05, '06, '07, '08, '09, '10, '11, '12, '13, '14, '15, '16, '17, many conference Multi-Paradigm Modelling (MPM) conference sessions and MoDELS '06 (Genoa), '07 (Nashville), '09 (Denver), '10 (Oslo), '11 (Wellington), '12 (Innsbruck), '13 (Miami), '14 (Valencia), '15 (Ottawa) workshops have been held. A special issue of the journal Simulation was devoted to CAMPaM, and COST Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS) works on MPM solutions for the design of complex, Cyber-Physical Systems. See also the (very outdated) CAMPaM page for more related material.

Multi-Paradigm Modelling spans the study of physical as well as network and software systems, and combinations thereof. Such systems are now commonly known referred Cyber-Physical Systems (CPS). It adresses and integrates three orthogonal research dimensions:
  1. model abstraction, concerned with the (refinement, generalization, ...) relationships 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. explicitly model the processes of multi-paradigm activities.
To support the above, the following enabling theories/methods/technologies are considered crucial:
  1. Modelling language engineering and in particular meta-modelling, concerned with the description (models of models) of classes of models. More explictly, the specification of formalisms (including their semantics -- note that language engineers usually reserve the term meta-model to a model of abstract syntax of a formalism). 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.

  2. the explicit modelling of transformations, treating transformations as first-class models. This leads quite naturally to questions about (meta-)model evolution, higher-order transformations (transforming transformations), co-evolution of models, multi-view modelling and syntactic and semantic model consistency.
CAMPaM explores the possible combinations of the above 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.

Workshop High-level Goals
  1. The diversity in the research subjects of the attendees provides a fertile ground for cross-correlating research. In particular, since 2008, several of the workshop participants are not Computer Science researchers, but rather domain-experts (mechanical engineering, embedded systems, ...). The result of this interaction 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 will include detailed technical perspectives, joint publications, how Multi-Paradigm Modelling and Model-Driven Engineering may be introduced in education, as well as organizational plans.

Workshop Focus
The topics below were the pre-workshop planned topics.
  1. Foundations of domain-specific modelling with a particular focus on visual modelling and the modelling/formal analysis/simulation/synthesis of complex user interfaces.
  2. Modular design of hybrid modelling languages also known as "language weaving" (by explicitly modelling syntax, and above all semantics). The link with co-simulation, debugging, and "live modelling".
  3. Foundations of co-simulation. Co-simulation supports early-stage system-level evaluation of system properties, as required in agile MBSE. Of particular interest is the analysis of accuracy and stability of co-simulation algorithms.
  4. Continue work of CAMPaM 2015 on the foundations of abstraction in the context of Cyber-Physical Systems (stepping outside the comfort zone of software abstractions).
Given the interests of the participants, the eventual focus was on
  1. Statecharts + Class Diagrams (SCCD) for Agent-Based Modelling (ABM) and Multi-Agent Systems (MAS). Stared by studying the semantics of NetLogo.
  2. Adaptive abstraction in the presence of emergent behaviour: Agent Based Modelling (ABM), Cellular Automata (CA), Equation Based Modelling (EBM). Experiments using Gamma.

Since 2011, we mostly, in addition to a few general presentations, work in small groups (as few as 2 participants) on specific problems. The results are discussed globally during the evening sessions (7-10pm). Such focused discussion are likely to lead more directly to joint publications.

Workshop (high-level) Schedule
  • Friday: participants arrive and check into their rooms (after 15:00, luggage can be left in the meeting room if arriving earlier);
  • Saturday: introduction of participants (5 min per person). Workshop topic selection (from the above list). Possibly some plenary talks about some topics, to make selection easier;
  • Sunday: work in small groups on topics, refine and present in the evening;
  • Monday: afternoon off for glassbottom boat trip (starts at 14:00);
  • Tuesday: continue working in groups. Evening plenary talks;
  • Wednesday: participants leaving on Thursday pay 10:30 - 11:30. Working groups prepare and give presentations about their work and discuss planning for post-workshop work. Post-mortem analysis of the workshop. Leave at 17:00 for cocktails at Surfside;
  • Thursday: participants leaving on Friday pay 10:30 - 11:30. Crane Beach/Oistins turtles and dinner/bus ride (or other alternatives such as island tour). Some participants depart;
  • Friday: participants check out of their rooms by 11:00 and depart.
Maintained by Hans Vangheluwe. Last Modified: 2018/05/22 01:23:17.