27.06.2013 Views

Proceedings of the 12th European Conference on Knowledge ...

Proceedings of the 12th European Conference on Knowledge ...

Proceedings of the 12th European Conference on Knowledge ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Thomas Janke<br />

S<str<strong>on</strong>g>of</str<strong>on</strong>g>twareQualityModel domain=”AAL” {<br />

QualityAspect : Maintainability<br />

QualityAspect : Expressivity isPartOf Maintainability Factor<br />

: TestCoverage positivelyImpacts Maintainability EntityType : SourceCode {<br />

influences TestCoverage by linesOfCode<br />

}<br />

EntityType<br />

: TestCase {<br />

influences TestCoverage by coveredSourceCode<br />

}<br />

...<br />

}<br />

Listing 4: DSL for describing s<str<strong>on</strong>g>of</str<strong>on</strong>g>tware quality in AAL systems<br />

For domain engineers, <str<strong>on</strong>g>the</str<strong>on</strong>g> domain descripti<strong>on</strong> is very cohesive because <str<strong>on</strong>g>the</str<strong>on</strong>g>re is just <strong>on</strong>e level <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

abstracti<strong>on</strong>. They do not have to import o<str<strong>on</strong>g>the</str<strong>on</strong>g>r models, in this case <str<strong>on</strong>g>the</str<strong>on</strong>g> Quamoco meta model, but can<br />

rely <strong>on</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g> provided vocabulary and<br />

syntax. During <strong>on</strong>tology generati<strong>on</strong>, though, this single<br />

descripti<strong>on</strong><br />

can be modularized into an <strong>on</strong>tology specifically describing s<str<strong>on</strong>g>of</str<strong>on</strong>g>tware quality aspects in <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

AAL domain and ano<str<strong>on</strong>g>the</str<strong>on</strong>g>r <strong>on</strong>e describing s<str<strong>on</strong>g>of</str<strong>on</strong>g>tware quality in general. The latter is <str<strong>on</strong>g>of</str<strong>on</strong>g> course derived<br />

from <str<strong>on</strong>g>the</str<strong>on</strong>g> given Quamoco meta model.<br />

Both example languages, provided as part <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> reference implementati<strong>on</strong>,<br />

illustrate that, depending<br />

<strong>on</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g> requirements <str<strong>on</strong>g>of</str<strong>on</strong>g> a given domain, various levels <str<strong>on</strong>g>of</str<strong>on</strong>g> abstracti<strong>on</strong> may<br />

be applied in order to foster<br />

<strong>on</strong>tology modeling. Fur<str<strong>on</strong>g>the</str<strong>on</strong>g>rmore, those DSLs are used to fur<str<strong>on</strong>g>the</str<strong>on</strong>g>r evaluate <str<strong>on</strong>g>the</str<strong>on</strong>g> presented approach.<br />

5. A domain-specific <strong>on</strong>tology engineering workbench<br />

In order to facilitate <str<strong>on</strong>g>the</str<strong>on</strong>g> domain modeling task for domain experts and to evaluate <str<strong>on</strong>g>the</str<strong>on</strong>g> applicability <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> proposed platform, we implemented a textual editor based <strong>on</strong> Eclipse and Xtext. The editor <str<strong>on</strong>g>of</str<strong>on</strong>g>fers<br />

syntax checking, code completi<strong>on</strong> and highlighting for <str<strong>on</strong>g>the</str<strong>on</strong>g> domain-specific language introduced in<br />

Secti<strong>on</strong> 4.4. Moreover, <str<strong>on</strong>g>the</str<strong>on</strong>g> editor allows <str<strong>on</strong>g>the</str<strong>on</strong>g> import and reuse <str<strong>on</strong>g>of</str<strong>on</strong>g> o<str<strong>on</strong>g>the</str<strong>on</strong>g>r domain descripti<strong>on</strong>s, ei<str<strong>on</strong>g>the</str<strong>on</strong>g>r<br />

created by means <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> same DSL or in form <str<strong>on</strong>g>of</str<strong>on</strong>g> OWL or RDF(S) <strong>on</strong>tologies. In additi<strong>on</strong>, we<br />

seamlessly integrated <str<strong>on</strong>g>the</str<strong>on</strong>g> <strong>on</strong>tology generati<strong>on</strong> process. Every time <str<strong>on</strong>g>the</str<strong>on</strong>g> domain model is edited, <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

workbench automatically generates <str<strong>on</strong>g>the</str<strong>on</strong>g> corresp<strong>on</strong>ding target <strong>on</strong>tologies, applying all registered<br />

<strong>on</strong>tology design patterns. As a result, <str<strong>on</strong>g>the</str<strong>on</strong>g> current domain model is reflected by c<strong>on</strong>crete <strong>on</strong>tologies at<br />

any time. The latter also introduces <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

possibility to review <str<strong>on</strong>g>the</str<strong>on</strong>g> changes applied to <str<strong>on</strong>g>the</str<strong>on</strong>g> <strong>on</strong>tology with<br />

regard to every modeling decisi<strong>on</strong>. Figure<br />

5 illustrates <str<strong>on</strong>g>the</str<strong>on</strong>g> implemented workbench by means <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

introduced modeling example.<br />

6. Summary and future work<br />

In order to mitigate <str<strong>on</strong>g>the</str<strong>on</strong>g> problems <str<strong>on</strong>g>of</str<strong>on</strong>g> language selecti<strong>on</strong> and lack <str<strong>on</strong>g>of</str<strong>on</strong>g> modeling expertise by domain<br />

engineers in <str<strong>on</strong>g>the</str<strong>on</strong>g> field <str<strong>on</strong>g>of</str<strong>on</strong>g> <strong>on</strong>tology engineering, a pattern-based <strong>on</strong>tology engineering platform has<br />

been proposed. The latter enables <str<strong>on</strong>g>the</str<strong>on</strong>g> use <str<strong>on</strong>g>of</str<strong>on</strong>g> domain-specific languages, reflecting <str<strong>on</strong>g>the</str<strong>on</strong>g> requirements<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> given domain, <strong>on</strong> top <str<strong>on</strong>g>of</str<strong>on</strong>g> a comm<strong>on</strong> <strong>on</strong>tology model. This does not <strong>on</strong>ly simplifies <str<strong>on</strong>g>the</str<strong>on</strong>g> modeling<br />

process but also introduces an additi<strong>on</strong>al layer <str<strong>on</strong>g>of</str<strong>on</strong>g> abstracti<strong>on</strong>. Based <strong>on</strong> that, c<strong>on</strong>crete <strong>on</strong>tologies in<br />

RDF(S) and OWL are generated. During <strong>on</strong>tology generati<strong>on</strong>, published modeling best practices, so<br />

called <strong>on</strong>tology design patterns, c<strong>on</strong>tributed by <strong>on</strong>tology experts are automatically and transparently<br />

applied. As a result, domain engineers can pr<str<strong>on</strong>g>of</str<strong>on</strong>g>it from <str<strong>on</strong>g>the</str<strong>on</strong>g> expertise <str<strong>on</strong>g>of</str<strong>on</strong>g> <strong>on</strong>tology experts without <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

need to know about <str<strong>on</strong>g>the</str<strong>on</strong>g> underlying logical formalisms. Apart from <str<strong>on</strong>g>the</str<strong>on</strong>g> architecture <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> platform, we<br />

introduced a reference<br />

implementati<strong>on</strong>, covering <str<strong>on</strong>g>the</str<strong>on</strong>g> most relevant comp<strong>on</strong>ents. This includes an<br />

implementati<strong>on</strong><br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> a comm<strong>on</strong> <strong>on</strong>tology model, <str<strong>on</strong>g>the</str<strong>on</strong>g> implementati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> a modular <strong>on</strong>tology generati<strong>on</strong><br />

comp<strong>on</strong>ent as well as <str<strong>on</strong>g>the</str<strong>on</strong>g> design <str<strong>on</strong>g>of</str<strong>on</strong>g> two domain-specific languages used to evaluate <str<strong>on</strong>g>the</str<strong>on</strong>g> c<strong>on</strong>cepts <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> platform.<br />

The main item for future work is to evaluate <str<strong>on</strong>g>the</str<strong>on</strong>g> ideas <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> platform in a bigger real world scenario. A<br />

corresp<strong>on</strong>ding study needs to reflect estimates about efforts for designing and maintaining <str<strong>on</strong>g>the</str<strong>on</strong>g> DSL,<br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> ease <str<strong>on</strong>g>of</str<strong>on</strong>g> use for domain experts as well as <str<strong>on</strong>g>the</str<strong>on</strong>g> quality <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> generated <strong>on</strong>tologies.<br />

In this c<strong>on</strong>text, it<br />

might also be necessary to adjust <str<strong>on</strong>g>the</str<strong>on</strong>g> expressivity <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> comm<strong>on</strong> <strong>on</strong>tology meta model. Potential<br />

candidates for extensi<strong>on</strong>s are <str<strong>on</strong>g>the</str<strong>on</strong>g> ability to formulate rules and <str<strong>on</strong>g>the</str<strong>on</strong>g> annotati<strong>on</strong> triples (e.g. via<br />

reificati<strong>on</strong>). Fur<str<strong>on</strong>g>the</str<strong>on</strong>g>rmore, we tend to implement patterns for F-Logic in <str<strong>on</strong>g>the</str<strong>on</strong>g> future.<br />

468

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!