From 945f487a08b643392a5d5918c631640b9a0e4605 Mon Sep 17 00:00:00 2001 From: 20001LastOrder Date: Tue, 3 Nov 2020 22:52:26 -0500 Subject: add realistic solver --- .../SocialNetwork_plugin/github.vsconfig | 212 +++++++++++++++++++++ 1 file changed, 212 insertions(+) create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig') diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig new file mode 100644 index 00000000..f037156a --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig @@ -0,0 +1,212 @@ +import epackage "../../../Domains/github-graph/model/github.ecore" +import viatra "../../../Domains/github-graph/queries/queries/github.vql" + +generate { + metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, + Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, + IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} + partial-model = { "inputs/github.xmi"} + constraints = { package queries } + + + solver = ViatraSolver + + scope = { + #node = 30 + } + + number = 1 + runs = 5 + config = { + log-level = none, + runtime = 300, + "optional-wf" = "false", + "realistic-guidance" = "Composite", + "allow-must-violations" = "false", + "domain" = "Github" + } + + debug = "debug" + statistics = "statistics/Github/warmup.csv" + output = "output/Github/Composite" +} + +// generate { +// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, +// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, +// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} +// partial-model = { "inputs/github.xmi"} +// constraints = { package queries } + + +// solver = ViatraSolver + +// scope = { +// #node = 30 +// } + +// number = 1 +// runs = 20 +// config = { +// log-level = none, +// runtime = 300, +// "optional-wf" = "true", +// "realistic-guidance" = "Composite", +// "allow-must-violations" = "true", +// "domain" = "Github" +// } + +// debug = "debug" +// statistics = "statistics/Github/30.csv" +// output = "output/Github/Composite" +// } + +// generate { +// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, +// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, +// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} +// partial-model = { "inputs/github.xmi"} +// constraints = { package queries } + + +// solver = ViatraSolver + +// scope = { +// #node = 50 +// } + +// number = 1 +// runs = 20 +// config = { +// log-level = none, +// runtime = 300, +// "optional-wf" = "true", +// "realistic-guidance" = "Composite", +// "allow-must-violations" = "true", +// "domain" = "Github" +// } + +// debug = "debug" +// statistics = "statistics/Github/50.csv" +// output = "output/Github/Composite" +// } + +// generate { +// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, +// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, +// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} +// partial-model = { "inputs/github.xmi"} +// constraints = { package queries } + + +// solver = ViatraSolver + +// scope = { +// #node = 80 +// } + +// number = 1 +// runs = 20 +// config = { +// log-level = none, +// runtime = 300, +// "optional-wf" = "true", +// "realistic-guidance" = "Composite", +// "allow-must-violations" = "true", +// "domain" = "Github" +// } + +// debug = "debug" +// statistics = "statistics/Github/80.csv" +// output = "output/Github/Composite" +// } + +// generate { +// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, +// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, +// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} +// partial-model = { "inputs/github.xmi"} +// constraints = { package queries } + + +// solver = ViatraSolver + +// scope = { +// #node = 100 +// } + +// number = 1 +// runs = 20 +// config = { +// log-level = none, +// runtime = 300, +// "optional-wf" = "true", +// "realistic-guidance" = "Composite", +// "allow-must-violations" = "true", +// "domain" = "Github" +// } + +// debug = "debug" +// statistics = "statistics/Github/100.csv" +// output = "output/Github/Composite" +// } + +// generate { +// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, +// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, +// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} +// partial-model = { "inputs/github.xmi"} +// constraints = { package queries } + + +// solver = ViatraSolver + +// scope = { +// #node = 120 +// } + +// number = 1 +// runs = 20 +// config = { +// log-level = none, +// runtime = 300, +// "optional-wf" = "true", +// "realistic-guidance" = "Composite", +// "allow-must-violations" = "true", +// "domain" = "Github" +// } + +// debug = "debug" +// statistics = "statistics/Github/120.csv" +// output = "output/Github/Composite" +// } + +// generate { +// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, +// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, +// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} +// partial-model = { "inputs/github.xmi"} +// constraints = { package queries } + + +// solver = ViatraSolver + +// scope = { +// #node = 140 +// } + +// number = 1 +// runs = 20 +// config = { +// log-level = none, +// runtime = 300, +// "optional-wf" = "true", +// "realistic-guidance" = "Composite", +// "allow-must-violations" = "true", +// "domain" = "Github" +// } + +// debug = "debug" +// statistics = "statistics/Github/140.csv" +// output = "output/Github/Composite" +// } \ No newline at end of file -- cgit v1.2.3-54-g00ecf