%**************************************
% This file is automatically generated.
%**************************************
\documentclass{article}
\usepackage{todonotes}
\usepackage{hyperref}

\title{MSDL Vocabulary Bundle}

\author{MSDL, University of Antwerp, Belgium}

\begin{document}
\maketitle

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/bundle\#\\
This vocabulary bundle defines the concepts and relations used within the context of MSDL, for systems, and associated workflows


\tableofcontents

\listoffigures

The vocabulary bundle is composed of the following sub-vocabulary bundles:

\section{}
\label{sec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/bundle\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary bundle is composed of the following vocabularies:

\subsection{Resource sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/resource\#\\
This ontology describes the top-level entities related to resources


The vocabulary is composed of the following entities:

\subsubsection{Resource}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{COMMENT}: The class of all materials which help us satisfy our needs and wants

\subsubsection{ResourceContainment}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}

\subsubsection{IdentifiedElement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Resource (see section \ref{subsubsec:})
\end{itemize}

\textbf{COMMENT}: The class of elements that are uniquely identified by an id

\subsubsection{NamedElement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item IdentifiedElement (see section \ref{subsubsec:})
\end{itemize}

\textbf{COMMENT}: The class of elements that have a possibly non-unique name

\subsection{System sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/asset\#\\
This ontology describes entities related to systems, assets, environment, and system-under-study


The vocabulary is composed of the following entities:

\subsubsection{System}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The abstract class of sets of things working together as parts of a whole mechanism

\textbf{Subclass of:}
\begin{itemize}
	\item NamedElement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{SystemSubsystem}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of containment relations between systems

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}

\subsubsection{Asset}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of entities owned by a person / organization having value as products offered to customers or consumed by itself. The asset should be able to meet all kinds of relevant goals in all possible contexts

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{SystemUnderStudy}
\label{subsubsec:SuS}

\todo{add @dc:description annotation to entity!}

The set of (part of the) asset that are studied in the validation experiment

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{AssetGoalContextDerivesSuS}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{OperatingEnvironment}
\label{subsubsec:Surroundings}

\todo{add @dc:description annotation to entity!}

The circumstances, objects, or conditions by which a system is surrounded. Entities and influences separate from a system

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
	\item Context (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{SystemExposeEnvironment}
\label{subsubsec:}

\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\\
This relation is: 

\subsection{Actor sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/actor\#\\
This ontology describes entities related to actors, access and permission control


The vocabulary is composed of the following entities:

\subsubsection{Actor}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The class of entities that perform activities

\textbf{Subclass of:}
\begin{itemize}
	\item NamedElement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ResourcePermissionResource}
\label{subsubsec:}

\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\\
This relation is: \textbf{irreflexive}, \textbf{transitive}

\subsubsection{Role}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The class of job functions or titles which defines an actors level of authority

\textbf{Subclass of:}
\begin{itemize}
	\item NamedElement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ActorHaveRole}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of relations between actors and their roles

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{RolePermissionResource}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of relations between roles and and the resources they are permitted to

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}, \textbf{transitive}

\subsubsection{Capability}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The class of capabilities of actors

\textbf{Subclass of:}
\begin{itemize}
	\item Resource (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ActorHaveCapability}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of relations between actors and capabilities they have

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{CapabilityHaveResource}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of relations between capabilities and their resource

\textbf{Subclass of:}
\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\\
This relation is: 

\subsection{Human sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/human\#\\
This ontology describes entities related to humans and stakeholders


The vocabulary is composed of the following entities:

\subsubsection{HumanElement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The class of human elements

\textbf{Subclass of:}
\begin{itemize}
	\item Actor (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Stakeholder}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The abstract class of individual or organization having a right, share, claim, or interest in a system or in its possession of characteristics that meet their needs and expectations

\textbf{Subclass of:}
\begin{itemize}
	\item HumanElement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Organization}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The concrete class of organizations

\textbf{Subclass of:}
\begin{itemize}
	\item Stakeholder (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Person}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The concrete class of persons. A person cannot be owned. SLAVERY HAS BEEN ABOLISHED!

\textbf{Subclass of:}
\begin{itemize}
	\item Stakeholder (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Affiliate}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Stakeholder (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Affiliation}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Role (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Owner}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The class of human elements that own entities

\textbf{Subclass of:}
\begin{itemize}
	\item Affiliate (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Ownership}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Affiliation (see section \ref{subsubsec:})
\end{itemize}

\subsection{Requirements sub-ontology}
\label{subsec:}

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}

The vocabulary is composed of the following entities:

\subsubsection{Goal}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The overall, high-level objective of the system. Goals provide the motivation for a system but are often vaguely formulated.

\textbf{Subclass of:}
\begin{itemize}
	\item IdentifiedElement (see section \ref{subsubsec:})
\end{itemize}

\textbf{COMMENT}: The abstract class of goals of systems

\subsubsection{GoalContainment}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}

\textbf{COMMENT}: The set of containment relations between goals

\subsubsection{SystemHaveGoal}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\textbf{COMMENT}: The set of relations between systems and their goals

\subsubsection{Requirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The class of statements which translate or express a need and its associated constraints and conditions

\textbf{Subclass of:}
\begin{itemize}
	\item IdentifiedElement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{RequirementContainment}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}

\textbf{COMMENT}: 

\subsubsection{RequirementOperationalizeGoal}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{FunctionalRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirements that describe the system or system element functions or tasks to be performed

\textbf{Subclass of:}
\begin{itemize}
	\item Requirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{PerformanceRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirements that define the extent or how well a function or task is to be performed in a quantitative manner

\textbf{Subclass of:}
\begin{itemize}
	\item Requirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{UsabilityRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirements that define the basis for the design and evaluation of systems to meet the user needs and satisfaction

\textbf{Subclass of:}
\begin{itemize}
	\item PerformanceRequirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{InterfaceRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirements that define how the system is required to interact with external systems, or how subsystem elements interact internally with each other

\textbf{Subclass of:}
\begin{itemize}
	\item Requirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{DesignRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirement that limit the options to design of a solution by imposing boundaries on the design space

\textbf{Subclass of:}
\begin{itemize}
	\item Requirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ProcessRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirements often imposed through the contract or statement of work specifying compliance with laws or policies, or in system implementation by mandating a particular design method

\textbf{Subclass of:}
\begin{itemize}
	\item Requirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{NonFunctionalRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Requirements under which the system is required to operate or exist, or system properties defining how the system is supposed to be

\textbf{Subclass of:}
\begin{itemize}
	\item Requirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{QualityRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

A number of the 'ilities' in requirements to include and develop prior to initiating a requirements document.

\textbf{Subclass of:}
\begin{itemize}
	\item NonFunctionalRequirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{HumanFactorRequirement}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Characteristics for the outcomes of interaction with human:HumanElement and human:Stakeholder

\textbf{Subclass of:}
\begin{itemize}
	\item NonFunctionalRequirement (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{PropertyOfInterest}
\label{subsubsec:PoI, Outcome Measures}

\todo{add @dc:description annotation to entity!}

The (single-valued) measurements extracted from performing experiments/analysis on a system, which aids in further analysis

\textbf{Subclass of:}
\begin{itemize}
	\item GeneralQuantity (see section \ref{subsubsec:general quantity})
\end{itemize}

\subsubsection{RequirementExpressPoI}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{RequirementPoIHaveUpperLimit}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{RequirementPoIHaveLowerLimit}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsection{}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/architecture\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary is composed of the following entities:

\subsection{Language sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/language\#\\
This ontology describes entities related to language, syntax, formalism, and semantics


The vocabulary is composed of the following entities:

\subsubsection{Language}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of concrete relizations of formalisms, with concrete syntaxes.

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ArtificialLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages that can be processed by machines

\textbf{Subclass of:}
\begin{itemize}
	\item Language (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{NaturalLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages spoken by humans

\textbf{Subclass of:}
\begin{itemize}
	\item Language (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ModelingLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Language (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ArchitectureDescriptionLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages for use in architecture descriptions

\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ConcreteModelingLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages that comprise an abstract and concrete syntax mapping function

\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{DomainSpecificLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of specialized languages that capture the specific concepts of domain

\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{FormalLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages that are based on well-defined semantics using mathematical foundations

\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ProgrammingLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}



\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ConstraintLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages used to express constraints / patterns

\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{TransformationLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of languages used to specify model transformations and rules

\textbf{Subclass of:}
\begin{itemize}
	\item ModelingLanguage (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{Syntax}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of rules, principles, and processes that govern the structure of sentences in a language

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{AbstractSyntax}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of syntax that only capture the essence of language and its concepts indpendently from user-notation

\textbf{Subclass of:}
\begin{itemize}
	\item Syntax (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ConcreteSyntax}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of syntax that users manipulate to build models from the language

\textbf{Subclass of:}
\begin{itemize}
	\item Syntax (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{GraphicalSyntax}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of concrete syntax that use visual elements like boxes and arroes to display sentences

\textbf{Subclass of:}
\begin{itemize}
	\item ConcreteSyntax (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{TextualSyntax}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of concrete syntax comprising sequences of characters from the alphabet grouped into words

\textbf{Subclass of:}
\begin{itemize}
	\item ConcreteSyntax (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{FormalismHaveAbstractSyntax}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{LanguageHaveConcreteSyntax}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}

\subsubsection{SyntacticMapping}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{Formalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

Formalisms are mathematical objects consisting of an abstract syntax and a formal semantics.

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{AutomataBasedFormalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of formalisms that are based on automata

\textbf{Subclass of:}
\begin{itemize}
	\item Formalism (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{HybridAutomataBasedFormalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}



\textbf{Subclass of:}
\begin{itemize}
	\item AutomataBasedFormalism (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{TimedAutomataBasedFormalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}



\textbf{Subclass of:}
\begin{itemize}
	\item HybridAutomataBasedFormalism (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{FlowBasedFormalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}



\textbf{Subclass of:}
\begin{itemize}
	\item Formalism (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{LogicBasedFormalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}



\textbf{Subclass of:}
\begin{itemize}
	\item Formalism (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{PetriNetBasedFormalism}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of formalisms based on Petri nets, used for describing distributed systems

\textbf{Subclass of:}
\begin{itemize}
	\item Formalism (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{FormalismRealizationLanguage}
\label{subsubsec:}

\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\\
This relation is: \textbf{inverse functional}

\subsubsection{Semantics}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

The set of meanings of sentences of a language

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{SemanticDomain}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Semantics (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{SemanticMapping}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\subsection{}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/mpm\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary is composed of the following entities:

\subsection{}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/model\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary is composed of the following entities:

\subsubsection{Model}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

A model is a physical/virtual representation of salient aspects of a system-under-study

\textbf{Subclass of:}
\begin{itemize}
	\item System (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ModelSubModel}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}

\subsubsection{SystemRelationModel}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{asymmetric}, \textbf{irreflexive}

\subsubsection{ModelRelationModel}
\label{subsubsec:}

\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\\
This relation is: 

\subsubsection{ModelConformsLanguage}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}

\subsubsection{Metamodel}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Model (see section \ref{subsubsec:})
	\item AbstractSyntax (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ModelConformsMetamodel}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: \textbf{asymmetric}

\subsubsection{ModelTransformation}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: 

\subsubsection{CapturingOperation}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: 

\subsubsection{RefinementRelation}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: 

\subsubsection{SynchronizationRelation}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\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\\
This relation is: 

\subsubsection{ConceptualModel}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Model (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ComputerModel}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Model (see section \ref{subsubsec:})
\end{itemize}

\subsection{}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/system/workflow\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary is composed of the following entities:

\section{}
\label{sec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/context/bundle\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary bundle is composed of the following vocabularies:

\subsection{Frame sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/context/frame\#\\
This ontology describes entities related to contexts and frames


The vocabulary is composed of the following entities:

\subsubsection{Context}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item IdentifiedElement (see section \ref{subsubsec:})
\end{itemize}

\textbf{COMMENT}: The abstract set of circumstances that form the setting for an event

\subsubsection{ContextContainment}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{reflexive}, \textbf{transitive}

\textbf{COMMENT}: The set of containment relations between contexts

\subsubsection{SystemContext}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Context (see section \ref{subsubsec:})
\end{itemize}

\textbf{COMMENT}: The abstract set of circumstances in which systems operate

\subsubsection{GoalContext}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item Context (see section \ref{subsubsec:})
\end{itemize}

\textbf{COMMENT}: The abstract set of circumstances of a particular goal associated with systems

\subsubsection{SystemHaveContext}
\label{subsubsec:}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\textbf{COMMENT}: The set of relations between systems and their contexts

\subsubsection{SystemGoalHaveContext}
\label{subsubsec:System-Goal-Context triplet}

\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\\
This relation is: \textbf{asymmetric}, \textbf{irreflexive}

\textbf{COMMENT}: The set of relations between goals and their contexts

\subsection{Experiment sub-ontology}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/context/experiment\#\\
This ontology describes entities related to experiment modelling


The vocabulary is composed of the following entities:

\section{}
\label{sec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/validity/bundle\#\\
\todo{add @dc:description annotation to vocabulary!}


The vocabulary bundle is composed of the following vocabularies:

\subsection{}
\label{subsec:}

NAMESPACE: http://msdl.uantwerpen.be/vocabulary/validity/indicators\#\\
\todo{add @dc:description annotation to vocabulary!}


\textbf{REFERENCE}: \url{https:\\doi.org/10.1177/1046878102238606}

The vocabulary is composed of the following entities:

\subsubsection{Validity}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{COMMENT}: Validity is the measure of a claim that it meets its goal. A model is a claim about the structure of a system. A simulation is a claim about the behavior of a system that is modeled. Hence, validity of models and simulations is a measure of their closeness to the system they intend to represent.

\subsubsection{RepresentationalValidity}
\label{subsubsec:Translational Validity}

\todo{add @dc:description annotation to entity!}

How well the idea of a theoretical construct is translated into and represented in an operational measure

\textbf{Subclass of:}
\begin{itemize}
	\item Validity (see section \ref{subsubsec:})
\end{itemize}

\subsubsection{ExternalValidity}
\label{subsubsec:Face Validity}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item RepresentationalValidity (see section \ref{subsubsec:Translational Validity})
\end{itemize}

\subsubsection{InternalValidity}
\label{subsubsec:Content Validity}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item RepresentationalValidity (see section \ref{subsubsec:Translational Validity})
\end{itemize}

\subsubsection{Accuracy}
\label{subsubsec:}

\todo{add @dc:description annotation to entity!}

\todo{add @resource:definition annotation to entity!}

\textbf{Subclass of:}
\begin{itemize}
	\item ExternalValidity (see section \ref{subsubsec:Face Validity})
\end{itemize}


\end{document}
