аЯрЁБс>ўџ +-ўџџџ*џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџьЅСq`№ПbjbjqPqP4"::џџџџџџЄшшшшшшшќ  ќќ Ж(((((((({ } } } } } } $В hвЁ шУ((УУЁ шш((Ж _ _ _ УBш(ш({ _ У{ _ _ шш_ ( `јŒ€zЬ F_ { Ь 0ќ _ ьK ь_ _ єьшS ((Lt6_ Њ,жэ(((Ё Ё U (((ќ УУУУќќќќќќќќќшшшшшшџџџџ Tэtulo: Aplicaчѕes de contratos de transformaчуo-- Defesa: 17/10, рs 14h. -- Resumo: Desenvolvimento dirigida a modelo (DDM) щ uma abordagem para desenvolvimento de software com enfoque em modelos e nas suas transformaчѕes para a geraчуo de outros artefatos de software como cѓdigo, documentaчуo ou outros modelos em diferentes nэveis de abstraчуo. Contratos de transformaчуo (CT) щ uma abordagem para o desenvolvimento rigoroso de transformaчѕes de modelo que utiliza tщcnicas para verificaчуo e validaчуo formal de modelos e transformaчѕes de modelo. Se baseia numa percepчуo simples, porщm expressiva, de que uma transformaчуo de modelos pode ser vista como um modelo e, como tal, tщcnicas de modelagem, verificaчуo e validaчуo aplicсveis р um modelo sуo tambщm aplicсveis р uma transformaчуo de modelos. Este trabalho apresenta duas aplicaчѕes de CT em contextos diferentes: (i) uma transformaчуo de modelos descritos na Unified Modeling Language para Enterprise Java Beans; (ii) uma transformaчуo de modelos descritos na Seismic Domain Modeling Language (SDML), uma linguagem de modelagem para aplicaчѕes sэsmicas, para cѓdigo-fonte paralelo. Estas aplicaчѕes exploram o uso de CT com linguagens de propѓsito geral e domэnio-especэfico, respectivamente. O CT para o domэnio sэsmico щ resultado de um projeto de pesquisa em parceria com o Schlumberger Brazil Research & Geoengineering Center. Nas duas aplicaчѕes foram utilizadas duas tщcnicas de verificaчуo e validaчуo formais. A verificaчуo de consistъncia щ feita atravщs de um mapeamento de modelos р teorias em lѓgica de descriчуo (DL, sigla em inglъs), permitindo a verificaчуo de consistъncia dos modelos e da transformaчуo. A validaчуo da semтntica estсtica das linguagens de modelagem e das transformaчѕes щ feita pela aplicaчуo de invariantes, descritos na Object Constraint Language (OCL) sobre cada modelo. As principais contribuiчѕes deste trabalho sуo: (i) uma formalizaчуo do processo de DDM com CT utilizando OCL e DL; (ii) o desenvolvimento de uma infraestrutura de suporte, na forma de um biblioteca chamada TCLib, р implementaчуo de transformaчѕes de modelo seguindo a abordagem de contratos de transformaчуo; (iii) a incorporaчуo de verificaчуo de consistъncia baseada em lѓgica de descriчуo р TCLib; (iv) o desenvolvimento de dois experimentos nуo-triviais р tщcnica de CT fazendo uso da TCLib. Palavras-chave: Contratos de transformaчуo, transformaчуo de modelos, desenvolvimento dirigido р modelos, mщtodos formais, engenharia de software. -- Abstract: Model-driven development (MDD) is a software development approach that relies on models and its transformations to generate other artifacts such as source-code, documentation and other models at different levels of abstraction. Transformation contracts (TC) is a rigorous approach to the development of model transformations that uses techniques for formal verification and validation of models and model transformations. In the TC approach, a model transformation is interpreted as a model. Hence, model specification, verification and validations techniques are also applicable to a model transformation. This dissertation presents two applications of TC in different contexts: (i) a transformation of models described in the Unified Modeling Language to Enterprise Java Beans; (ii) a transformation of models described in Seismic Domain Modeling Language (SDML), a modeling language for seismic applications, to source code with support to parallelism. These applications exploit the use of TC with general-purpose and domain-specific languages, respectively. The latter application is the result of a research project in collaboration with Schlumberger Brazil Research & Geoengineering Center. Both applications used two techniques of formal verification and validation of models and model transformations. Consistency checking is achieved through a mapping from models to description logic (DL) theories. The validation of the static semantics of modeling languages and transformations is done by applying invariants, described in the Object Constraint Language (OCL). The main contributions of this work are: (i) a formalization of the MDD process with CT using OCL and DL; (ii) the development of a library called TCLib to support the implementation of model transformation using the transformation contracts approach; (iii) the inclusion of consistency checking based into TCLib; (iv) the development of two non-trivial experiments using TC and TCLib. Keywords: Transformation contract, model transformation, model-driven development, formal methods, software engineering.  Ж М б  " ? r 8CжсуќєќєќєќєќєќщкЯкЯhbKгhbKгmH sH hйVNhbKгCJaJmH sH hйVNhbKгCJaJhbKгhbKг6hbKгJUCжу‹Œњњђњњњњњ$a$gdbKгgdbKгў21h:pйVNА‚. АЦA!АЅ"АЅ#Я$‰%ААФАФ Ф†œ@@ёџ@ NormalCJ_HaJmHsHtH>A@ђџЁ> Fonte parсg. padrуoTi@ѓџГT  Tabela normalі4ж l4жaі ,k@єџС, Sem listaBўOђB %8Estilo1*$G$56CJaJtH"џџџџJUC ж у ‹Œ˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€JUC ж у ‹ŒKШ0ЗKШ0ЗKШ0ЗKШ0ЗKШ0ЗKШ0€IШ0€IШ0€џџ|'Œ )}'t‹*~'ЌЅ)'tЃ)€'\T)[[ho‰gnˆ=*€urn:schemas-microsoft-com:office:smarttags €PlaceType€=*€urn:schemas-microsoft-com:office:smarttags €PlaceName€9*€urn:schemas-microsoft-com:office:smarttags€place€ Є7•ЄЅ­ЎЖЬб  "?KLRS[^l$%/08фђ!&нт< A C Q Œ  zˆ34œЁ<A„‰no)2ЧЩЂ Ѓ !'[їVDgsZќїVDgP !'[%-я !'[P%Y6їVDgO7їVDgœgj<їVDg rя?їVDgоjC!'[lмLїVDgа*вX rя?kbcїVDgїVDgЊZp rя?'xz rя?Ъl~!'[p-їVDgх%8йVNbKгЎ#хџ@€'@P@џџUnknownџџџџџџџџџџџџG‡z €џTimes New Roman5€Symbol3& ‡z €џArial"qˆ№ФЉњКљІЛљІа5  а5 !№ЅЯДД24ќќ2ƒ№HP)№џ?фџџџџџџџџџџџџџџџџџџџџџbKг2џџHTэtulo: Aplicaчѕes de contratos de transformaчуo-- Defesa: 17/10, рs 14hTeresaTeresaўџр…ŸђљOhЋ‘+'Гй0Д˜ьј 4 DP p | ˆ”œЄЌфLTэtulo: Aplicaчѕes de contratos de transformaчуo-- Defesa: 17/10, рs 14hTeresa Normal.dotTeresa3Microsoft Office Word@Œ†G@ Ј/zЬ@˜.wzЬа5ўџеЭеœ.“—+,љЎ00 hp|„Œ” œЄЌД М фUFF  ќ' ITэtulo: Aplicaчѕes de contratos de transformaчуo-- Defesa: 17/10, рs 14h Tэtulo ўџџџўџџџ !ўџџџ#$%&'()ўџџџ§џџџ,ўџџџўџџџўџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџRoot Entryџџџџџџџџ РF@P›€zЬ.€1TableџџџџџџџџWordDocumentџџџџџџџџ4"SummaryInformation(џџџџDocumentSummaryInformation8џџџџџџџџџџџџ"CompObjџџџџџџџџџџџџuџџџџџџџџџџџџџџџџџџџџџџџџўџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџўџ џџџџ РF#Documento do Microsoft Office Word MSWordDocWord.Document.8є9Вq