________________________________________________________________________ Pierre Kelsen: works on: foundations of MDE software complexity of MDE formal methods for MDE focus topics: why model transformation? science of modelling success: collaboration, world domination of Laszlo Lengyel: works on: validating model transformations aspect-oriented constraint management VMTS: animation and simulation debugging of transformation domain-specific design patterns round-trip enineering: applications: multi-platform mobile topics: round-trip engineering success: connections CAMPaM-related references how to analyze, design and build complex systems 100% model-based Tom Mens: works on: software evolution description logics using graph transformation for ... topics: model evolution (using model transformation) "a model is a transformation" Pieter Mosterman: works on: model-based design heterogeneous models of computation real-time simulation code generation topics: learn about others' expertise solidify framework application semantic anchoring Anantha Narayanan: works on: GME, UDM, GReAT verification of model transformations model migration topics: interact semantic errors in transformations, model migration -> high-level general solution Gabriela Nicolescu: works on: heterogeneous multi-domain embedded systems heterogeneous modelling and simulation mapping applications onto architectures application topics: combining foundations and applications models vs. applications, tools, domains success: collaborations Chris Paredis: works on: design: decision making use Normative Decision Theory formal, systematic, but applicable solutions topics: how do we encode (in models and transformations) specific domain knowledge/context ? concurrent engineering CAMPaM application success: learn state-of-the-art, limitations collaborations Arend Rensink: works on: formal methods, process algebra graph transformation for behaviour modelling model transformation emphasis on correctness vision: defining modelling language semantics as easy as language syntax quantified/nested rules GROOVE: state-space generation/reduction topics: success: semantics concrete problems Eugene Syriani: works on: programmed model transformation (MoTif) topics: model transformation, consistency success: learning Mamadou Traore: works on: problem/representation/resolution space topics: success: learn Stefan Van Baelen: works on: model weaving aspect modelling transformation chaining (UniTi) property-preserving transformation topics: from requirements to ... non-functional concerns property-preserving transformations model evolution incremental MDD capturing manual fine-tuning as model transformations guidelines for multi-paradigm modelling success: learn joint paper collaboration/projects/networks Hans Vangheluwe: works on: CAMPaM topics: CAMPaM success: learning, success for all individual participants Pieter Van Gorp: works on: topics: success: evangelize story diagrams, copy operator practical experience DEVS, Alloy MDE work for SoC Benoit Baudry: works on: model composition model transformation testing validation for models @ runtime topics: multi-formalism representation of models model management (comparison, analysis) integration (common formalism for testing) success: validation of use of modelling/meta-modelling development cycle collaborations ________________________________________________________________________ General Topics: classification of CAMPaM in orthogonal dimensions, solidify (formal) framework relationship to MDE, graph transformation, ... identify current problems and future challenges (from (1) applications (2) general principles) ________________________________________________________________________ Voting on topics: 7 consistency maintenance, inconsistency management multi-view 4 evolution (model, meta-model, transformation); co-evolution how do we encode (in models and transformations) "specific domain" knowledge/context ? uncertainty: epistemic (lack of knowledge), inherent randomness ~ abstraction? incomplete requirements (in software) 7 apply current CAMPaM state-of-the art (models/transformations/abstraction/...) in concrete application domains 11 model transformation: scaling, modularity (for re-use), data-flow vs. control-flow verification, testing property-preserving traceability higher order expressivity incrementality 5 multi-formalism (modelling and execution/simulation=MoC) semantic anchoring 4 from requirements to realization ________________________________________________________________________ Concrete deliverables: * learn from others * plan collaborations (networks, projects, conference special session, ...) * breakdown/structure/... of CAMPaM concepts -> webpage, paper * standard references, CAMPaM starting point * tool comparison, webpage ________________________________________________________________________