Доменски оријентисани језици за формалну спецификацију докумената и различите визуелне интерпретације

Abstract

<p>У овој докторској дисертацији описани су резултати истраживања и практичне примене принципа доменског моделовања у формалној спецификацији и производњи докумената. Основу новог приступа чини инкрементална спецификација докумената путем доменских језика, при чему се истовремено описују статичка, динамичка и визуелна својства докумената. У теоријском делу рада тежиште је на решавању проблема учестаних варијација модела докумената и изради препорука за конструкцију доменских језика. У практичном делу приказана је корист од примене новог приступа у производњи и управљању документима и брзог развоја прототипова информационих система путем формалне спецификације докумената.</p>

<p>U ovoj doktorskoj disertaciji opisani su rezultati istraživanja i praktične primene principa domenskog modelovanja u formalnoj specifikaciji i proizvodnji dokumenata. Osnovu novog pristupa čini inkrementalna specifikacija dokumenata putem domenskih jezika, pri čemu se istovremeno opisuju statička, dinamička i vizuelna svojstva dokumenata. U teorijskom delu rada težište je na rešavanju problema učestanih varijacija modela dokumenata i izradi preporuka za konstrukciju domenskih jezika. U praktičnom delu prikazana je korist od primene novog pristupa u proizvodnji i upravljanju dokumentima i brzog razvoja prototipova informacionih sistema putem formalne specifikacije dokumenata.</p>

<p>This doctoral thesis describes the results of research and practical application of the principles of DSM in the formal specification and production of documents. The new approach is based on the in-cremental specification of documents using DSLs, at the same time describing the static, dynamic and layout characteristics. In the theoretical part of the paper the focus is on problem-solving of frequent model variations and making recommendations for the construction of DSL-s. In the practical part are demonstrated the benefits of the new approach in the production and management of documents and the rapid development of prototypes of infor-mation systems through a formal specification of documents.</p>