|
|
Welcome to the home page of the 19th CAMPaM workshop.
The workshop aims to further the state-of-the-art in Computer Automated
Multi-Paradigm Modelling (CAMPaM) - a name (though Hans preferred "Aided" to "Automated") coined by
Pieter Mosterman and
Hans Vangheluwe
in the late '90s - 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 26 May (arrival) - Saturday 3 June (departure) 2023
at McGill University's Bellairs Research Institute campus.
The actual workshop starts on Saturday morning and continues for 6 full days
(until Thursday evening). Although it is hence possible to depart on Friday, most participants leave on Saturday to do
some sightseeing on Friday (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 - though lately prices have been going up in Barbados) and there are
no distractions such as typically found in hotels.
Organizers:
![](pictures/groupPicture.jpg)
From left to right: Dominique Blouin, Lars König, Vasco Amaral, Hans Vangheluwe, Moussa Amrani,
Lucas Albertins de Lima, Loek Cleophas, Joeri Exelmans, Thomas Weber, Alexander Egyed,
Johan Bergelin, Robert Heinrich, Hossain Muhammad Muctadir, Ciprian Teodorov.
Workshop Subject
Computer Automated Multi-Paradigm Modelling (CAMPaM)
CAMPaM acknowledges that explicit modelling of all parts and aspects of a system under study is the central activity
in and main enabler for the model-based analysis, design, realization/deployment, testing, maintenance, ... 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. Sixteen CAMPaM workshops at Bellairs
'04,
'05,
'06,
'07,
'08,
'09,
'10,
'11,
'12,
'13,
'14,
'15,
'16,
'17,
'18,
'19,
'22,
'23 (at Cargèse, Corsica),
many Multi-Paradigm Modelling (MPM) and from 2019 Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) conference sessions and MoDELS
'06 (Genoa),
'07 (Nashville),
'09 (Denver),
'10 (Oslo),
'11 (Wellington),
'12 (Innsbruck),
'13 (Miami),
'14 (Valencia),
'15 (Ottawa),
'19 (Munich),
'20 (online),
'21 (online)
workshops have been held.
A special issue of the ACM Transactions on
Modeling and Computer Simulation (TOMACS) was
devoted to CAMPaM,
and COST Action IC1404
" Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS)
worked 2014 - 2019 on MPM solutions for the design of complex, Cyber-Physical Systems.
See also the (very outdated) CAMPaM page
for more related material.
The networking of multi-physics (mechanical, electrical, hydraulic, biochemical, ...)
with computational systems (control systems, signal processing, logical inferencing, planning, ...)
processes, interacting with often uncertain environments, with human actors,
in a socio-economic context, leads to so-called Cyber-Physical Systems (CPS).
Multi-Paradigm Modelling aims to tackle the kind of complexity found in CPS and CPSoS
(Cyber-Physical Systems of Systems). In the context of Production Systems, MPM can furthermore be used
to address the problems typically found in Industry 4.0. In particular, it can be a basis
for representing and "slicing" a Digital Twin.
Multi-Paradigm Modelling adresses and integrates several orthogonal research dimensions:
- model composition, concerned with architectural (de-)composition.
This covers both white-box and black-box composition;
- model abstraction, concerned with the (refinement, generalization, ...)
relationships between models at different levels of abstraction. In multi-level modelling, often with as a goal to support
self-adaptation, these levels may refer to each other;
- multi-formalism modelling, concerned with the relations (and transformation)
between models described in different formalisms.
At the language level, this entails (modular) Modelling Language Engineering (MLE) of hybrid languages.
- explicitly modelling the workflows of multi-paradigm activities.
To support the above, the following enabling theories/methods/technologies are
considered crucial:
- Modular Modelling Language Engineering (MLE) and in particular
meta-modelling,
concerned with the description (models of models)
of the structure (abstract syntax) of classes of models as well
as the explicit modelling of language semantics, possibly by
specifying the orchestration of existing simulators/executors/analysers.
Taking meta-modelling
one step further, the structure, look, and behaviour of complete formalism-specific modelling
(editing, debugging, ...) environments should be specified and the modelling/simulation/execution/analysis/debugging/...
environments automatically synthesized.
- 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 all 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.
The following selected papers describe Multi-Paradigm Modelling:
- Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann.
Multi-paradigm modelling for cyber-physical systems: a descriptive framework.
Softw. Syst. Model. 20(3): 611-639 (2021).
[pdf]
- Pieter J. Mosterman, Hans Vangheluwe.
Computer Automated Multi-Paradigm Modeling: An Introduction.
Simulation 80(9): 433-450 (2004).
[pdf]
- Hans Vangheluwe, Juan De Lara, Pieter J. Mosterman.
An introduction to multi-paradigm modelling and simulation.
Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High Autonomy Systems), Lisboa, Portugal (2002).
[pdf]
- Hans Vangheluwe and Ghislain C. Vansteenkiste.
European thoughts, actions, and plans for more effective modelling and simulation in Europe: A forum for basic research in modelling and simulation.
Simulation, 66(5):331-335 (1996).
[pdf].
Workshop High-level Goals
- 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 in and the definition of research along new research directions otherwise overlooked.
- 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, and may improve industrial Systems Engineering practices.
Workshop Focus
This year, we plan to focus on (some of) the following subjects during the workshop.
The actual topics are decided at Bellairs during the first day of the workshop based on the particular interests of the participants.
- A rigorous definition of "Multi-Paradigm" and foundations of Multi-Paradigm Modelling. This is a continuation
of the efforts during the MPM4CPS COST Action (including the development of machine-readable ontologies of MPM and CPS), of work at the 2019 CAMPaM workshop,
and of the many miniCAMPaM workshops that were held in Paris, Antwerp, Aachen and Karlsruhe, by the "MPM theory" group.
This year, we want to in particular look at the link between foundations and tooling.
- Model abstraction, concerned with the (refinement, generalization, ...)
relationships between models at different levels of abstraction. In multi-level modelling, often with as a goal to support
self-adaptation, these levels may refer to each other.
- Foundations of domain-specific modelling with a particular focus on
"blended" textual/visual modelling and the modelling/formal analysis/simulation/synthesis of complex user interfaces.
Of particular interest is support of "early stage" inter-disciplinary modelling (aka "sketching" or "ideation").
This can for example be achieved by relaxed conformance checking (also known as "a posteriori typing") and the explicit modelling of when
which conformance checking needs to be done.
- Foundations of collaborative modelling in all its forms: synchronous vs. a-synchronous,
same location vs. different location, ... This reveals the distinction between implicit and explicit
modelling,
which acknowledges that efficient communication (between humans, and between human and computer)
often is possible thanks to a lot of implicit knowledge shared by sender and receiver.
Sometimes however (part of) the semantics of a modelling language needs to be made explicit as failing
to do so means that one of the parties may make wrong assumptions about semantics.
- Complex applications and how they on the one hand elicit new CAMPaM challenges
driving new research and on the other hand apply and test/validate current CAMPaM state-of-the-art theory, techniques and tools.
Application domains of interest are (software-intensive, embedded) Cyber-Physical Systems, with focus on mechatronics and production systems.
Other topics may come up depending on the interests of the participants.
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
during the plenary evening sessions (19:00 -- 21:00). Such focused discussion
are likely to lead more directly to joint publications.
Workshop (high-level) Schedule
- Saturday (Friday also possible): participants arrive and check into their rooms (in case of early arrival (before 15:00), luggage can be left
in the meeting room);
- Sunday: 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;
- Monday: work in small groups on topics, refine and present in the evening;
- Tuesday: work in small groups on topics, refine and present in the evening. Glassbottom boat trip during afternoon break.
This year, we may also postpone this till Friday;
- Wednesday: continue working in groups. Evening plenary talks;
- Thursday: participants leaving on Friday 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;
- Friday: participants leaving on Saturday pay 10:30 - 11:30.
Crane Beach/Oistins turtles and dinner/bus ride (or other alternatives such as an island tour).
Some participants depart;
- Saturday: participants check out of their rooms by 11:00 and depart.
|