29 files changed, 187 insertions, 19 deletions

diff --git a/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts b/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts
index b149a483..4d2022a5 100644
--- a/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts
+++ b/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts
@@ -6,12 +6,13 @@
 package tools.refinery.gradle.internal
 
 import org.gradle.accessors.dm.LibrariesForLibs
+import org.gradle.configurationcache.extensions.capitalized
 import org.gradle.plugins.ide.eclipse.model.ProjectDependency
 import tools.refinery.gradle.utils.EclipseUtils
 
 plugins {
-    jacoco
-    java
+        jacoco
+        java
         `maven-publish`
         id("tools.refinery.gradle.eclipse")
 }
@@ -68,8 +69,7 @@ tasks {
         jar {
                 manifest {
                         attributes(
-                                        "Bundle-SymbolicName" to "${project.group}.${project.name}",
-                                        "Bundle-Version" to project.version
+                                "Bundle-SymbolicName" to "${project.group}.${project.name}", "Bundle-Version" to project.version
                         )
                 }
         }
@@ -98,16 +98,43 @@ tasks {
         }
 }
 
+open class MavenArtifactExtension(project: Project) {
+        var name: String = project.name.split("-").drop(1).joinToString(" ", transform = String::capitalized)
+        var description: String? = null
+}
+
+val artifactExtension = project.extensions.create<MavenArtifactExtension>("mavenArtifact", project)
+
 publishing.publications {
         create<MavenPublication>("mavenJava") {
                 from(components["java"])
                 pom {
+                        name = provider { "Refinery ${artifactExtension.name}" }
+                        description = provider {
+                                val prefix = artifactExtension.description ?: artifactExtension.name.lowercase().capitalized()
+                                "$prefix in Refinery, an efficient graph solver for generating well-formed models"
+                        }
+                        url = "https://refinery.tools/"
                         licenses {
                                 license {
                                         name = "Eclipse Public License - v 2.0"
                                         url = "https://www.eclipse.org/legal/epl-2.0/"
                                 }
                         }
+                        developers {
+                                developer {
+                                        name = "The Refinery Authors"
+                                        url = "https://refinery.tools/"
+                                }
+                        }
+                        scm {
+                                connection = "scm:git:https://github.com/graphs4value/refinery.git"
+                                developerConnection = "scm:git:ssh://github.com:graphs4value/refinery.git"
+                                url = "https://github.com/graphs4value/refinery"
+                        }
+                        issueManagement {
+                                url = "https://github.com/graphs4value/refinery/issues"
+                        }
                 }
         }
 }
diff --git a/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts b/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts
index 8bafa1a5..6bee5b5d 100644
--- a/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts
+++ b/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts
@@ -23,6 +23,15 @@ tasks {
         }
 }
 
+publishing.publications.named<MavenPublication>("mavenJava") {
+        pom.developers {
+                developer {
+                        name = "The VIATRA™ Authors"
+                        url = "https://eclipse.dev/viatra/"
+                }
+        }
+}
+
 sonarqube.properties {
         // Code copied from the VIATRA project is maintained by the VIATRA contributors.
         // Our own modifications are verified by tests in our own subprojects.
diff --git a/subprojects/generator-cli/build.gradle.kts b/subprojects/generator-cli/build.gradle.kts
index 6c681222..da6c92f6 100644
--- a/subprojects/generator-cli/build.gradle.kts
+++ b/subprojects/generator-cli/build.gradle.kts
@@ -8,6 +8,11 @@ plugins {
         id("tools.refinery.gradle.java-application")
 }
 
+mavenArtifact {
+        name = "Generator CLI"
+        description = "CLI for model generation"
+}
+
 dependencies {
         implementation(project(":refinery-generator"))
         implementation(libs.jcommander)
diff --git a/subprojects/generator/build.gradle.kts b/subprojects/generator/build.gradle.kts
index f78fee4d..36e3537a 100644
--- a/subprojects/generator/build.gradle.kts
+++ b/subprojects/generator/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        description = "Library for model generation"
+}
+
 dependencies {
         api(project(":refinery-language-semantics"))
         api(libs.eclipseCollections.api)
diff --git a/subprojects/interpreter-localsearch/build.gradle.kts b/subprojects/interpreter-localsearch/build.gradle.kts
index dae92c6c..bd2c0575 100644
--- a/subprojects/interpreter-localsearch/build.gradle.kts
+++ b/subprojects/interpreter-localsearch/build.gradle.kts
@@ -8,6 +8,11 @@ plugins {
         id("tools.refinery.gradle.interpreter-library")
 }
 
+mavenArtifact {
+        name = "Query Interpreter Local Search"
+        description = "Local search based query interpreter"
+}
+
 dependencies {
         implementation(project(":refinery-interpreter"))
         implementation(libs.slf4j.log4j)
diff --git a/subprojects/interpreter-rete-recipes/build.gradle.kts b/subprojects/interpreter-rete-recipes/build.gradle.kts
index 96283e22..a267d8af 100644
--- a/subprojects/interpreter-rete-recipes/build.gradle.kts
+++ b/subprojects/interpreter-rete-recipes/build.gradle.kts
@@ -12,6 +12,11 @@ plugins {
         id("tools.refinery.gradle.sonarqube")
 }
 
+mavenArtifact {
+        name = "Query Interpreter RETE Recipes"
+        description = "RETE recipes for the query interpreter"
+}
+
 dependencies {
         api(project(":refinery-interpreter"))
         api(libs.ecore)
@@ -59,4 +64,3 @@ tasks {
 sonarqube.properties {
         SonarPropertiesUtils.addToList(properties, "sonar.exclusions", "src/main/emf-gen/**")
 }
-
diff --git a/subprojects/interpreter-rete/build.gradle.kts b/subprojects/interpreter-rete/build.gradle.kts
index 978e668c..ee314f94 100644
--- a/subprojects/interpreter-rete/build.gradle.kts
+++ b/subprojects/interpreter-rete/build.gradle.kts
@@ -8,6 +8,11 @@ plugins {
         id("tools.refinery.gradle.interpreter-library")
 }
 
+mavenArtifact {
+        name = "Query Interpreter RETE"
+        description = "RETE-based query interpreter"
+}
+
 dependencies {
         implementation(project(":refinery-interpreter"))
         implementation(project(":refinery-interpreter-rete-recipes"))
diff --git a/subprojects/interpreter/build.gradle.kts b/subprojects/interpreter/build.gradle.kts
index 0425cd2a..70faa812 100644
--- a/subprojects/interpreter/build.gradle.kts
+++ b/subprojects/interpreter/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.interpreter-library")
 }
 
+mavenArtifact {
+        name = "Query Interpreter"
+}
+
 dependencies {
         implementation(libs.slf4j.log4j)
         // Code in this subproject inherits from Eclipse Collection implementation classes, so this can't be `runtimeOnly`.
diff --git a/subprojects/language-ide/build.gradle.kts b/subprojects/language-ide/build.gradle.kts
index 1259cd67..c1e36ed3 100644
--- a/subprojects/language-ide/build.gradle.kts
+++ b/subprojects/language-ide/build.gradle.kts
@@ -9,6 +9,11 @@ plugins {
         id("tools.refinery.gradle.xtext-generated")
 }
 
+mavenArtifact {
+        name = "Language IDE"
+        description = "IDE support for the partial modeling language"
+}
+
 dependencies {
         api(project(":refinery-language"))
         api(libs.xtext.ide)
diff --git a/subprojects/language-model/build.gradle.kts b/subprojects/language-model/build.gradle.kts
index 33b878d5..51ef3070 100644
--- a/subprojects/language-model/build.gradle.kts
+++ b/subprojects/language-model/build.gradle.kts
@@ -12,6 +12,10 @@ plugins {
         id("tools.refinery.gradle.sonarqube")
 }
 
+mavenArtifact {
+        description = "Abstract syntax for the partial modeling language"
+}
+
 dependencies {
         api(libs.ecore)
         api(libs.ecore.xmi)
diff --git a/subprojects/language-semantics/build.gradle.kts b/subprojects/language-semantics/build.gradle.kts
index 689f621e..fe223c6d 100644
--- a/subprojects/language-semantics/build.gradle.kts
+++ b/subprojects/language-semantics/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        description = "Semantics for the partial modeling language"
+}
+
 dependencies {
         api(libs.eclipseCollections.api)
         api(project(":refinery-language"))
diff --git a/subprojects/language-web/build.gradle.kts b/subprojects/language-web/build.gradle.kts
index 02e4ff17..8bef0c12 100644
--- a/subprojects/language-web/build.gradle.kts
+++ b/subprojects/language-web/build.gradle.kts
@@ -9,6 +9,10 @@ plugins {
         id("tools.refinery.gradle.xtext-generated")
 }
 
+mavenArtifact {
+        description = "Cloud-based partial modeling environment"
+}
+
 val webapp: Configuration by configurations.creating {
         isCanBeConsumed = false
         isCanBeResolved = true
diff --git a/subprojects/language/build.gradle.kts b/subprojects/language/build.gradle.kts
index 706b57e8..d70d4c6e 100644
--- a/subprojects/language/build.gradle.kts
+++ b/subprojects/language/build.gradle.kts
@@ -14,6 +14,10 @@ plugins {
         id("tools.refinery.gradle.xtext-generated")
 }
 
+mavenArtifact {
+        description = "Partial modeling language"
+}
+
 val generatedIdeSources: Configuration by configurations.creating {
         isCanBeConsumed = true
         isCanBeResolved = false
diff --git a/subprojects/logic/build.gradle.kts b/subprojects/logic/build.gradle.kts
index 57de8e5d..a680cd8d 100644
--- a/subprojects/logic/build.gradle.kts
+++ b/subprojects/logic/build.gradle.kts
@@ -9,6 +9,10 @@ plugins {
         id("tools.refinery.gradle.java-test-fixtures")
 }
 
+mavenArtifact {
+        description = "Logic expressions"
+}
+
 dependencies {
         testFixturesApi(libs.hamcrest)
 }
diff --git a/subprojects/store-dse-visualization/build.gradle.kts b/subprojects/store-dse-visualization/build.gradle.kts
index ab9ed336..98918863 100644
--- a/subprojects/store-dse-visualization/build.gradle.kts
+++ b/subprojects/store-dse-visualization/build.gradle.kts
@@ -8,6 +8,11 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        name = "Store DSE Visualization"
+        description = "Design-space exploration visualizer for the model store"
+}
+
 dependencies {
         api(project(":refinery-store-query"))
         implementation(libs.slf4j.api)
diff --git a/subprojects/store-dse/build.gradle.kts b/subprojects/store-dse/build.gradle.kts
index 041adf70..3cc44fe6 100644
--- a/subprojects/store-dse/build.gradle.kts
+++ b/subprojects/store-dse/build.gradle.kts
@@ -8,6 +8,11 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        name = "Store DSE"
+        description = "Design-space explorer for the model store"
+}
+
 dependencies {
         api(project(":refinery-store-query"))
         implementation(project(":refinery-store-dse-visualization"))
diff --git a/subprojects/store-query-interpreter/build.gradle.kts b/subprojects/store-query-interpreter/build.gradle.kts
index d463fac9..572c7cde 100644
--- a/subprojects/store-query-interpreter/build.gradle.kts
+++ b/subprojects/store-query-interpreter/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        description = "Interpreted query backend for the model store"
+}
+
 dependencies {
         api(project(":refinery-interpreter"))
         api(project(":refinery-interpreter-localsearch"))
diff --git a/subprojects/store-query/build.gradle.kts b/subprojects/store-query/build.gradle.kts
index f5cbdebc..41cad2e6 100644
--- a/subprojects/store-query/build.gradle.kts
+++ b/subprojects/store-query/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        description = "Query API for the model store"
+}
+
 dependencies {
         api(project(":refinery-logic"))
         api(project(":refinery-store"))
diff --git a/subprojects/store-reasoning-scope/build.gradle.kts b/subprojects/store-reasoning-scope/build.gradle.kts
index 7e6cd58d..8906c444 100644
--- a/subprojects/store-reasoning-scope/build.gradle.kts
+++ b/subprojects/store-reasoning-scope/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        description = "Multiplicity reasoner for the model store"
+}
+
 dependencies {
         api(project(":refinery-store-reasoning"))
         implementation(libs.eclipseCollections.api)
diff --git a/subprojects/store-reasoning-smt/build.gradle.kts b/subprojects/store-reasoning-smt/build.gradle.kts
index 4a784e42..dcaf0ee6 100644
--- a/subprojects/store-reasoning-smt/build.gradle.kts
+++ b/subprojects/store-reasoning-smt/build.gradle.kts
@@ -8,6 +8,11 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        name = "Store Reasoning SMT"
+        description = "SMT reasoner for the model store"
+}
+
 dependencies {
         api(project(":refinery-store-reasoning"))
         implementation(libs.refinery.z3)
diff --git a/subprojects/store-reasoning/build.gradle.kts b/subprojects/store-reasoning/build.gradle.kts
index d1d3c2e5..4db29fd5 100644
--- a/subprojects/store-reasoning/build.gradle.kts
+++ b/subprojects/store-reasoning/build.gradle.kts
@@ -8,6 +8,10 @@ plugins {
         id("tools.refinery.gradle.java-library")
 }
 
+mavenArtifact {
+        description = "Partial model reasoner for the model store"
+}
+
 dependencies {
         api(project(":refinery-store-dse"))
         testImplementation(testFixtures(project(":refinery-logic")))
diff --git a/subprojects/store/build.gradle.kts b/subprojects/store/build.gradle.kts
index e48c0088..55938987 100644
--- a/subprojects/store/build.gradle.kts
+++ b/subprojects/store/build.gradle.kts
@@ -9,6 +9,10 @@ plugins {
         id("tools.refinery.gradle.jmh")
 }
 
+mavenArtifact {
+        description = "Model store"
+}
+
 dependencies {
         api(libs.eclipseCollections.api)
         runtimeOnly(libs.eclipseCollections)
diff --git a/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts b/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
index 75d64a6f..46bc4083 100644
--- a/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
+++ b/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
@@ -11,6 +11,9 @@ plugins {
 }
 
 java {
+        withJavadocJar()
+        withSourcesJar()
+
         toolchain {
                 languageVersion.set(JavaLanguageVersion.of(21))
         }
@@ -49,17 +52,43 @@ tasks {
         jar {
                 manifest {
                         attributes(
-                                        "Bundle-SymbolicName" to "${project.group}.${project.name}",
-                                        "Bundle-Version" to project.version
+                                "Bundle-SymbolicName" to "${project.group}.${project.name}",
+                                "Bundle-Version" to project.version
                         )
                 }
         }
+
+        javadoc {
+                options {
+                        this as StandardJavadocDocletOptions
+                        addBooleanOption("Xdoclint:none", true)
+                        // {@code -Xmaxwarns 0} will print all warnings, so we must keep at least one.
+                        addStringOption("Xmaxwarns", "1")
+                        quiet()
+                }
+        }
 }
 
+open class MavenArtifactExtension {
+        var nameSuffix: String? = null
+}
+
+val artifactExtension = project.extensions.create<MavenArtifactExtension>("mavenArtifact")
+
 publishing.publications {
         register<MavenPublication>("mavenJava") {
                 from(components["java"])
                 pom {
+                        val nameString = provider {
+                                val prefix = "Z3 Java Bindings"
+                                val nameSuffix = artifactExtension.nameSuffix
+                                if (nameSuffix == null) prefix else "$prefix ($nameSuffix)"
+                        }
+                        name = nameString.map { "Refinery $it" }
+                        description = nameString.map {
+                                "$it for Refinery, an efficient graph solver for generating well-formed models"
+                        }
+                        url = "https://refinery.tools/"
                         licenses {
                                 license {
                                         name = "MIT License"
@@ -70,6 +99,24 @@ publishing.publications {
                                         url = "http://www.apache.org/licenses/LICENSE-2.0.txt"
                                 }
                         }
+                        developers {
+                                developer {
+                                        name = "The Refinery Authors"
+                                        url = "https://refinery.tools/"
+                                }
+                                developer {
+                                        name = "Microsoft Corporation"
+                                        url = "https://github.com/Z3Prover/z3"
+                                }
+                        }
+                        scm {
+                                connection = "scm:git:https://github.com/graphs4value/refinery.git"
+                                developerConnection = "scm:git:ssh://github.com:graphs4value/refinery.git"
+                                url = "https://github.com/graphs4value/refinery"
+                        }
+                        issueManagement {
+                                url = "https://github.com/graphs4value/refinery/issues"
+                        }
                 }
         }
 }
diff --git a/z3/subprojects/solver-darwin-aarch64/build.gradle.kts b/z3/subprojects/solver-darwin-aarch64/build.gradle.kts
index 21c9739c..4f227513 100644
--- a/z3/subprojects/solver-darwin-aarch64/build.gradle.kts
+++ b/z3/subprojects/solver-darwin-aarch64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-arm64-osx-11.0"
 val library = "z3java-darwin-aarch64"
 
+mavenArtifact.nameSuffix = "Darwin aarch64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
index 75e59267..9e4a803d 100644
--- a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-osx-10.16"
 val library = "z3java-darwin-x86-64"
 
+mavenArtifact.nameSuffix = "Darwin x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver-linux-aarch64/build.gradle.kts b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
index a8e7e259..a26409d2 100644
--- a/z3/subprojects/solver-linux-aarch64/build.gradle.kts
+++ b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
@@ -8,6 +8,8 @@ plugins {
         id("tools.refinery.z3.gradle.java-library")
 }
 
+mavenArtifact.nameSuffix = "Linux aarch64"
+
 tasks.jar {
         // License information is redundant here, since it already gets added to the POM.
         exclude("**/*.license")
diff --git a/z3/subprojects/solver-linux-x86-64/build.gradle.kts b/z3/subprojects/solver-linux-x86-64/build.gradle.kts
index 89c737b6..e16c19ac 100644
--- a/z3/subprojects/solver-linux-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-linux-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-glibc-2.31"
 val library = "z3java-linux-x86-64"
 
+mavenArtifact.nameSuffix = "Linux x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver-win32-x86-64/build.gradle.kts b/z3/subprojects/solver-win32-x86-64/build.gradle.kts
index c5fa0421..9e057fa9 100644
--- a/z3/subprojects/solver-win32-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-win32-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-win"
 val library = "z3java-win32-x86-64"
 
+mavenArtifact.nameSuffix = "Win32 x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver/build.gradle.kts b/z3/subprojects/solver/build.gradle.kts
index 7e898b3e..38044114 100644
--- a/z3/subprojects/solver/build.gradle.kts
+++ b/z3/subprojects/solver/build.gradle.kts
@@ -14,11 +14,6 @@ val classifier = "z3-${version}-x64-glibc-2.31"
 val extractedClassesDir = layout.buildDirectory.dir("z3-extracted")
 val extractedSourcesDir = layout.buildDirectory.dir("z3-sources")
 
-java {
-        withJavadocJar()
-        withSourcesJar()
-}
-
 val z3Source: Configuration by configurations.creating {
         isCanBeConsumed = false
         isCanBeResolved = true
@@ -81,13 +76,6 @@ tasks.named<Javadoc>("javadoc") {
                 builtBy(extractZ3Source)
                 include("**/*.java")
         })
-        options {
-                this as StandardJavadocDocletOptions
-                addBooleanOption("Xdoclint:none", true)
-                // {@code -Xmaxwarns 0} will print all warnings, so we must keep at least one.
-                addStringOption("Xmaxwarns", "1")
-                quiet()
-        }
 }
 
 dependencies {