<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">Extending a UML and OCL Tool for Multi-Levels: Applications towards Model Quality Assessment</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author>
							<persName><forename type="first">Khanh-Hoang</forename><surname>Doan</surname></persName>
							<affiliation key="aff0">
								<orgName type="department">Department of Computer Science</orgName>
								<orgName type="institution">University of Bremen</orgName>
								<address>
									<postCode>D-28334</postCode>
									<settlement>Bremen</settlement>
									<country key="DE">Germany</country>
								</address>
							</affiliation>
						</author>
						<author>
							<persName><forename type="first">Martin</forename><surname>Gogolla</surname></persName>
							<affiliation key="aff1">
								<orgName type="department">Department of Computer Science</orgName>
								<orgName type="institution">University of Bremen</orgName>
								<address>
									<postCode>D-28334</postCode>
									<settlement>Bremen</settlement>
									<country key="DE">Germany</country>
								</address>
							</affiliation>
						</author>
						<title level="a" type="main">Extending a UML and OCL Tool for Multi-Levels: Applications towards Model Quality Assessment</title>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">77A1E69D9BEB366B6A1A9FEC42105161</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-24T01:16+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>Currently, meta-and multi-level modelling is gaining more and more attention. A natural, upcoming question is, how to extend existing two-level approaches to cover multi-levels. In this contribution, we extend the UML and OCL tool USE in order to describe multi-level models. We also apply the extension to demonstrate the usefulness of multi-level modelling for model querying and model quality assessment.</p></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>I. INTRODUCTION</head><p>In this contribution we show how to upgrade a twolevel modeling tool to three levels of modeling by adding the OMG (Object Management Group) UML meta-model to the topmost level. In addition to this tool extension, we discuss reflective model querying as it plays an essential role. Therefore, we also present a reflective model querying approach using OCL for the meta-model. We apply metamodel queries for model quality evaluation. Developers can use an appropriate method to evaluate their model and find drawbacks and problems on it.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>II. META-MODELING IN TOOL USE</head><p>In the current contribution, we introduce an approach, in which the MOF architecture is integrated into USE for multilevel modelling. Roughly speaking, we now make the third OMG layer M2 explictily available, and an instance of the M2-model corresponding to the user model is added to the M1-layer. Fig. <ref type="figure" target="#fig_0">1</ref> shows the general schema for the three-level modeling in the new version of USE. </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>UML Meta model</head></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>Meta model instances</head></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>Run</head></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>III. APPLICATION: MODEL QUALITY ASSESSMENT</head><p>Model quality assessment helps modelers to detect errors or mistakes on their models. These assessment properties might include design properties, respecting naming conventions or metrics properties <ref type="bibr" target="#b1">[2]</ref>. We introduce a proposal that employs OCL utilizing the three-level modeling approach as presented before. Thus, we can automatically evaluate quality properties of a user model. Fig. <ref type="figure" target="#fig_1">2</ref> shows the workflow of our proposal for model quality evaluation, which uses reflective OCL constraints as a major ingredient. </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>IV. CONCLUSION</head><p>This contribution has proposed an extension of the tool USE that supports three-level modelling where the middle level can be seen at the same time as an object diagram, i.e., the instantiation of the meta model, and as a class diagram, i.e., the type model for the lower level. Based on these ideas, we present approaches for model quality assessment.</p></div><figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_0"><head>Fig. 1 .</head><label>1</label><figDesc>Fig. 1. General schema for the three-level modeling.</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_1"><head>Fig. 2 .</head><label>2</label><figDesc>Fig. 2. Worflow of model quality assessment process.</figDesc><graphic coords="1,342.82,352.92,189.38,149.06" type="bitmap" /></figure>
		</body>
		<back>
			<div type="references">

				<listBibl>

<biblStruct xml:id="b0">
	<analytic>
		<title level="a" type="main">USE: A UML-based Specification Environment for Validating UML and OCL</title>
		<author>
			<persName><forename type="first">M</forename><surname>Gogolla</surname></persName>
		</author>
		<author>
			<persName><forename type="first">F</forename><surname>Büttner</surname></persName>
		</author>
		<author>
			<persName><forename type="first">M</forename><surname>Richters</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Sci. Comput. Program</title>
		<imprint>
			<biblScope unit="volume">69</biblScope>
			<biblScope unit="issue">1-3</biblScope>
			<biblScope unit="page" from="27" to="34" />
			<date type="published" when="2007">2007</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b1">
	<analytic>
		<title level="a" type="main">Assessing the Quality of Meta Models</title>
		<author>
			<persName><forename type="first">J</forename><forename type="middle">J</forename><surname>López-Fernández</surname></persName>
		</author>
		<author>
			<persName><forename type="first">E</forename><surname>Guerra</surname></persName>
		</author>
		<author>
			<persName><forename type="first">J</forename><surname>De Lara</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">Proc. 11th Workshop MoDeVVa@MODELS</title>
				<meeting>11th Workshop MoDeVVa@MODELS</meeting>
		<imprint>
			<date type="published" when="2014">2014. 2014</date>
			<biblScope unit="page" from="3" to="12" />
		</imprint>
	</monogr>
</biblStruct>

				</listBibl>
			</div>
		</back>
	</text>
</TEI>
