The Design and Analysis of Context-Aware, Secure Workflow Systems

Workflows are set of activities that implement and realise business goals. Modern business goals add extra requirements on workflow systems and their management. Workflows may cross many organisations and utilise services on a variety of devices and/or supported by different platforms. Current workflows are therefore inherently context-aware. Each context is governed and constrained by its own policies and rules to prevent unauthorised participants from executing sensitive tasks and also to prevent tasks from accessing unauthorised services and/or data. We present a sound and multi-layered design language for the design and analysis of secure and context aware workflows systems.

Modernizing Legacy Physics Applications for Reuse in Web and SOA

This paper concerns the application of recent information technologies for creating a software system for numerical simulations in the domain of plasma physics and in particular metal vapor lasers. The presented work is connected with performing modernization of legacy physics software for reuse on the web and inside a Service-Oriented Architecture environment. Applied and described is the creation of Java front-ends of legacy C++ and FORTRAN codes. Then the transformation of some of the scientific components into web services, as well as the creation of a web interface to the legacy application, is presented. The use of the BPEL language for managing scientific workflows is also considered.

Importance and Benefits of OPEN SCIENCE for Ubiquitous Sharing, Dissemination and Impact

While openness is well applied to software development and exploitation (open sources), and successfully applied to new business models (open innovation), fundamental and applied research seems to lag behind. Even after decades of advocacy, in 2011 only 50% of the public-funded research was freely available and accessible (Archambault et al., 2013). The current research workflows, stemming from a pre-internet age, result in loss of opportunity not only for the researchers themselves (cf. extensive literature on topic at Open Access citation project, http://opcit.eprints.org/), but also slows down innovation and application of research results (Houghton & Swan, 2011). Recent studies continue to suggest that lack of awareness among researchers, rather than lack of e-infrastructure and methodology, is a key reason for this loss of opportunity (Graziotin 2014). The session will focus on why Open Science is ideally suited to achieving tenure-relevant researcher impact in a “Publish or Perish” reality. Open Science encapsulates tools and approaches for each step along the research cycle: from Open Notebook Science to Open Data, Open Access, all setting up researchers for capitalising on social media in order to promote and discuss, and establish unexpected collaborations. Incorporating these new approaches into a updated personal research workflow is of strategic beneficial for young researchers, and will prepare them for expected long term funder trends towards greater openness and demand for greater return on investment (ROI) for public funds.

Automated Assessment Through Integration of Heterogeneous Systems with a Workflow Engine

Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2015

Using observation ageing to improve Markovian model learning in QoS engineering

Markovian models are widely used to analyse quality-of-service properties of both system designs and deployed systems. Thanks to the emergence of probabilistic model checkers, this analysis can be performed with high accuracy. However, its usefulness is heavily dependent on how well the model captures the actual behaviour of the analysed system. Our work addresses this problem for a class of Markovian models termed discrete-time Markov chains (DTMCs). We propose a new Bayesian technique for learning the state transition probabilities of DTMCs based on observations of the modelled system. Unlike existing approaches, our technique weighs observations based on their age, to account for the fact that older observations are less relevant than more recent ones. A case study from the area of bioinformatics workflows demonstrates the effectiveness of the technique in scenarios where the model parameters change over time.

A domain specific modeling approach for coordinating user-centric communication services

Rapid advances in electronic communication devices and technologies have resulted in a shift in the way communication applications are being developed. These new development strategies provide abstract views of the underlying communication technologies and lead to the so-called user-centric communication applications. One user-centric communication (UCC) initiative is the Communication Virtual Machine (CVM) technology, which uses the Communication Modeling Language (CML) for modeling communication services and the CVM for realizing these services. In communication-intensive domains such as telemedicine and disaster management, there is an increasing need for user-centric communication applications that are domain-specific and that support the dynamic coordination of communication services commonly found in collaborative communication scenarios. However, UCC approaches like the CVM offer little support for the dynamic coordination of communication services resulting from inherent dependencies between individual steps of a collaboration task. Users either have to manually coordinate communication services, or reply on a process modeling technique to build customized solutions for services in a specific domain that are usually costly, rigidly defined and technology specific. ^ This dissertation proposes a domain-specific modeling approach to address this problem by extending the CVM technology with communication-specific abstractions of workflow concepts commonly found in business processes. The extension involves (1) the definition of the Workflow Communication Modeling Language (WF-CML), a superset of CML, and (2) the extension of the functionality of CVM to process communication-specific workflows. The definition of WF-CML includes the meta-model and the dynamic semantics for control constructs and concurrency. We also extended the CVM prototype to handle the modeling and realization of WF-CML models. A comparative study of the proposed approach with other workflow environments validates the claimed benefits of WF-CML and CVM.^

Methods for modeling and analyzing concurrent software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Uma abordagem para evolução e reconciliação de linhas de produtos de software clonadas

Software product line engineering promotes large software reuse by developing a system family that shares a set of developed core features, and enables the selection and customization of a set of variabilities that distinguish each software product family from the others. In order to address the time-to-market, the software industry has been using the clone-and-own technique to create and manage new software products or product lines. Despite its advantages, the clone-and-own approach brings several difficulties for the evolution and reconciliation of the software product lines, especially because of the code conflicts generated by the simultaneous evolution of the original software product line, called Source, and its cloned products, called Target. This thesis proposes an approach to evolve and reconcile cloned products based on mining software repositories and code conflict analysis techniques. The approach provides support to the identification of different kinds of code conflicts – lexical, structural and semantics – that can occur during development task integration – bug correction, enhancements and new use cases – from the original evolved software product line to the cloned product line. We have also conducted an empirical study of characterization of the code conflicts produced during the evolution and merging of two large-scale web information system product lines. The results of our study demonstrate the approach potential to automatically or semi-automatically solve several existing code conflicts thus contributing to reduce the complexity and costs of the reconciliation of cloned software product lines.

Cloud Stratus: uma plataforma de middleware para desenvolvimento de aplicações em nuvem

Cloud Computing is a paradigm that enables the access, in a simple and pervasive way, through the network, to shared and configurable computing resources. Such resources can be offered on demand to users in a pay-per-use model. With the advance of this paradigm, a single service offered by a cloud platform might not be enough to meet all the requirements of clients. Ergo, it is needed to compose services provided by different cloud platforms. However, current cloud platforms are not implemented using common standards, each one has its own APIs and development tools, which is a barrier for composing different services. In this context, the Cloud Integrator, a service-oriented middleware platform, provides an environment to facilitate the development and execution of multi-cloud applications. The applications are compositions of services, from different cloud platforms and, represented by abstract workflows. However, Cloud Integrator has some limitations, such as: (i) applications are locally executed; (ii) users cannot specify the application in terms of its inputs and outputs, and; (iii) experienced users cannot directly determine the concrete Web services that will perform the workflow. In order to deal with such limitations, this work proposes Cloud Stratus, a middleware platform that extends Cloud Integrator and offers different ways to specify an application: as an abstract workflow or a complete/partial execution flow. The platform enables the application deployment in cloud virtual machines, so that several users can access it through the Internet. It also supports the access and management of virtual machines in different cloud platforms and provides services monitoring mechanisms and assessment of QoS parameters. Cloud Stratus was validated through a case study that consists of an application that uses different services provided by different cloud platforms. Cloud Stratus was also evaluated through computing experiments that analyze the performance of its processes.

Análise textual das representações discursivas no discurso político brasileiro: o discurso da primeira posse da presidenta Dilma Rousseff (1°/01/2011)

Cette recherche décrit la représentation discursive que la présidente Dilma Rousseff fait de soi-même, dans son discours devant le Congrès National, lors de la journée d’investiture, le 1/1/2011. Notre travail se situe dans le domaine théorique et méthodologique de la linguistique du texte et, plus spécialement, dans la perspective de l’Analyse Textuelle des Discours – ATD (ADAM, 2011 [2008a]), qui se définit comme « une théorie de la production co(n)textuelle de sens qui doit se fonder sur l’analyse de textes concrets ». Elle nous fournit la notion théorique et analytique de « représentation discursive », qui se focalise sur la dimension sémantique du texte. Nous nous appuyons, aussi, sur des travaux récents sur les représentations discursives, réalisés dans la recherche brésilienne sur l’ATD (RODRIGUES, PASSEGGI, SILVA NETO, 2010, 2012; RAMOS, 2011; OLIVEIRA, 2013; QUEIROZ, 2013; ZAMBLANO-OLIVEIRA, PASSEGGI, 2013). Les principales opérations sémantiques de construction de la représentation discursive utilisées dans notre travail sont la Référenciation et la Prédication. L’approche méthodologique est, en même temps, qualitative et quantitative, priorisant l’identification des occurrences, ainsi que la description détaillée de leurs valeurs sémantiques et textuelles. Les résultats de la recherche sont de trois ordres : méthodologique, théorique et descriptif-interprétatif. Méthodologique : nous proposons une approche que nous désignons comme « marquage textuel » (ou « mappage textuel ») qui permet de marquer (étiqueter) les valeurs sémantiques des formes linguistiques, permettant leur identification dans le flux textuel, c.-à-d., dans la dimension séquentiellecompositionnelle du texte. Théorique : nous introduisons la notion de « domaines de la représentation discursive » qui organisent et articulent les différents éléments qui composent la représentation discursive de la présidente. Quant aux résultats descriptifsinterprétatifs du discours de l’investiture, ils indiquent que la représentation discursive de la présidente se configure au moyen de différents domaines conceptuels, explicités par les référenciations et les prédications. Ils mettent en relief les désignations et les actions / états, aussi bien de la femme – domaine du genre – que de la présidente – domaine du rôle politique et institutionnel. La présidente se représente explicitement et avec emphase comme l’agent responsable par les actions exprimées par les prédications verbales (verbes d’action), consciente de l’importance de son rôle politique et social. Les prédications nominales signalent clairement une représentation discursive qui englobe les domaines conceptuels politique, moral, éthique, comportemental et émotionnel (forte, accueillante, pionnière, consolidatrice, infatigable, humble, engagée, démocrate, victorieuse et courageuse). Le discours d’investiture réalise, donc, des désignations positives de la présidente, lesquelles se situent dans un temps présent et prospectif – avec des perspectives de futur – comme leader politique du Brésil, avec une participation active dans la transformation du pays, tenant compte aussi de son histoire de vie, sa biographie de luttes. Ainsi, la description empirique et l’interprétation de ce discours particulier contribue à l’analyse textuelle des représentations discursives dans le discours politique brésilien contemporain. Elle soulève, aussi, des questions théoriques et méthodologiques qui nous semblent pertinentes pour le développement de cette aproche.

Motivações semântico-cognitivas e discursivo-pragmáticas no uso de sufixos graduadores nominais

We study the use of nominal suffixes of degree, such as -inho, -ão, -íssimo, -ílimo, -érrimo in written texts in Brazilian Portuguese, by focusing on semantic, cognitive, pragmatic and discourse aspects involved in using these suffixes. In general, we aim to identify semanticcognitive and discourse-pragmatic factors that motivate the usage of nominal suffixes of degree and to contribute for the study of degree in Portuguese class in Basic Education. The theoretical perspective underlying our research is the Linguística Funcional Centrada no Uso, as conceived by group of researchers of Discurso & Gramática (FURTADO DA CUNHA, BISPO, SILVA, 2013; MARTELOTTA, 2011). According to this theoretical model, language model uses the shape of the grammar of a language at the same time they are provisioned for it. In this sense, speech and grammar influence each other. In terms of methodology, we make an eminently qualitative research with quantitative support as evidence of use of trend. It is characterized also by descriptive and interpretive bias of the phenomenon under study. Empirical evidence from our analysis come from a corpus consisting of written texts from Veja magazine, January to June 2011 issues, particularly Carta do Leitor e Gente sections, the latter representative of the Coluna Social magazine. The results of our analysis showed that the use of nominal graders suffixes are related to semantic-cognitive factors (construction of certain text directions, the association more grounded aspects of concrete experience or the more abstract meanings, for example), the discourse-pragmatic issues (range certain communicative purposes, as critique, judge, mock, claim, involving the reader, seeking her membership of a particular point of view). In addition, we found that the use of these morphic elements in genres of the sample analyzed were related to the subjectivity of the writer and the inter-subjective issues involving writer and reader, as Traugott and Dasher (2002). Finally, we contemplate discussion about the approach of our object of study in Portuguese classes in Basic Education.

O direito fundamental à igualdade no contexto da identidade sexual no Brasil: um estudo da situação jurídico-constitucional com ênfase no exame da suposta inconstitucionalidade por omissão do legislador civil

This dissertation analyses the Brazilian Supreme Court’s judgement in the Non-compliance Action of the Fundamental Precept 132/RJ and in the Direct Action of Unconstitutionality 4277/DF, which created in the country the same-sex civil union. In This decision, the STF interpreted according to the constitution Article 1.723 of the Civil Code, invoking several fundamentals reaffirmed in the Constitution. From all these laws invoked by the Supreme Court to support the pretorian creation, the content of consitutional Law regarding equality is the only that corresponds, and it is sufficient to evidence the necessity of the creation, by legislator, of the institute for civil rights, since the Constitution forbids distinctions that is not expressly provided for in the Constitution (Art. 3º, IV, of Federal Constitution). In this way, Article 226, § 3º is not an exception capable of satisfying the condition of the consitutional foresight because although it protect, according its content only the civil union “between the man and the woman”, it is not able to forbid the creation, by legislator, of another kinds of families, including the same-sex civil union. As such, the reasoning, now legitimate according to the legislator, is not support the creation of institute by Constitutional Court, because the Court may enforce the Law, interpreting in the purviews allowed by the legal text and its constitutionality. In regard to the civil union of individuos of the same sex, the Court could not deduce that such union was implied by Law, like the interpretation according to the Constitution given by judges, on grounds of semantic purviews of the words man and woman, existents in both articles. The Court could not created it either, exceeding the legal system role. So, upon the institute creation, the STF, exceeded two limits: the interpretation and Law enforcement.

Entre cartas e contos na sala de aula: diálogos e afetos em textos de Mário de Andrade e Câmara Cascudo

Specific educational material production for a group of level IV – 8th and 9th years of Youth and Adults Education, having as starting point the reading of a series of letter of correspondence between Câmara Cascudo and Mário de Andrade in the 1920s, and the verification of the way the dialog between the two authors reveals elements that transpire themselves in the tale entitled “Piá não sofre? Sofre”, from the book Os contos de Belazarte, de Mário de Andrade. The educational material production was preceded by the analysis of the selected tale, which will be studied along with some of the letters, in an analysis of the textual, discursive and semantic features of the text in representation of these both genres: letter and tale. The selected tale was written between 1923 and 1926, dates close to the years when the author came by Rio Grande do Norte state, in the years from 1927 to 1929, accompanied by Câmara Cascudo, being also this period that there are records of letters in the set of correspondence between them. To the reading of the selected material, it was used theoretical references from literature and literary historiography, especially the history of Brazilian modernist movement. To the production of the educational material, it was chosen as theoretical reference the accumulated knowledge in the area of literature teaching, literacy and the recommendations of the Brazilian National Curriculum Parameters. The methodology in this study was constructed from the theoretical references and had as basic support the study of didactic sequences from which a specific thematic unit got its shape from, required by the analyzed material and tested in a classroom.

Entre cartas e contos na sala de aula: diálogos e afetos em textos de Mário de Andrade e Câmara Cascudo

Specific educational material production for a group of level IV – 8th and 9th years of Youth and Adults Education, having as starting point the reading of a series of letter of correspondence between Câmara Cascudo and Mário de Andrade in the 1920s, and the verification of the way the dialog between the two authors reveals elements that transpire themselves in the tale entitled “Piá não sofre? Sofre”, from the book Os contos de Belazarte, de Mário de Andrade. The educational material production was preceded by the analysis of the selected tale, which will be studied along with some of the letters, in an analysis of the textual, discursive and semantic features of the text in representation of these both genres: letter and tale. The selected tale was written between 1923 and 1926, dates close to the years when the author came by Rio Grande do Norte state, in the years from 1927 to 1929, accompanied by Câmara Cascudo, being also this period that there are records of letters in the set of correspondence between them. To the reading of the selected material, it was used theoretical references from literature and literary historiography, especially the history of Brazilian modernist movement. To the production of the educational material, it was chosen as theoretical reference the accumulated knowledge in the area of literature teaching, literacy and the recommendations of the Brazilian National Curriculum Parameters. The methodology in this study was constructed from the theoretical references and had as basic support the study of didactic sequences from which a specific thematic unit got its shape from, required by the analyzed material and tested in a classroom.

Dançando a carne: uma poética do corpo no mito adâmico

In this dissertation we reflect about sensitive the dimension of the body, which enables us to participate in mythical space and set him as a potential space for artistic creation in dance, experience provider in senses for world, for life and for existence. It´s a written, thrashing some reflections on the human condition from a gaze cast upon the myth of Adam, leading us to think about the possible relationships between art and myth in contemporary times, as fields of knowledge open to creation, and semantic spaces able to assign new meanings to living through the pulsations of a body that is myth and what is dance. One of the goals of this study is set up a new point of view to analyze the Adam's myth, enabling to new interpretations, meanings and understandings from the experience in the process of creation in contemporary dance. Therefore, methodologically reference is made in the Phenomenology, or rather the phenomenological attitude proposed by Merleau-Ponty (1994), which considers the experience of the body as the primary source of knowledge. Dipping on this process of creation in contemporary dance, one artistic and choreographic work was originated, titled "The Body I am”, in contemplation of this dance that echoes the mystery, that emerges from the depths of the body, and it brings to the human surface and your world, your relationships. Realize that dance is as a sensitive guide and counselor reflections ontological and epistemological, able to validate and perpetuate the myth whereas ancestral wisdom inheritance.