OpenPonk: implementace parseru a interpretu OCL

Abstract

Tato bakalářská práce se zabývá návrhem a implementací syntaktické analýzy a interpreta OCL jazyka pro OpenPonk modelovací platformu v prostředí Pharo. Nejdříve se v práci popisuje OCL jazyk, algoritmy syntaktické analýzy, nástroje pro syntaktickou analýzu, které jsou dostupné ve Pharo prostředí (PetitParser, SmaCC). Dále se práce zabývá analýzou problémů a řešení, které vedly k výsledné implementaci OCL interpreta. Nakonec se funkčnost OCL interpreta ukáže na dodržování OntoUML modelových omezení.This bachelor thesis covers the creation of an OCL parser and interpreter for OpenPonk modeling platform in the Pharo environment. We describe the OCL language, parsing algorithms and parsing frameworks avaiable in Pharo (PetitParser, SmaCC). We then analyze problems and approaches that led to the final implementation of the OCL interpreter. In the end we show the interpreter functionality on OntoUML metamodel constraints.