|
|
@@ -3,6 +3,7 @@
|
|
|
%**************************************
|
|
|
\documentclass{article}
|
|
|
\usepackage{todonotes}
|
|
|
+\usepackage{hyperref}
|
|
|
|
|
|
\title{MSDL Vocabulary Bundle}
|
|
|
|
|
|
@@ -54,10 +55,10 @@ The vocabulary is composed of the following entities:
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Resource (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Resource (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: containsResource//
|
|
|
-\textbf{Reverse}: isContainedInResource//
|
|
|
+\textbf{Source}: Resource (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Resource (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: containsResource\\
|
|
|
+\textbf{Reverse}: isContainedInResource\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
|
|
|
\subsubsection{IdentifiedElement}
|
|
|
@@ -120,10 +121,10 @@ The set of containment relations between systems
|
|
|
\begin{itemize}
|
|
|
\item ResourceContainment (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: System (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: System (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasSubsystem//
|
|
|
-\textbf{Reverse}: isSubsystemOf//
|
|
|
+\textbf{Source}: System (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: System (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasSubsystem\\
|
|
|
+\textbf{Reverse}: isSubsystemOf\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
|
|
|
\subsubsection{Asset}
|
|
|
@@ -156,10 +157,10 @@ The set of (part of the) asset that are studied in the validation experiment
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
The set of relations between an Asset-Goal-Context triplet and the derived System-Under-Study. Since MPM advocates for most-appropriateness, the forward relation is functional
|
|
|
-\textbf{Source}: SystemGoalHaveContext (see section \ref{subsubsec:System-Goal-Context triplet})//
|
|
|
-\textbf{Target}: SystemUnderStudy (see section \ref{subsubsec:SuS})//
|
|
|
-\textbf{Forward}: derivesSystemUnderStudy//
|
|
|
-\textbf{Reverse}: isDerivedFromAssetGoalContext//
|
|
|
+\textbf{Source}: SystemGoalHaveContext (see section \ref{subsubsec:System-Goal-Context triplet})\\
|
|
|
+\textbf{Target}: SystemUnderStudy (see section \ref{subsubsec:SuS})\\
|
|
|
+\textbf{Forward}: derivesSystemUnderStudy\\
|
|
|
+\textbf{Reverse}: isDerivedFromAssetGoalContext\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{OperatingEnvironment}
|
|
|
@@ -181,10 +182,10 @@ The circumstances, objects, or conditions by which a system is surrounded. Entit
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
The set of relations between a system and the environment it is exposed to
|
|
|
-\textbf{Source}: System (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: OperatingEnvironment (see section \ref{subsubsec:Surroundings})//
|
|
|
-\textbf{Forward}: isExposedToEnvironment//
|
|
|
-\textbf{Reverse}: hasExposedSystem//
|
|
|
+\textbf{Source}: System (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: OperatingEnvironment (see section \ref{subsubsec:Surroundings})\\
|
|
|
+\textbf{Forward}: isExposedToEnvironment\\
|
|
|
+\textbf{Reverse}: hasExposedSystem\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsection{Actor sub-ontology}
|
|
|
@@ -214,10 +215,10 @@ The class of entities that perform activities
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
The set of relations of permission between resources
|
|
|
-\textbf{Source}: Resource (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Resource (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasPermissionToResource//
|
|
|
-\textbf{Reverse}: isPermittedToResource//
|
|
|
+\textbf{Source}: Resource (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Resource (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasPermissionToResource\\
|
|
|
+\textbf{Reverse}: isPermittedToResource\\
|
|
|
This relation is: \textbf{irreflexive}, \textbf{transitive}
|
|
|
|
|
|
\subsubsection{Role}
|
|
|
@@ -243,10 +244,10 @@ The set of relations between actors and their roles
|
|
|
\begin{itemize}
|
|
|
\item ResourcePermissionResource (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Actor (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Role (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasRole//
|
|
|
-\textbf{Reverse}: isRoleOfActor//
|
|
|
+\textbf{Source}: Actor (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Role (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasRole\\
|
|
|
+\textbf{Reverse}: isRoleOfActor\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{RolePermissionResource}
|
|
|
@@ -260,10 +261,10 @@ The set of relations between roles and and the resources they are permitted to
|
|
|
\begin{itemize}
|
|
|
\item ResourcePermissionResource (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Role (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Resource (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasRoleToResource//
|
|
|
-\textbf{Reverse}: isPermittedToRole//
|
|
|
+\textbf{Source}: Role (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Resource (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasRoleToResource\\
|
|
|
+\textbf{Reverse}: isPermittedToRole\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}, \textbf{transitive}
|
|
|
|
|
|
\subsubsection{Capability}
|
|
|
@@ -289,10 +290,10 @@ The set of relations between actors and capabilities they have
|
|
|
\begin{itemize}
|
|
|
\item ResourcePermissionResource (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Actor (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Capability (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasCapability//
|
|
|
-\textbf{Reverse}: isCapabilityOfActor//
|
|
|
+\textbf{Source}: Actor (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Capability (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasCapability\\
|
|
|
+\textbf{Reverse}: isCapabilityOfActor\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{CapabilityHaveResource}
|
|
|
@@ -306,10 +307,10 @@ The set of relations between capabilities and their resource
|
|
|
\begin{itemize}
|
|
|
\item ResourcePermissionResource (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Capability (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Resource (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: isCapableToResource//
|
|
|
-\textbf{Reverse}: isPartOfCapability//
|
|
|
+\textbf{Source}: Capability (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Resource (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: isCapableToResource\\
|
|
|
+\textbf{Reverse}: isPartOfCapability\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsection{Human sub-ontology}
|
|
|
@@ -424,7 +425,7 @@ NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/requirement\#\\
|
|
|
This ontology describes entities related to requirements engineering
|
|
|
|
|
|
|
|
|
-\textbf{REFERENCE}: \url{https://doi.org/ISO/IEC/IEEE-29148-2011}
|
|
|
+\textbf{REFERENCE}: \url{https:\\doi.org/ISO/IEC/IEEE-29148-2011}
|
|
|
|
|
|
The vocabulary is composed of the following entities:
|
|
|
|
|
|
@@ -448,10 +449,10 @@ The overall, high-level objective of the system. Goals provide the motivation fo
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Goal (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Goal (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: containsGoal//
|
|
|
-\textbf{Reverse}: isContainedInGoal//
|
|
|
+\textbf{Source}: Goal (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Goal (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: containsGoal\\
|
|
|
+\textbf{Reverse}: isContainedInGoal\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
|
|
|
\textbf{COMMENT}: The set of containment relations between goals
|
|
|
@@ -462,10 +463,10 @@ This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: System (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Goal (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasGoal//
|
|
|
-\textbf{Reverse}: isGoalOf//
|
|
|
+\textbf{Source}: System (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Goal (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasGoal\\
|
|
|
+\textbf{Reverse}: isGoalOf\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\textbf{COMMENT}: The set of relations between systems and their goals
|
|
|
@@ -488,10 +489,10 @@ The class of statements which translate or express a need and its associated con
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Requirement (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Requirement (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: containsRequirement//
|
|
|
-\textbf{Reverse}: isContainedInRequirement//
|
|
|
+\textbf{Source}: Requirement (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Requirement (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: containsRequirement\\
|
|
|
+\textbf{Reverse}: isContainedInRequirement\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
|
|
|
\textbf{COMMENT}:
|
|
|
@@ -502,10 +503,10 @@ This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Requirement (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Goal (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: operationalizesGoal//
|
|
|
-\textbf{Reverse}: isOperationalizedAsRequirement//
|
|
|
+\textbf{Source}: Requirement (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Goal (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: operationalizesGoal\\
|
|
|
+\textbf{Reverse}: isOperationalizedAsRequirement\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{FunctionalRequirement}
|
|
|
@@ -634,10 +635,10 @@ The (single-valued) measurements extracted from performing experiments/analysis
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Requirement (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: PropertyOfInterest (see section \ref{subsubsec:PoI, Outcome Measures})//
|
|
|
-\textbf{Forward}: isExpressedAsPoI//
|
|
|
-\textbf{Reverse}: expressesRequirement//
|
|
|
+\textbf{Source}: Requirement (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: PropertyOfInterest (see section \ref{subsubsec:PoI, Outcome Measures})\\
|
|
|
+\textbf{Forward}: isExpressedAsPoI\\
|
|
|
+\textbf{Reverse}: expressesRequirement\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{RequirementPoIHaveUpperLimit}
|
|
|
@@ -646,10 +647,10 @@ This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: RequirementExpressPoI (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: QuantityValue (see section \ref{subsubsec:QuantityValue})//
|
|
|
-\textbf{Forward}: hasUpperLimit//
|
|
|
-\textbf{Reverse}: isUpperLimitOf//
|
|
|
+\textbf{Source}: RequirementExpressPoI (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: QuantityValue (see section \ref{subsubsec:QuantityValue})\\
|
|
|
+\textbf{Forward}: hasUpperLimit\\
|
|
|
+\textbf{Reverse}: isUpperLimitOf\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{RequirementPoIHaveLowerLimit}
|
|
|
@@ -658,10 +659,10 @@ This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: RequirementExpressPoI (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: QuantityValue (see section \ref{subsubsec:QuantityValue})//
|
|
|
-\textbf{Forward}: hasLowerLimit//
|
|
|
-\textbf{Reverse}: isLowerLimitOf//
|
|
|
+\textbf{Source}: RequirementExpressPoI (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: QuantityValue (see section \ref{subsubsec:QuantityValue})\\
|
|
|
+\textbf{Forward}: hasLowerLimit\\
|
|
|
+\textbf{Reverse}: isLowerLimitOf\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsection{}
|
|
|
@@ -880,10 +881,10 @@ The set of concrete syntax comprising sequences of characters from the alphabet
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
The set of relations between a formalism and its abstract syntax/es
|
|
|
-\textbf{Source}: Formalism (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: AbstractSyntax (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasAbstractSyntax//
|
|
|
-\textbf{Reverse}: isSyntaxOfFormalism//
|
|
|
+\textbf{Source}: Formalism (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: AbstractSyntax (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasAbstractSyntax\\
|
|
|
+\textbf{Reverse}: isSyntaxOfFormalism\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{LanguageHaveConcreteSyntax}
|
|
|
@@ -892,10 +893,10 @@ This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
The set of relations between a language and its concrete syntax/es
|
|
|
-\textbf{Source}: Language (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: ConcreteSyntax (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasConcreteSyntax//
|
|
|
-\textbf{Reverse}: isSyntaxOfLanguage//
|
|
|
+\textbf{Source}: Language (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: ConcreteSyntax (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasConcreteSyntax\\
|
|
|
+\textbf{Reverse}: isSyntaxOfLanguage\\
|
|
|
This relation is: \textbf{asymmetric}
|
|
|
|
|
|
\subsubsection{SyntacticMapping}
|
|
|
@@ -904,10 +905,10 @@ This relation is: \textbf{asymmetric}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: ConcreteSyntax (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: AbstractSyntax (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: isMappedToAbstractSyntax//
|
|
|
-\textbf{Reverse}: isMappedFromConcreteSyntax//
|
|
|
+\textbf{Source}: ConcreteSyntax (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: AbstractSyntax (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: isMappedToAbstractSyntax\\
|
|
|
+\textbf{Reverse}: isMappedFromConcreteSyntax\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{Formalism}
|
|
|
@@ -1000,10 +1001,10 @@ The set of formalisms based on Petri nets, used for describing distributed syste
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
The set of relations between formalisms and languages they are realized by
|
|
|
-\textbf{Source}: Formalism (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Language (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: isFormalismRealizedByLanguage//
|
|
|
-\textbf{Reverse}: isRealizationOfFormalism//
|
|
|
+\textbf{Source}: Formalism (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Language (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: isFormalismRealizedByLanguage\\
|
|
|
+\textbf{Reverse}: isRealizationOfFormalism\\
|
|
|
This relation is: \textbf{inverse functional}
|
|
|
|
|
|
\subsubsection{Semantics}
|
|
|
@@ -1036,10 +1037,10 @@ The set of meanings of sentences of a language
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: AbstractSyntax (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: SemanticDomain (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: isMappedToSemantics//
|
|
|
-\textbf{Reverse}: isMappedFromSyntax//
|
|
|
+\textbf{Source}: AbstractSyntax (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: SemanticDomain (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: isMappedToSemantics\\
|
|
|
+\textbf{Reverse}: isMappedFromSyntax\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsection{}
|
|
|
@@ -1083,10 +1084,10 @@ A model is a physical/virtual representation of salient aspects of a system-unde
|
|
|
\begin{itemize}
|
|
|
\item SystemSubsystem (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasSubmodel//
|
|
|
-\textbf{Reverse}: isSubmodelOf//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasSubmodel\\
|
|
|
+\textbf{Reverse}: isSubmodelOf\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
|
|
|
\subsubsection{SystemRelationModel}
|
|
|
@@ -1095,10 +1096,10 @@ This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: SystemHaveGoal (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: isModeledAs//
|
|
|
-\textbf{Reverse}: isModelOfSuS//
|
|
|
+\textbf{Source}: SystemHaveGoal (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: isModeledAs\\
|
|
|
+\textbf{Reverse}: isModelOfSuS\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\subsubsection{ModelRelationModel}
|
|
|
@@ -1107,10 +1108,10 @@ This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: isRelatedToModel//
|
|
|
-\textbf{Reverse}: isRelatedFromModel//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: isRelatedToModel\\
|
|
|
+\textbf{Reverse}: isRelatedFromModel\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsubsection{ModelConformsLanguage}
|
|
|
@@ -1124,10 +1125,10 @@ This relation is:
|
|
|
\begin{itemize}
|
|
|
\item ModelRelationModel (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: ModelingLanguage (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: conformsToLanguage//
|
|
|
-\textbf{Reverse}: isLanguageOfModel//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: ModelingLanguage (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: conformsToLanguage\\
|
|
|
+\textbf{Reverse}: isLanguageOfModel\\
|
|
|
This relation is: \textbf{asymmetric}
|
|
|
|
|
|
\subsubsection{Metamodel}
|
|
|
@@ -1154,10 +1155,10 @@ This relation is: \textbf{asymmetric}
|
|
|
\begin{itemize}
|
|
|
\item ModelRelationModel (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Metamodel (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: conformsToMetamodel//
|
|
|
-\textbf{Reverse}: hasConformantModel//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Metamodel (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: conformsToMetamodel\\
|
|
|
+\textbf{Reverse}: hasConformantModel\\
|
|
|
This relation is: \textbf{asymmetric}
|
|
|
|
|
|
\subsubsection{ModelTransformation}
|
|
|
@@ -1171,10 +1172,10 @@ This relation is: \textbf{asymmetric}
|
|
|
\begin{itemize}
|
|
|
\item ModelRelationModel (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: invalid//
|
|
|
-\textbf{Reverse}: invalid//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: invalid\\
|
|
|
+\textbf{Reverse}: invalid\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsubsection{CapturingOperation}
|
|
|
@@ -1188,10 +1189,10 @@ This relation is:
|
|
|
\begin{itemize}
|
|
|
\item ModelTransformation (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: invalid//
|
|
|
-\textbf{Reverse}: invalid//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: invalid\\
|
|
|
+\textbf{Reverse}: invalid\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsubsection{RefinementRelation}
|
|
|
@@ -1205,10 +1206,10 @@ This relation is:
|
|
|
\begin{itemize}
|
|
|
\item ModelTransformation (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: invalid//
|
|
|
-\textbf{Reverse}: invalid//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: invalid\\
|
|
|
+\textbf{Reverse}: invalid\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsubsection{SynchronizationRelation}
|
|
|
@@ -1222,10 +1223,10 @@ This relation is:
|
|
|
\begin{itemize}
|
|
|
\item ModelTransformation (see section \ref{subsubsec:})
|
|
|
\end{itemize}
|
|
|
-\textbf{Source}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Model (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: invalid//
|
|
|
-\textbf{Reverse}: invalid//
|
|
|
+\textbf{Source}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Model (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: invalid\\
|
|
|
+\textbf{Reverse}: invalid\\
|
|
|
This relation is:
|
|
|
|
|
|
\subsubsection{ConceptualModel}
|
|
|
@@ -1299,10 +1300,10 @@ The vocabulary is composed of the following entities:
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: Context (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: Context (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: containsContext//
|
|
|
-\textbf{Reverse}: isContainedInContext//
|
|
|
+\textbf{Source}: Context (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: Context (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: containsContext\\
|
|
|
+\textbf{Reverse}: isContainedInContext\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
|
|
|
\textbf{COMMENT}: The set of containment relations between contexts
|
|
|
@@ -1341,10 +1342,10 @@ This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: System (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: SystemContext (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasSystemContext//
|
|
|
-\textbf{Reverse}: isContextOfSystem//
|
|
|
+\textbf{Source}: System (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: SystemContext (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasSystemContext\\
|
|
|
+\textbf{Reverse}: isContextOfSystem\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\textbf{COMMENT}: The set of relations between systems and their contexts
|
|
|
@@ -1355,10 +1356,10 @@ This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
\todo{add @dc:description annotation to entity!}
|
|
|
|
|
|
\todo{add @resource:definition annotation to entity!}
|
|
|
-\textbf{Source}: SystemHaveGoal (see section \ref{subsubsec:})//
|
|
|
-\textbf{Target}: GoalContext (see section \ref{subsubsec:})//
|
|
|
-\textbf{Forward}: hasSystemGoalContext//
|
|
|
-\textbf{Reverse}: isContextOfSystemGoal//
|
|
|
+\textbf{Source}: SystemHaveGoal (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Target}: GoalContext (see section \ref{subsubsec:})\\
|
|
|
+\textbf{Forward}: hasSystemGoalContext\\
|
|
|
+\textbf{Reverse}: isContextOfSystemGoal\\
|
|
|
This relation is: \textbf{asymmetric}, \textbf{irreflexive}
|
|
|
|
|
|
\textbf{COMMENT}: The set of relations between goals and their contexts
|
|
|
@@ -1388,7 +1389,7 @@ NAMESPACE: http://msdl.uantwerpen.be/vocabulary/validity/indicators\#\\
|
|
|
\todo{add @dc:description annotation to vocabulary!}
|
|
|
|
|
|
|
|
|
-\textbf{REFERENCE}: \url{https://doi.org/10.1177/1046878102238606}
|
|
|
+\textbf{REFERENCE}: \url{https:\\doi.org/10.1177/1046878102238606}
|
|
|
|
|
|
The vocabulary is composed of the following entities:
|
|
|
|