A metamodelling tool for developing DSML
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bloodapp
images
src-noconflict
www
www2
BloodAppSimulation.js
CriticalPairAnalysis.js
DPOTransformation.js
DPOTransformation_NC.js
DPOTransformation_NC_step.js
DpfAnnotation.js
DpfCompletionRule.js
DpfConnection.js
DpfNode.js
DpfPredicate.js
DpfPredicateConstraint.js
DpfTyping.js
FileUtil.js
MetamodelStack.js
README.md
Specification.js
TerminationAnalysis.js
collapse.css
dpf.css
dpf.js
dragDpfConnection.js
dragDpfNode.js
dragDpfPredText.js
dragDpfText.js
editor.css
index.htm
jquery-1.11.2.min.js
jquery.collapsible.js
pane_CompletionRule.js
pane_General.js
pane_Model.js
pane_Predicate.js
pane_ProductionRule.js
pane_QueryView.js
raphael.js
semanticEditor.html
seperator.js
setupCollapsibleMenu.js
setupScreen.js

README.md

MDE is a trend in software engineering which aims at improving productivity and quality of software development. This is obtained by considering models as first-class entities of the software development process and adopting model transformation to automate the implementation. MDE enables developers to reason at a higher level of abstraction and focus on the problem domain. Moreover, it restrains developers from repetitive and error-prone work such as coding.

In the state-of-the-art of MDE, models are typically specified by means of modelling languages such as the Unified Modeling Language (UML). The semantics of these modelling languages is mostly specified semi-formally by means of textual description in English. This may not guarantee the degree of precision required by MDE. In fact, research in the field has argued that a formal approach is necessary to unfold the full potential of MDE.

WebDPF is a metamodeling tool built on the foundation of DPF (http://dpf.hib.no). It attempts to overcome this shortage by providing a formal approach to (meta)modelling, model transformation and model management based on category theory and graph transformation. DPF is an extension of the Generalised Sketches formalism originally developed by Zinovy Diskin et al.