JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Uma arquitetura de referência para o desenvolvimento de sistemas interativos multiplataformas

It is increasingly common use of a single computer system using different devices - personal computers, telephones cellular and others - and software platforms - systems graphical user interfaces, Web and other systems. Depending on the technologies involved, different software architectures may be employed. For example, in Web systems, it utilizes architecture client-server - usually extended in three layers. In systems with graphical interfaces, it is common architecture with the style MVC. The use of architectures with different styles hinders the interoperability of systems with multiple platforms. Another aggravating is that often the user interface in each of the devices have structure, appearance and behaviour different on each device, which leads to a low usability. Finally, the user interfaces specific to each of the devices involved, with distinct features and technologies is a job that needs to be done individually and not allow scalability. This study sought to address some of these problems by presenting a reference architecture platform-independent and that allows the user interface can be built from an abstract specification described in the language in the specification of the user interface, the MML. This solution is designed to offer greater interoperability between different platforms, greater consistency between the user interfaces and greater flexibility and scalability for the incorporation of new devices

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Crítica ao fundacionismo cartesiano com base no argumento contra a linguagem privada

This assignment ains to prove the pertinency of using the wittgenstein´s argument against private language as a criticism to cartesian fundacionism. Therefore, I want to demonstrate in the first chaper the conceptual viability of facing the cartesian argument of cogito not as a simple silogism but as an exemple of a private experience (process of thinking). At the second chaper, the subordination of the argument against private language give us the idea that rules can only be followed by means of corrections givem by a linguistic community that is external to the private subject, in a way to be unviable the assumption that is possible to name an internal experience without searching external rules of the use of terms. At the chaper 3 the pertinency of the hypothesis raised by A. Kenny, about the overtaking of the argument against private language can be extended to the idea of epistemic and ontologic privacy that would lend validity to the fundacion present at the argument at the cartesian cogito. In oder to become evident the pertinency of use of Wittgenstein´s argument agaist Descartes´ fundation, it´s necessary, at the chaper 3, to demonstrate the impertinency of the objection to the A. Kenny´s hypothesis, based on the experiency of the thought of the brain at the recipient, to make clear the incompatibility existing between the cartesian idea of cogito and Wittgenstein´s notion that language is an activitie followed by rules, wich correction criterion may be external and intersubjective

As estratégias de negação variantes no inglês falado: uma comparação com o português

The general aim of this work is to verify the occurence of variant forms of negation in spoken English with the purpose of making a comparative study between the English and the Portuguese languages. As for Portuguese, we used as a matter of reference a study already made on negation. As for English, we analized a corpus of the North American English variant organized by a university in the United States. This study is based on the North American Functional Linguistics theoretical perspective, which considers relevant the study of language used in real situations of communicative interaction. The data analisys proved that there is at least one form of negative variant in spoken English which is not allowed by prescriptive grammar. This phenomenon turns out to be similar to Portuguese, which includes three variant strategies. According to the data obtained, it was possible to verify that the variant strategy used in English, from a contrastive point of view, corresponds to a negative strategy ruled by Portuguese prescriptive grammar. Finally, we discussed about the different conceptions of language, grammar and teaching, giving suggestions to colaborate to a productive and reflexive teaching of first or second language