abstract: Several physical systems exist in the real world that involve continuous as well as discrete changes. These range from natural dynamic systems like the system of a bouncing ball to robotic dynamic systems such as planning the motion of a robot across obstacles. The key aspects of effectively describing such dynamic systems is to be able to plan and verify the evolution of the continuous components of the system while simultaneously maintaining critical constraints. Developing a framework that can effectively represent and find solutions to such physical systems prove to be highly advantageous. Both hybrid automata and action languages are formal models for describing the evolution of dynamic systems. The action language C+ is a rich and expressive language framework to formalize physical systems, but can be used only with physical systems in the discrete domain and is limited in its support of continuous domain components of such systems. Hybrid Automata is a well established formalism used to represent such complex physical systems at a theoretical level, however it is not expressive enough to capture the complex relations between the components of the system the way C+ does. This thesis will focus on establishing a formal relationship between these two formalisms by showing how to succinctly represent Hybrid Automata in an action language which in turn is defined as a high-level notation for answer set programming modulo theories (ASPMT) --- an extension of answer set programs in the first-order level. Furthermore, this encoding framework is shown to be more effective and expressive than Hybrid Automata by highlighting its ability in allowing states of a hybrid transition system to be defined by complex relations among components that would otherwise be abstracted away in Hybrid Automata. The framework is further realized in the implementation of the system CPLUS2ASPMT, which takes advantage of state of the art ODE(Ordinary Differential Equations) based SMT solver dReal to provide support for ODE based evolution of continuous components of a dynamic system. / Dissertation/Thesis / Masters Thesis Computer Science 2017

Golog is a powerful programming language for logic-based agents. The primitives of the language are actions whose preconditions and effects are defined in a Situation Calculus action theory using first-order logic. To describe possible courses of actions the programmer can freely combine imperative control structures with constructs for non-deterministic choice, leaving it to the system to resolve the non-determinism in a suitable manner. Golog has been successfully used for high-level decision making in the area of cognitive robotics. Obviously, it is important to verify certain properties of a Golog program before executing it on a physical robot. However, due to the high expressiveness of the language the verification problem is in general undecidable. In this thesis, we study the verification problem for Golog programs over actions defined in action languages based on Description Logics and explore the boundary between decidable and undecidable fragments.

The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.

The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.

Made available in DSpace on 2015-05-14T12:43:29Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 7611265 bytes, checksum: 8d35990e1bc5f7d686f142462d0a493d (MD5) Previous issue date: 2011-06-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work discusses the enunciative position in court rulings circulated on the Internet by addressing the judge as an agent of discursive formation. We intend to investigate the language activities expressed in the legal decisions, analyzing the language as verbal interaction mechanism, through the identification of subjectivity marks. In proposing this research we were concerned about if judges, authors of judicial decisions, impose in their speeches / texts trademarks of subjectivity that could impair the functionality of court ruling. The data analised in our work were subjected to a bibliographic survey with an interpretative nature, from the subsidies offered by the Applied Linguistics and the Sociodiscursive Interactionism theoretical methodological, especially in studies of Bronckart (1999) and Habermas (1989). The results subsidized inputs in the identification of occurrences of subjectivity marks, respectively with regard to the analysis of modalizations and also in their relation to the representations of the objective, social and / or subjective worlds. For this, we conducted a survey of atypical and personal court rulings broadcasted on the internet court sites to investigate the presence of discursive marks that could bring some semantic load that linked to the enunciative position of the transmitter / broadcaster with his evaluativse representations of the formal worlds. The results point to a personal involvement, discursively marked by the prevalence of appreciative and deontic modalizations, far beyond what is expected in this kind of text, revealing a speaker who breaks The Principle of Judicial Independence and Impartiality from the trial, greatly injuring another cornerstone principle of our Constitution: the dignity of the human being. / O presente trabalho aborda o posicionamento enunciativo nas sentenças judiciais veiculadas na internet, focando o magistrado como um agente de formação discursiva. Pretendemos investigar as atividades de linguagem expressas nas decisões jurídicas, analisando a linguagem como mecanismo de interação verbal, por meio da identificação de marcas de subjetividade. Ao propormos esta pesquisa tivemos como preocupação verificar se os magistrados, autores das decisões judiciais, imprimem em seus textosdiscursos marcas de subjetividade que pudessem comprometer a funcionalidade do gênero sentença judicial. Os dados analisados foram submetidos a um procedimento de pesquisa bibliográfica documental, de cunho interpretativo, a partir dos subsídios oferecidos pela Linguística Aplicada e dos aportes teórico-metodológicos do Interacionismo Sociodiscursivo, principalmente nos estudos de Bronckart (1999) e Habermas (1989). Tais aportes nos subsidiaram na identificação das ocorrências das marcas de subjetividade, respectivamente no que se refere à análise das modalizações e bem como na relação destas com as representações dos mundos objetivo, social e/ou subjetivo. Para isso, fizemos um levantamento de sentenças judiciais atípicas veiculadas em sites jurídicos e de posicionamento pessoal para investigar a presença de marcas discursivas que pudessem trazer certa carga semântica que vinculasse o posicionamento enunciativo do emissor/locutor com suas representações valorativas dos mundos formais. Os resultados apontam para um envolvimento pessoal, discursivamente marcado pela predominância de modalizações apreciativas e deônticas, muito além do que é esperado nesse tipo de gênero, revelando um locutor que afronta o princípio da obrigação de se manter distante da causa julgada, ferindo sobremaneira outro princípio basilar da nossa Constituição: o da dignidade da pessoa humana.

Executable and Translatable UML (xtUML) is a high level software development method where models are developed using UML diagrams and action language code. Model compilers can translate a model into another programming language which is then executable. When developing xtUML models one of the main benefits is that the documentation of the program is created at the same time as the program in the shape of UML diagrams. It is therefore also important that it is possible to create good UML diagrams that gives the reader a good and clear understanding of how the program works without having to look at the code. One problem is the use of arrays and structured data types in the models because they can make a model more difficult to understand and therefore it would be good to be able to refrain from using them and instead model arrays and structured data types as classes with relations between them. This becomes an issue when an array should be sent to another domain in the system because a lot of action language code must be written which is inconvenient. A solution to this problem would be to send class object instances directly to other domains. In this thesis a solution to the problem has been proposed along with alternate options of solving it. The proposed solution has also been implemented in an existing model compiler and the results show that the performance in compilation time is slower compared to when using the built-in arrays and structured data types, but faster or the same compared to letting the user write its own code for sending object instances. The execution time for a small model using the new solution has increased by a lot compared to using arrays and structured data types, and the size of the executable file has almost doubled but if bigger models are created this difference may become negligible.