Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation.
Christine ChoppyGianna ReggioPublished in: WADT (2010)
Keyphrases
- dynamic systems
- modeling language
- qualitative models
- uml profile
- complex systems
- qualitative reasoning
- class diagrams
- consistency based diagnosis
- class diagram
- discrete event
- metamodel
- dynamical systems
- minimum description length
- model selection
- mdl principle
- object oriented
- ordinary differential equations
- business process modeling
- sequence diagrams
- model based diagnosis
- state variables
- software systems
- software engineering
- unified modeling language
- multi agent systems
- conceptual modeling
- state estimation
- continuous variables
- business process
- activity diagrams
- uml class diagrams
- database design
- knowledge base