first version of the SDO with 2 layers

examples/oml/SystemDesignOntology2Layers/build.gradle

@@ -0,0 +1,239 @@
+/* 
+ * The Maven coordinates for the project artifact
+ */
+ext.title = 'System Design Ontology - 2 Layers'
+description = 'System design ontology considering only 2 layers (types and instances).'
+group = 'be.com.ua'
+version = '1.0.0'
+
+/* 
+ * The Gradle plugins 
+ */
+apply plugin: 'maven-publish'
+
+/* 
+ * The Gradle task dependencies 
+ */
+buildscript {
+	repositories {
+		mavenLocal()
+		mavenCentral()
+	}
+	dependencies {
+        classpath 'io.opencaesar.owl:owl-fuseki-gradle:+'
+        classpath 'io.opencaesar.owl:owl-query-gradle:+'
+        classpath 'io.opencaesar.owl:owl-load-gradle:+'
+        classpath 'io.opencaesar.owl:owl-reason-gradle:+'
+        classpath 'io.opencaesar.oml:oml-merge-gradle:+'
+        classpath 'io.opencaesar.adapters:oml2owl-gradle:+'
+	}
+}
+
+/*
+ * Dataset-specific variables
+ */
+ext.dataset = [
+    // Name of dataset (matches one used in .fuseki.ttl file)
+    name: 'SystemDesignOntology2Layers',
+    // Root ontology IRI of the dataset
+    rootOntologyIri: 'http://ua.com.be/sdo2l/description/bundle',
+]
+
+/*
+ * The repositories to look up OML dependencies in
+ */
+repositories {
+    mavenLocal()
+    mavenCentral()
+}
+
+/*
+ * The configuration of OML dependencies
+ */
+configurations {
+    oml
+}
+
+/*
+ * Dependency versions
+ */
+ext { 
+    //coreVersion = '+'
+    metrologyVersion = '+'
+}
+
+/*
+ * The OML dependencies
+ */
+dependencies {
+    //oml "io.opencaesar.ontologies:core-vocabularies:$coreVersion"
+    oml "io.opencaesar.ontologies:metrology-vocabularies:$metrologyVersion"
+}
+
+
+/*
+ * A task to extract and merge the OML dependencies
+ */
+task omlDependencies(type:io.opencaesar.oml.merge.OmlMergeTask, group:"oml") {
+    inputZipPaths = configurations.oml.files
+    outputCatalogFolder = file('build/oml')
+}
+
+/*
+ * A task to convert the OML catalog to OWL catalog
+ */
+task omlToOwl(type:io.opencaesar.oml2owl.Oml2OwlTask, group:"oml", dependsOn: omlDependencies) {
+    // OML catalog
+    inputCatalogPath = file('catalog.xml')
+    // OWL catalog
+    outputCatalogPath = file('build/owl/catalog.xml')
+}
+
+/*
+ * A task to run the Openllet reasoner on the OWL catalog
+ */
+task owlReason(type:io.opencaesar.owl.reason.OwlReasonTask, group:"oml", dependsOn: omlToOwl) {
+    // OWL catalog
+    catalogPath = file('build/owl/catalog.xml')
+    // Input ontology IRI to reason on
+    inputOntologyIri = "$dataset.rootOntologyIri".toString()
+    // Entailment statements to generate and the ontologies to persist them in
+    specs = [
+        "$dataset.rootOntologyIri/classes = ALL_SUBCLASS".toString(),
+        "$dataset.rootOntologyIri/properties = INVERSE_PROPERTY | ALL_SUBPROPERTY".toString(),
+        "$dataset.rootOntologyIri/individuals = ALL_INSTANCE | DATA_PROPERTY_VALUE | OBJECT_PROPERTY_VALUE | SAME_AS".toString()
+    ]
+    // Junit error report
+    reportPath = file('build/reports/reasoning.xml')
+}
+
+/*
+ * Start the headless Fuseki server
+ */
+task startFuseki(type: io.opencaesar.owl.fuseki.StartFusekiTask, group:"oml") {
+    configurationPath = file('.fuseki.ttl')
+    outputFolderPath = file('.fuseki')
+}
+
+/*
+ * Stop the headless Fuseki server
+ */
+task stopFuseki(type: io.opencaesar.owl.fuseki.StopFusekiTask, group:"oml") {
+    outputFolderPath = file('.fuseki')
+}
+
+/*
+ * A task to load an OWL catalog to a Fuseki dataset endpoint
+ */
+task owlLoad(type:io.opencaesar.owl.load.OwlLoadTask, group:"oml", dependsOn: owlReason) {
+    catalogPath = file('build/owl/catalog.xml')
+    endpointURL = "http://localhost:3030/$dataset.name".toString()
+    fileExtensions = ['owl', 'ttl']
+    iris = [
+        "$dataset.rootOntologyIri/classes".toString(),
+        "$dataset.rootOntologyIri/properties".toString(),
+        "$dataset.rootOntologyIri/individuals".toString()
+    ]
+}
+
+/*
+ * A task to run a set of SPARQL queries on a Fuseki dataset endpoint
+ */
+task owlQuery(type:io.opencaesar.owl.query.OwlQueryTask, group:"oml", dependsOn: owlLoad) {
+    endpointURL = "http://localhost:3030/$dataset.name".toString()
+    queryPath = file('src/sparql')
+    resultPath = file('build/results')
+    format = 'json'
+}
+
+/*
+ * A task to build the project, which executes several tasks together
+ */
+task build(group: "oml") {
+    dependsOn owlReason
+}
+
+/*
+ * A task to delete the build artifacts
+ */
+task clean(type: Delete, group: "oml") {
+	delete 'build'
+}
+
+/*
+ * Publish artifact to maven
+ */
+task omlZip(type: Zip, group:"oml") {
+    from file('src/oml')
+    include "**/*.oml"
+    destinationDirectory = file('build/libs')
+    archiveBaseName = project.name
+    archiveVersion = project.version
+}
+
+def pomConfig = {
+    licenses {
+        license {
+            name "The Apache Software License, Version 2.0"
+            url "http://www.apache.org/licenses/LICENSE-2.0.txt"
+            distribution "repo"
+        }
+    }
+    developers {
+        developer {
+            id "melaasar"
+            name "Maged Elaasar"
+            email "melaasar@gmail.com"
+        }
+    }
+    scm {
+        url 'https://github.com/opencaesar/'+rootProject.name
+    }
+}
+
+publishing {
+    publications {
+        maven(MavenPublication) {
+            groupId project.group
+            artifactId project.name
+            version project.version
+            artifact omlZip
+            pom {
+                packaging = 'zip'
+                withXml {
+                    def root = asNode()
+                    if (configurations.find { it.name == 'oml' }) {
+                        def dependencies = root.appendNode('dependencies')
+                        configurations.oml.resolvedConfiguration.resolvedArtifacts.each {
+                            def dependency = dependencies.appendNode('dependency')
+                            dependency.appendNode('groupId', it.moduleVersion.id.group)
+                            dependency.appendNode('artifactId', it.moduleVersion.id.name)
+                            dependency.appendNode('version', it.moduleVersion.id.version)
+                            if (it.classifier != null) {
+                                dependency.appendNode('classifier', it.classifier)
+                                dependency.appendNode('type', it.extension)
+                            }
+                        }
+                    }
+                    root.appendNode('name', project.ext.title)
+                    root.appendNode('description', project.description)
+                    root.appendNode('url', 'https://github.com/opencaesar/'+rootProject.name)
+                    root.children().last() + pomConfig
+                }
+            }
+        }
+    }
+}
+
+tasks.named('wrapper') {
+   gradleVersion = '6.5.1' //version required
+}
+
+/*
+ * Integration with the Eclipse IDE
+ */ 
+apply plugin: 'eclipse'
+
+eclipse {
+    synchronizationTasks omlDependencies
+}

examples/oml/SystemDesignOntology2Layers/catalog.xml

@@ -0,0 +1,5 @@
+<?xml version="1.0"?>
+<catalog xmlns="urn:oasis:names:tc:entity:xmlns:xml:catalog" prefer="public">
+	<rewriteURI uriStartString="http://ua.com.be/sdo2l/" rewritePrefix="src/oml/ua.com.be/sdo2l/"/>
+	<rewriteURI uriStartString="http://" rewritePrefix="build/oml/"/>
+</catalog>

examples/oml/SystemDesignOntology2Layers/gradle/wrapper/gradle-wrapper.properties

@@ -0,0 +1,5 @@
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-6.5.1-bin.zip
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists

examples/oml/SystemDesignOntology2Layers/gradlew

@@ -0,0 +1,234 @@
+#!/bin/sh
+
+#
+# Copyright © 2015-2021 the original authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+
+##############################################################################
+#
+#   Gradle start up script for POSIX generated by Gradle.
+#
+#   Important for running:
+#
+#   (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
+#       noncompliant, but you have some other compliant shell such as ksh or
+#       bash, then to run this script, type that shell name before the whole
+#       command line, like:
+#
+#           ksh Gradle
+#
+#       Busybox and similar reduced shells will NOT work, because this script
+#       requires all of these POSIX shell features:
+#         * functions;
+#         * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
+#           «${var#prefix}», «${var%suffix}», and «$( cmd )»;
+#         * compound commands having a testable exit status, especially «case»;
+#         * various built-in commands including «command», «set», and «ulimit».
+#
+#   Important for patching:
+#
+#   (2) This script targets any POSIX shell, so it avoids extensions provided
+#       by Bash, Ksh, etc; in particular arrays are avoided.
+#
+#       The "traditional" practice of packing multiple parameters into a
+#       space-separated string is a well documented source of bugs and security
+#       problems, so this is (mostly) avoided, by progressively accumulating
+#       options in "$@", and eventually passing that to Java.
+#
+#       Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
+#       and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
+#       see the in-line comments for details.
+#
+#       There are tweaks for specific operating systems such as AIX, CygWin,
+#       Darwin, MinGW, and NonStop.
+#
+#   (3) This script is generated from the Groovy template
+#       https://github.com/gradle/gradle/blob/master/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
+#       within the Gradle project.
+#
+#       You can find Gradle at https://github.com/gradle/gradle/.
+#
+##############################################################################
+
+# Attempt to set APP_HOME
+
+# Resolve links: $0 may be a link
+app_path=$0
+
+# Need this for daisy-chained symlinks.
+while
+    APP_HOME=${app_path%"${app_path##*/}"}  # leaves a trailing /; empty if no leading path
+    [ -h "$app_path" ]
+do
+    ls=$( ls -ld "$app_path" )
+    link=${ls#*' -> '}
+    case $link in             #(
+      /*)   app_path=$link ;; #(
+      *)    app_path=$APP_HOME$link ;;
+    esac
+done
+
+APP_HOME=$( cd "${APP_HOME:-./}" && pwd -P ) || exit
+
+APP_NAME="Gradle"
+APP_BASE_NAME=${0##*/}
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD=maximum
+
+warn () {
+    echo "$*"
+} >&2
+
+die () {
+    echo
+    echo "$*"
+    echo
+    exit 1
+} >&2
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "$( uname )" in                #(
+  CYGWIN* )         cygwin=true  ;; #(
+  Darwin* )         darwin=true  ;; #(
+  MSYS* | MINGW* )  msys=true    ;; #(
+  NONSTOP* )        nonstop=true ;;
+esac
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+    if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+        # IBM's JDK on AIX uses strange locations for the executables
+        JAVACMD=$JAVA_HOME/jre/sh/java
+    else
+        JAVACMD=$JAVA_HOME/bin/java
+    fi
+    if [ ! -x "$JAVACMD" ] ; then
+        die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+else
+    JAVACMD=java
+    which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+fi
+
+# Increase the maximum file descriptors if we can.
+if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
+    case $MAX_FD in #(
+      max*)
+        MAX_FD=$( ulimit -H -n ) ||
+            warn "Could not query maximum file descriptor limit"
+    esac
+    case $MAX_FD in  #(
+      '' | soft) :;; #(
+      *)
+        ulimit -n "$MAX_FD" ||
+            warn "Could not set maximum file descriptor limit to $MAX_FD"
+    esac
+fi
+
+# Collect all arguments for the java command, stacking in reverse order:
+#   * args from the command line
+#   * the main class name
+#   * -classpath
+#   * -D...appname settings
+#   * --module-path (only if needed)
+#   * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
+
+# For Cygwin or MSYS, switch paths to Windows format before running java
+if "$cygwin" || "$msys" ; then
+    APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
+    CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
+
+    JAVACMD=$( cygpath --unix "$JAVACMD" )
+
+    # Now convert the arguments - kludge to limit ourselves to /bin/sh
+    for arg do
+        if
+            case $arg in                                #(
+              -*)   false ;;                            # don't mess with options #(
+              /?*)  t=${arg#/} t=/${t%%/*}              # looks like a POSIX filepath
+                    [ -e "$t" ] ;;                      #(
+              *)    false ;;
+            esac
+        then
+            arg=$( cygpath --path --ignore --mixed "$arg" )
+        fi
+        # Roll the args list around exactly as many times as the number of
+        # args, so each arg winds up back in the position where it started, but
+        # possibly modified.
+        #
+        # NB: a `for` loop captures its iteration list before it begins, so
+        # changing the positional parameters here affects neither the number of
+        # iterations, nor the values presented in `arg`.
+        shift                   # remove old arg
+        set -- "$@" "$arg"      # push replacement arg
+    done
+fi
+
+# Collect all arguments for the java command;
+#   * $DEFAULT_JVM_OPTS, $JAVA_OPTS, and $GRADLE_OPTS can contain fragments of
+#     shell script including quotes and variable substitutions, so put them in
+#     double quotes to make sure that they get re-expanded; and
+#   * put everything else in single quotes, so that it's not re-expanded.
+
+set -- \
+        "-Dorg.gradle.appname=$APP_BASE_NAME" \
+        -classpath "$CLASSPATH" \
+        org.gradle.wrapper.GradleWrapperMain \
+        "$@"
+
+# Use "xargs" to parse quoted args.
+#
+# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
+#
+# In Bash we could simply go:
+#
+#   readarray ARGS < <( xargs -n1 <<<"$var" ) &&
+#   set -- "${ARGS[@]}" "$@"
+#
+# but POSIX shell has neither arrays nor command substitution, so instead we
+# post-process each arg (as a line of input to sed) to backslash-escape any
+# character that might be a shell metacharacter, then use eval to reverse
+# that process (while maintaining the separation between arguments), and wrap
+# the whole thing up as a single "set" statement.
+#
+# This will of course break if any of these variables contains a newline or
+# an unmatched quote.
+#
+
+eval "set -- $(
+        printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
+        xargs -n1 |
+        sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
+        tr '\n' ' '
+    )" '"$@"'
+
+exec "$JAVACMD" "$@"

examples/oml/SystemDesignOntology2Layers/gradlew.bat

@@ -0,0 +1,89 @@
+@rem
+@rem Copyright 2015 the original author or authors.
+@rem
+@rem Licensed under the Apache License, Version 2.0 (the "License");
+@rem you may not use this file except in compliance with the License.
+@rem You may obtain a copy of the License at
+@rem
+@rem      https://www.apache.org/licenses/LICENSE-2.0
+@rem
+@rem Unless required by applicable law or agreed to in writing, software
+@rem distributed under the License is distributed on an "AS IS" BASIS,
+@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+@rem See the License for the specific language governing permissions and
+@rem limitations under the License.
+@rem
+
+@if "%DEBUG%" == "" @echo off
+@rem ##########################################################################
+@rem
+@rem  Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%" == "" set DIRNAME=.
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Resolve any "." and ".." in APP_HOME to make it shorter.
+for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if "%ERRORLEVEL%" == "0" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
+
+:end
+@rem End local scope for the variables with windows NT shell
+if "%ERRORLEVEL%"=="0" goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+if  not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
+exit /b 1
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/bundle.oml

@@ -0,0 +1,3 @@
+description bundle <http://ua.com.be/sdo2l/description/bundle#> as ^bundle {
+	uses <http://ua.com.be/sdo2l/vocabulary/bundle#>
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/definitions.oml

@@ -0,0 +1,24 @@
+description <http://ua.com.be/sdo2l/description/definitions#> as definitions {
+	uses <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	
+	ci requirementList-def : base:ArtifactType [
+		base:hasName "RequirementList"
+	]
+	
+	ci structural-model-def : base:ArtifactType [
+		base:hasName "StructuralModel"
+	]
+	
+	ci requirement-elicitation-act : base:ActivityType [
+		base:hasName "RequirementElicitation"
+	]
+	
+	ci architectural-design-act : base:ActivityType [
+		base:hasName "ArchitecturalDesign"
+	]
+	
+	ci analysis-act : base:ActivityType [
+		base:hasName "Analysis"
+	]
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/requirements.oml

@@ -0,0 +1,62 @@
+description <http://ua.com.be/sdo2l/description/requirements#> as requirements {
+	uses <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	uses <http://ua.com.be/sdo2l/vocabulary/requirement#> as req
+	extends <http://ua.com.be/sdo2l/description/systems#> as systems
+
+	uses <http://ua.com.be/sdo2l/vocabulary/processtraces#> as traces
+
+	extends <http://ua.com.be/sdo2l/description/workflows#> as workflows
+	
+	ci reqlist-car-system : req:RequirementList [
+		base:hasIdentifier "RL-01"
+		base:hasCanonicalName "CarSystemRequirementList"
+		base:hasDescription "The requirement list of the car system"
+		traces:relatesTo workflows:reqList-usage
+	]
+	
+	ci req01 : req:Requirement [
+		base:hasIdentifier "REQ-01"
+		base:hasCanonicalName "Req 01 - Number of wheels"
+		base:hasDescription "A car has 4 wheels"
+		req:describes systems:car-system
+	]
+	
+	ci req02 : req:Requirement [
+		base:hasIdentifier "REQ-02"
+		base:hasCanonicalName "Req 02 - Wheels' weight mass"
+		base:hasDescription "The wheels have a mass between 1 and 2 kilogrammes."
+		req:describes systems:car-system
+	]
+	
+	ci req03 : req:Requirement [
+		base:hasIdentifier "REQ-03"
+		base:hasCanonicalName "Req 03 - Car body mass"
+		base:hasDescription "The car body has a mass between 2 and 3 tonne (1 tonne is 1000 kg)."
+		req:describes systems:car-system
+	]
+	
+	ci req04 : req:Requirement [
+		base:hasIdentifier "REQ-04"
+		base:hasCanonicalName "Req 04 - Wheels' weight deviation"
+		base:hasDescription "Static Safety Requirement: The wheels should be balanced i.e. the weight of each wheel should not deviate more than 5% from the average of the 4 wheels mass."
+		req:describes systems:car-system
+	]
+	
+	ci req05 : req:Requirement [
+		base:hasIdentifier "REQ-05"
+		base:hasCanonicalName "Req 05 - Fuel consumption during climbing"
+		base:hasDescription "Simulation-based Requirement.: From the hill-climb simulation, the car climbing a 100 ft slope at 45 degree should not consume more than 50 ml of fuel."
+		req:describes systems:car-system
+	]	
+	
+	ref ci reqlist-car-system [
+		req:groups req01
+		req:groups req02
+		req:groups req03
+		req:groups req04
+		req:groups req05
+	]
+	
+	
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/structuralModels.oml

@@ -0,0 +1,89 @@
+description <http://ua.com.be/sdo2l/description/structuralModels#> as components {
+	uses <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	uses <http://www.w3.org/2001/XMLSchema#> as xsd
+	uses <http://ua.com.be/sdo2l/vocabulary/component#> as comp
+	uses <http://bipm.org/jcgm/vim4#> as vim4
+	uses <http://ua.com.be/sdo2l/vocabulary/processtraces#> as traces
+	extends <http://iso.org/iso-80000-4.1#> as iso-80000-4.1
+	extends <http://ua.com.be/sdo2l/description/workflows#> as workflows
+	
+	ci car-structural-model : comp:StructuralModel [
+		base:hasIdentifier "str-01"
+		base:hasCanonicalName "CarModel"
+		base:hasDescription "The structural model of a simple car with four wheels."
+		traces:relatesTo workflows:car-structural-model-usage
+	]
+		
+	ci car-component : comp:CarComponent [
+		base:hasIdentifier "c1"
+		base:hasCanonicalName "car1" 
+	]
+	
+	ci car-massAttribute : comp:Attribute [
+		vim4:hasDoubleNumber "2000"^^xsd:double
+		vim4:characterizes car-component
+		vim4:unit iso-80000-4.1:kilogram
+	]
+	
+	
+	ci wheel1-component : comp:WheelComponent [
+		base:hasIdentifier "w1"
+		base:hasCanonicalName "wheel1" 
+	]
+	
+	ci wheel1-massAttribute : comp:Attribute [
+		vim4:hasDoubleNumber "2"^^xsd:double
+		vim4:characterizes wheel1-component
+		vim4:unit iso-80000-4.1:kilogram
+	]
+	
+	ci wheel2-component : comp:WheelComponent [
+		base:hasIdentifier "w2"
+		base:hasCanonicalName "wheel2"
+	]
+	
+	ci wheel2-massAttribute : comp:Attribute [
+		vim4:hasDoubleNumber "3"^^xsd:double
+		vim4:characterizes wheel2-component
+		vim4:unit iso-80000-4.1:kilogram
+	]
+	
+	ci wheel3-component : comp:WheelComponent [
+		base:hasIdentifier "w3"
+		base:hasCanonicalName "wheel3" 
+	]
+	
+	ci wheel3-massAttribute : comp:Attribute [
+		vim4:hasDoubleNumber "1"^^xsd:double
+		vim4:characterizes wheel3-component
+		vim4:unit iso-80000-4.1:kilogram
+	]
+	
+	ci wheel4-component : comp:WheelComponent [
+		base:hasIdentifier "w4"
+		base:hasCanonicalName "wheel4"
+	]
+	
+	ci wheel4-massAttribute : comp:Attribute [
+		vim4:hasDoubleNumber "3"^^xsd:double
+		vim4:characterizes wheel4-component
+		vim4:unit iso-80000-4.1:kilogram
+	]
+	
+	ref ci car-component [
+		base:contains wheel1-component
+		base:contains wheel2-component
+		base:contains wheel3-component
+		base:contains wheel4-component
+	]
+	
+	ref ci car-structural-model [
+		comp:specifies car-component
+		comp:specifies wheel1-component
+		comp:specifies wheel2-component
+		comp:specifies wheel3-component
+		comp:specifies wheel4-component	
+	]
+	
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/systems.oml

@@ -0,0 +1,11 @@
+description <http://ua.com.be/sdo2l/description/systems#> as systems {
+	
+	uses <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	uses <http://ua.com.be/sdo2l/vocabulary/system#> as system
+
+	ci car-system : system:System [
+		base:hasIdentifier "P-01"
+		base:hasCanonicalName "Car Project"
+	]
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/traces.oml

@@ -0,0 +1,42 @@
+description <http://ua.com.be/sdo2l/description/traces#> as traces {
+	uses <http://ua.com.be/sdo2l/vocabulary/processtraces#> as traces
+	extends <http://ua.com.be/sdo2l/description/workflows#> as wf
+	extends <http://ua.com.be/sdo2l/description/requirements#> as requirements
+
+	extends <http://ua.com.be/sdo2l/description/structuralModels#> as components
+	
+	ci car-trace : traces:Trace [
+		traces:enacts wf:pm-car-system
+	]
+	
+	ci staev-req-elicitation : traces:StartingEvent [
+		traces:isFollowedBy endev-req-elicitation
+		traces:starts wf:requirement-elicitation-act
+	]
+	ci endev-req-elicitation : traces:EndingEvent [
+		traces:provides requirements:reqlist-car-system
+		traces:isFollowedBy staev-arch-design
+		traces:terminates wf:requirement-elicitation-act
+	]
+	
+	ci staev-arch-design : traces:StartingEvent [
+		traces:receives requirements:reqlist-car-system
+		traces:isFollowedBy endev-arch-design
+		traces:starts wf:arquitectural-design-act
+	]
+	ci endev-arch-design : traces:EndingEvent [
+		traces:provides components:car-structural-model
+		traces:isFollowedBy staev-analysis
+		traces:terminates wf:arquitectural-design-act
+	]
+	
+	ci staev-analysis : traces:StartingEvent [
+		traces:starts wf:analysis-act
+		traces:isFollowedBy endev-analysis
+	]
+	ci endev-analysis : traces:EndingEvent [
+		traces:terminates wf:analysis-act
+	] 
+	
+	 
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/description/workflows.oml

@@ -0,0 +1,61 @@
+description <http://ua.com.be/sdo2l/description/workflows#> as workflows {
+	uses <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	//uses <http://www.w3.org/2001/XMLSchema#> as xsd
+	uses <http://ua.com.be/sdo2l/vocabulary/workflow#> as wf
+	extends <http://ua.com.be/sdo2l/description/definitions#> as defs
+
+	
+	// the car PM
+	ci pm-car-system : wf:Workflow [
+		base:hasIdentifier "pm1"
+		base:hasCanonicalName "PMCarSystem"
+		base:hasDescription "The Process model of the car system."
+	]
+
+
+	// Artifacts Usages
+
+	ci reqList-usage : base:WorkflowArtifact [
+		base:isDefinedBy defs:requirementList-def
+		base:hasUsageName "requirements"
+	]
+	
+	ci car-structural-model-usage : base:WorkflowArtifact [
+		base:isDefinedBy defs:structural-model-def
+		base:hasUsageName "architecture"
+	]
+	
+	// nodes
+	
+	ci init-node : wf:InitialNode
+	
+	ci requirement-elicitation-act : wf:Activity [
+		base:isDefinedBy defs:requirement-elicitation-act
+		base:hasUsageName "reqElicitation"
+		wf:outputs reqList-usage
+	]
+	
+	ci arquitectural-design-act : wf:Activity [
+		base:isDefinedBy defs:architectural-design-act
+		base:hasUsageName "archDesign"
+		wf:isInputtedBy reqList-usage
+		wf:outputs car-structural-model-usage
+	]
+	
+	ci analysis-act : wf:Activity [
+		base:isDefinedBy defs:analysis-act
+		base:hasUsageName "analysis"
+	]
+	
+	ci final-node : wf:FinalNode
+	
+	ref ci pm-car-system [
+		wf:coordinates init-node
+		wf:coordinates requirement-elicitation-act
+		wf:coordinates arquitectural-design-act
+		wf:coordinates analysis-act
+		wf:coordinates final-node
+	]
+	
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/base.oml

@@ -0,0 +1,115 @@
+vocabulary <http://ua.com.be/sdo2l/vocabulary/base#> as base {
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://www.w3.org/2001/XMLSchema#> as xsd
+	
+	// Elements for Identified Things
+	
+	@rdfs:comment "The class of things having an id and a canonical name"
+	aspect IdentifiedThing [
+		restricts scalar property hasIdentifier to exactly 1
+		restricts scalar property hasCanonicalName to exactly 1
+	]
+
+	@rdfs:comment "The has canonical name property"
+	scalar property hasCanonicalName [
+		domain IdentifiedThing
+		range xsd:string
+	]
+
+	@rdfs:comment "The has identifier property"
+	scalar property hasIdentifier [
+		domain IdentifiedThing
+		range xsd:string
+	]
+
+	@rdfs:comment "The has description property"
+	scalar property hasDescription [
+		domain IdentifiedThing
+		range xsd:string
+	]
+	
+	// Relationships aggreagation and containment
+	
+ 	@rdfs:comment "The class of things that can be aggregated"
+	aspect AggregatedThing
+
+	@rdfs:comment "The aggregates relation between aggregated things"
+	relation entity Aggregates [
+		from AggregatedThing
+		to AggregatedThing
+		forward aggregates
+		reverse isAggregatedIn
+		asymmetric
+		irreflexive
+	]
+	
+	@rdfs:comment "A ContainedElement is a thing that can participate in homomeric containment relationships."
+	aspect ContainedElement
+	
+	@rdfs:comment "Contains is a many-to-many relation used to represent homomeric relations that form directed rooted trees."
+	relation entity Contains [
+		from ContainedElement
+		to ContainedElement
+		forward contains
+		reverse isContainedIn
+		inverse functional
+		asymmetric
+		irreflexive
+	]
+	
+	// Definitions and Concretizations
+	
+	@rdfs:comment "The class of things that specify definitions of elements"
+	aspect DefinitionThing
+	
+	@rdfs:comment "The has name property"
+	scalar property hasName [
+		domain DefinitionThing
+		range xsd:string
+	]
+
+
+	@rdfs:comment "The class of things that are used and are defined by DefinitionThings"
+	aspect UsageThing
+	
+	@rdfs:comment "The has usage name property"
+	scalar property hasUsageName [
+		domain UsageThing
+		range xsd:string
+	]
+	
+	@rdfs:comment "relationship between definitions and concrete elements"
+	relation entity Defines [
+		from DefinitionThing
+		to UsageThing
+		forward defines
+		reverse isDefinedBy
+		asymmetric
+		irreflexive
+	]
+	
+	
+	// Definitions for Activities
+	@rdfs:comment "The types of activities performed during the system design process. This concept should be used in the FTG."
+	concept ActivityType :> DefinitionThing	
+	
+	// Definitions for Artifacts
+	
+	@rdfs:comment "The types of artifacts generated during the system design process. This concept should be used in the FTG."
+	concept ArtifactType :> DefinitionThing
+
+	
+	@rdfs:comment "In a workflow we may have different instances of the same artifact type. Although they are not concrete artifacts, just indicators that an artifact is required/produced for an activity."
+	concept WorkflowArtifact :> UsageThing
+	
+	
+	
+	
+	
+	
+	
+ 
+	
+		
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/bundle.oml

@@ -0,0 +1,3 @@
+vocabulary bundle <http://ua.com.be/sdo2l/vocabulary/bundle#> as ^bundle {
+	includes <http://ua.com.be/sdo2l/vocabulary/system#>
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/component.oml

@@ -0,0 +1,76 @@
+vocabulary <http://ua.com.be/sdo2l/vocabulary/component#> as component {
+	
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	extends <http://bipm.org/jcgm/vim4#> as vim4
+
+	extends <http://ua.com.be/sdo2l/vocabulary/processtraces#> as traces
+
+	@rdfs:comment "A Structural Model defines the static view of a system in terms of its components and their relationships."
+	concept StructuralModel :> base:IdentifiedThing, traces:Artifact//, base:WorkflowArtifact
+	
+	@rdfs:comment "A Structural Model is specified by several components."
+	relation entity Specifies [
+		from StructuralModel
+		to Component
+		forward specifies
+		reverse isSpecifiedBy
+		inverse functional
+		asymmetric
+		irreflexive
+	]
+	
+	// Definitions for Components
+	
+	@rdfs:comment "A Component is something that can be designed in a structural model."
+	concept Component :> base:IdentifiedThing, base:ContainedElement, vim4:Object
+	
+	@rdfs:comment "A component may have several attributes."
+	concept Attribute :> base:IdentifiedThing, vim4:InherentUnitaryQuantityValue [
+		restricts all relation vim4:characterizes to Component
+	]
+	
+	@rdfs:comment "An Interface represents a set of features that describe some Component’s interaction with another Component."
+	concept Interface :> base:IdentifiedThing
+	
+	@rdfs:comment "A Component presents zero or more Interfaces."
+	relation entity Presents [
+		from Component
+		to Interface
+		forward presents
+		reverse isPresentedBy
+		inverse functional
+		asymmetric
+		irreflexive
+	]
+	
+	@rdfs:comment "A Junction joins two or more Interfaces."
+	relation entity Junction :> base:IdentifiedThing [
+		from Interface
+		to Interface
+		forward joins
+		symmetric
+		irreflexive
+	]
+	
+	@rdfs:comment "A Component connects to zero or more components."
+	relation entity Connection [
+		from Component
+		to Component
+		forward connectsTo
+		symmetric
+	]
+	
+	@rdfs:comment "When interfaces presented by components are joined, we infer that the components are connected."
+	rule Junction-infers-Connection [
+		presents(c1, i1) ^ joins(i1, i2) ^ isPresentedBy(i2, c2) -> connectsTo(c1, c2)
+	]
+	
+	// Domain-Specific Components
+	
+	concept CarComponent :> Component
+	
+	concept WheelComponent :> Component
+	
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/processtraces.oml

@@ -0,0 +1,112 @@
+vocabulary <http://ua.com.be/sdo2l/vocabulary/processtraces#> as traces {
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	extends <http://ua.com.be/sdo2l/vocabulary/workflow#> as wf
+	extends <http://www.w3.org/2001/XMLSchema#> as xsd
+	
+	@rdfs:comment "The class to represent traces of execution of a given workflow."
+	concept Trace :> base:IdentifiedThing
+	
+	@rdfs:comment "The class to represent an event of a trace."
+	aspect Event 
+	
+	@rdfs:comment "The class to represent a starting event of a trace."
+	concept StartingEvent :> Event
+	
+	@rdfs:comment "The class to represent an ending event of a trace."
+	concept EndingEvent :> Event
+		
+	relation entity Enacts [
+		from Trace
+		to wf:Workflow
+		forward enacts
+		reverse isEnactBy
+		asymmetric
+		irreflexive
+		functional
+	]
+	
+	relation entity Follows [
+		from Event
+		to Event
+		forward isFollowedBy
+		reverse isPrecededBy
+		asymmetric
+		irreflexive
+		functional
+		inverse functional
+	]
+	
+	relation entity Starts [
+		from StartingEvent
+		to wf:Activity
+		forward starts
+		reverse isStartedBy
+		asymmetric
+		irreflexive
+		functional
+	]
+	
+	relation entity Terminates [
+		from EndingEvent
+		to wf:Activity
+		forward terminates
+		reverse isTerminatedBy
+		asymmetric
+		irreflexive
+		functional
+	]
+	
+	relation entity Receives [
+		from StartingEvent
+		to Artifact
+		forward receives
+		reverse isReceivedBy
+		asymmetric
+		irreflexive
+		functional
+	]
+	
+	relation entity Provides [
+		from EndingEvent
+		to Artifact
+		forward provides
+		reverse isProvidedBy
+		asymmetric
+		irreflexive
+		functional
+	]
+	
+	@rdfs:comment "The class of artifacts generated during the system design process. Here we are referring to the concrete artifacts that are created/used during the enactment of a workflow."
+	aspect Artifact 
+	
+	@rdfs:comment "The has canonical name property"
+	scalar property hasVersion [
+		domain Artifact
+		range xsd:string
+	]
+	
+	relation entity RelatesTo [
+		from Artifact
+		to base:WorkflowArtifact
+		forward relatesTo
+		symmetric 
+		irreflexive
+		functional
+	]
+	
+	relation entity UpdatesVersion [
+		from Artifact
+		to Artifact
+		forward updatesVersion
+		reverse isVersionUpdatedBy
+		symmetric
+		irreflexive
+	]
+
+	
+	
+	
+	
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/requirement.oml

@@ -0,0 +1,30 @@
+vocabulary <http://ua.com.be/sdo2l/vocabulary/requirement#> as requirement {
+	extends <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	extends <http://ua.com.be/sdo2l/vocabulary/system#> as system
+
+	extends <http://ua.com.be/sdo2l/vocabulary/processtraces#> as traces
+	
+	concept Requirement :> base:IdentifiedThing
+	
+	relation entity Describes [
+		from Requirement 
+		to system:System
+		forward describes
+		reverse isDescribedBy
+		asymmetric
+		irreflexive
+	]
+	
+	concept RequirementList :> base:IdentifiedThing, traces:Artifact//, base:WorkflowArtifact
+	
+	relation entity Groups [
+		from RequirementList
+		to Requirement
+		forward groups
+		reverse isGroupedBy
+		asymmetric
+		irreflexive
+		inverse functional
+	] 
+		
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/system.oml

@@ -0,0 +1,8 @@
+vocabulary <http://ua.com.be/sdo2l/vocabulary/system#> as system {
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	
+	@rdfs:comment "A system is the element to be designed."
+	concept System :> base:IdentifiedThing 
+	
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.com.be/sdo2l/vocabulary/workflow.oml

@@ -0,0 +1,55 @@
+vocabulary <http://ua.com.be/sdo2l/vocabulary/workflow#> as workflow {
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://ua.com.be/sdo2l/vocabulary/base#> as base
+	
+	@rdfs:comment "The class to represent a workflow."
+	concept Workflow :> base:IdentifiedThing
+	
+	relation entity Coordinates [
+		from Workflow
+		to Node
+		forward coordinates
+		reverse isCoordinatedBy
+		asymmetric
+		irreflexive
+		inverse functional
+	]
+	
+	
+	@rdfs:comment "The class of nodes in a workflow"
+	aspect Node
+	
+	concept InitialNode :> Node, base:IdentifiedThing
+	
+	concept FinalNode :> Node, base:IdentifiedThing
+	
+	concept Activity :> Node, base:IdentifiedThing, base:UsageThing
+	
+	relation entity Follows [
+		from Node 
+		to Node
+		forward isFollowedBy
+		reverse isPrecededBy
+		asymmetric
+		irreflexive
+	]
+	
+	relation entity Inputs [
+		from base:WorkflowArtifact 
+		to Activity
+		forward inputs
+		reverse isInputtedBy
+		asymmetric
+		irreflexive
+	]
+	
+	relation entity Outputs [
+		from Activity 
+		to base:WorkflowArtifact
+		forward outputs
+		reverse isOutputtedBy
+		asymmetric
+		irreflexive
+	]	
+
+}