Jump to: navigation, search

Difference between revisions of "M2M/Benchmarks"

< M2M
(Synthetic Representation)
(added emfvm column)
Line 33: Line 33:
 
|+ Model-to-model Transformation Benchmarks
 
|+ Model-to-model Transformation Benchmarks
 
! rowspan=2 | Benchmarks
 
! rowspan=2 | Benchmarks
! rowspan=2 | [[ATL]]
+
! colspan=2 | [[ATL]]
 
! colspan=2 | QVT OM
 
! colspan=2 | QVT OM
 
! rowspan=2 | QVT R
 
! rowspan=2 | QVT R
 
|-
 
|-
 +
! [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.atl/plugins/org.eclipse.m2m.atl.engine.vm/?root=Modeling_Project Regular VM]
 +
! [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.atl/plugins/org.eclipse.m2m.atl.engine.emfvm/?root=Modeling_Project emfvm]
 
! [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.qvt.oml/?root=Modeling_Project Java]
 
! [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.qvt.oml/?root=Modeling_Project Java]
 
! [http://www.eclipse.org/m2m/atl/usecases/QVT2ATLVM/ ATL VM]
 
! [http://www.eclipse.org/m2m/atl/usecases/QVT2ATLVM/ ATL VM]
Line 42: Line 44:
 
! rowspan=4 | [[M2M/Benchmarks/RSM2TPC|RSM to TOPCASED]]
 
! rowspan=4 | [[M2M/Benchmarks/RSM2TPC|RSM to TOPCASED]]
 
| rowspan=2 | [http://wiki.eclipse.org/images/a/ab/RSM2Topcased.zip v1]: 45 min
 
| rowspan=2 | [http://wiki.eclipse.org/images/a/ab/RSM2Topcased.zip v1]: 45 min
 +
| rowspan=2 | [http://wiki.eclipse.org/images/a/ab/RSM2Topcased.zip v1]: ?min
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV1 v1]:
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV1 v1]:
 
| rowspan=4 | [http://www.eclipse.org/m2m/qvtr/FirstV1 v1]: ?min
 
| rowspan=4 | [http://www.eclipse.org/m2m/qvtr/FirstV1 v1]: ?min
Line 48: Line 51:
 
| ?min
 
| ?min
 
|- <!-- First entry - v2 -->
 
|- <!-- First entry - v2 -->
 +
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV2 v2]: ?min
 
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV2 v2]: ?min
 
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV2 v2]: ?min
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV2 v2]:
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV2 v2]:
Line 55: Line 59:
 
|- <!-- Second entry - v1 -->
 
|- <!-- Second entry - v1 -->
 
! rowspan=4 | [[M2M/Benchmarks/UML2PlatformOWL|UML2 API to Platform Ontologies]]
 
! rowspan=4 | [[M2M/Benchmarks/UML2PlatformOWL|UML2 API to Platform Ontologies]]
 +
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV1 v1]: ?min
 
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV1 v1]: ?min
 
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV1 v1]: ?min
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV1 v1]:
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV1 v1]:
Line 62: Line 67:
 
| ?min
 
| ?min
 
|- <!-- Second entry - v2 -->
 
|- <!-- Second entry - v2 -->
 +
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV2 v2]: ?min
 
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV2 v2]: ?min
 
| rowspan=2 | [http://www.eclipse.org/m2m/atl/atlTransformations#FirstV2 v2]: ?min
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV2 v2]:
 
| colspan=2 | [http://www.eclipse.org/m2m/qvtom/FirstV2 v2]:

Revision as of 15:10, 26 November 2007

The objective of this page is to offer several model-to-model transformation benchmarks. Currently, any type of benchmark (e.g., that test performance, functionality) may be contributed.

Overview

Each benchmark consists of:

  • A definition of the transformation:
    • Source and target metamodels.
    • Source and target samples.
    • A language-neutral specification of the transformation.
  • Implementations of the transformation using several languages, with execution time measures (for performance evaluation).

Synthetic Representation

The following table shows how information about the benchmarks could be represented. The first column contains the benchmark name, and links to the language-neutral benchmark definition. This definition should be given in a wiki page like M2M/Benchmarks/ABenchmark. It should point to source and target metamodels as well as source and target samples.

Then, each column corresponds to a language (e.g., ATL, QVT Operational Mapping, QVT Relations). For each benchmark, several implementations in the corresponding language may be given (e.g., v1, v2), each implementing different optimizations. Each of the language columns may be split into several implementations of the language when appropriate. For each version and implementation an execution time (e.g., in minutes) may be given along with relevant information (e.g., CPU, RAM).

Execution times on different architectures may be listed in a per-benchmark page. The measures presented in the table here should be performed on a single architecture, so that they may be compared.

Note that this is an early proposal, and that this table is likely to evolve. Other, more appropriate, representations may also be used later.

Model-to-model Transformation Benchmarks
Benchmarks ATL QVT OM QVT R
Regular VM emfvm Java ATL VM
RSM to TOPCASED v1: 45 min v1: ?min v1: v1: ?min
 ?min  ?min
v2: ?min v2: ?min v2:
 ?min  ?min
UML2 API to Platform Ontologies v1: ?min v1: ?min v1: v1: ?min
 ?min  ?min
v2: ?min v2: ?min v2:
 ?min  ?min

How to contribute

Benchmark definitions may be contributed by creating a page per benchmark following the naming scheme: M2M/Benchmark/<benchmark-name>. Implementations should be contributed to the corresponding component (e.g., QVT OM if written in QVT Operational Mapping, ATL if written in ATL). Then, the table presented above can be completed with links to the definition, and implementations, as well as execution time measures.