Modelling the Provenance of Data in Autonomous Systems

Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be demonstrably rigorous for the result to be deemed reliable. A provenance system supports applications in recording adequate documentation about process executions to answer queries regarding provenance, and provides functionality to perform those queries. Several provenance systems are being developed, but all focus on systems in which the components are textitreactive, for example Web Services that act on the basis of a request, job submission system, etc. This limitation means that questions regarding the motives of autonomous actors, or textitagents, in such systems remain unanswerable in the general case. Such questions include: who was ultimately responsible for a given effect, what was their reason for initiating the process and does the effect of a process match what was intended to occur by those initiating the process? In this paper, we address this limitation by integrating two solutions: a generic, re-usable framework for representing the provenance of data in service-oriented architectures and a model for describing the goal-oriented delegation and engagement of agents in multi-agent systems. Using these solutions, we present algorithms to answer common questions regarding responsibility and success of a process and evaluate the approach with a simulated healthcare example.

Dynamically Adapting BDI Agent Architectures based on High-level User Specifications

Users are facing an increasing challenge of managing information and being available anytime anywhere, as the web exponentially grows. As a consequence, assisting them in their routine tasks has become a relevant issue to be addressed. In this paper, we introduce a software framework that supports the development of Personal Assistance Software (PAS). It relies on the idea of exposing a high level user model in order to increase user trust in the task delegation process as well as empowering them to manage it. The framework provides a synchronization mechanism that is responsible for dynamically adapting an underlying BDI agent-based running implementation in order to keep this high-level view of user customizations consistent with it.

Automating the product derivation process of multi-agent systems product lines

Agent-oriented software engineering and software product lines are two promising software engineering techniques. Recent research work has been exploring their integration, namely multi-agent systems product lines (MAS-PLs), to promote reuse and variability management in the context of complex software systems. However, current product derivation approaches do not provide specific mechanisms to deal with MAS-PLs. This is essential because they typically encompass several concerns (e.g., trust, coordination, transaction, state persistence) that are constructed on the basis of heterogeneous technologies (e.g., object-oriented frameworks and platforms). In this paper, we propose the use of multi-level models to support the configuration knowledge specification and automatic product derivation of MAS-PLs. Our approach provides an agent-specific architecture model that uses abstractions and instantiation rules that are relevant to this application domain. In order to evaluate the feasibility and effectiveness of the proposed approach, we have implemented it as an extension of an existing product derivation tool, called GenArch. The approach has also been evaluated through the automatic instantiation of two MAS-PLs, demonstrating its potential and benefits to product derivation and configuration knowledge specification.

Organizações não governamentais (ONGs) e mercado: estudo de campo de um inevitável choque de racionalidades

Aquilo que passamos a entender como racional e lógico a partir da era moderna, provê um esquema mental para tomada de ações que carrega um arcabouço de premissas e valores consigo. Essas regras visam a maximização utilitária das consequências, esvaziadas de qualquer valor subjetivo. Weber (1994) classificou acessoriamente esse esquema como “racionalidade instrumental”, que se caracteriza por ser orientada pelos fins, meios e consequências da ação. Em contraposição, definiu ainda a “racionalidade substantiva”, postulada nos valores do sujeito, que não se orienta por quaisquer consequências da ação. Muitos autores partiram dessas racionalidades para representar a dualidade que acomete o mundo a partir da centralidade do mercado e sua lógica instrumental, mas foi Guerreiro Ramos (1989) quem deu contundente contribuição ao estudo das organizações separando diferentes enclaves sociais, nos quais as racionalidades seriam mais adequadas em um ou outro espaço. Nesse contexto, o mercado é um enclave importante e legítimo, mas apartado de outros, nos quais as relações sociais existem para servir o sujeito. Esse trabalho, fundamentado na Teoria Crítica, reconhece que as ONGs (Organizações Não Governamentais) devem pertencer a um campo distinto daquele das empresas econômicas, por se basearem em racionalidades diferentes das mesmas. Foi realizada uma pesquisa de campo junto a cinco organizações sem fins lucrativos, com fins declarados de ação social (Harmonicanto, Reviverde, ACAM, Observatório de Favelas e Bola pra Frente), buscando identificar as influências desviacionistas que a adoção da racionalidade instrumental impõe sobre a realização dos objetivos previstos para essas organizações. Observou-se que existem contingências que favorecem o uso da instrumentalidade nessas organizações, como: necessidade de autossustentação, área de atuação, tamanho da organização, influência do líder, etc. Conclui-se que tais organizações, apesar de não serem espaços dedicados à atualização do sujeito (como define a Isonomia de Guerreiro Ramos), delatam o seu fim público e orientam-se pelas consequências sempre que absorvem de forma crua a dinâmica organizacional de uma empresa econômica.

The impact of content marketing on attitudes and purchase intentions of online shoppers : the case videos & tutorials and user-generated content

This thesis was written as part of a Double-Degree Masters program in Management, with focus in Marketing. Aligned with the nature of the degree, this study aims to be a useful tool for managers and marketers, which conduct business online. This thesis is a study of Content Marketing in the content of online commercial product pages. Its aim is to understand how to use content marketing to drive conversion, by understanding consumer attitudes and purchase intention towards content. A in-depth study of existing theories and exploratory primary research was developed in other to attain these objectives. Business-to-consumer electronic commerce (B2C e-commerce) has provided consumers and online retailers with a more effective medium to perform online transactions through commercial websites. Although consumers have realized that the benefits of online shopping; such as time saving, minimizing effort, convenience, broader selection, and wider access to information, they are still greatly unwilling to shop online. Consumers shop essentially for two motives, to meet experiential (fun) or goal-oriented (efficiency) needs (Wolfinbarger & Gilly, 2001). The information provided by content marketing seeks to focus on consumers need for information and entertainment, instead of focusing on the brand. Thus, it is expected that the type of content format will have different effects on the attitudes and purchase intention on the online shopper, depending on the online shopping purpose. Concretely, a goal-oriented shopper should find user generated content (UGC) to be more valuable content formats, since they decrease the amount of search effort. While on the other hand, videos & tutorials (VT) might be perceived as more valuable for a consumer looking to spend time and being entertained through online shopping. The exploratory research was characterized by a survey experiment with online consumers. Participants were exposed to stimuli of content marketing tested according to their attitudes and purchase intention. The focus was to understand the impact of two different content marketing tactics—User-generated content and Videos & Tutorials—on attitudes and purchase intentions and how they interact with content complexity. The results indicate that content marketing in commercial product pages is relevant in driving consumer attitudes and purchase intentions. Consumers are not motivated by a specific content marketing tactic, unless that content has a certain level of complexity. In that case, Ur-Generated Content becomes a relevant tactic in product pages, however VT is not.

MARISA-MDD: uma abordagem para transformações entre modelos orientados a aspectos: dos requisitos ao projeto detalhado

Aspect Oriented approaches associated to different activities of the software development process are, in general, independent and their models and artifacts are not aligned and inserted in a coherent process. In the model driven development, the various models and the correspondence between them are rigorously specified. With the integration of aspect oriented software development (DSOA) and model driven development (MDD) it is possible to automatically propagate models from one activity to another, avoiding the loss of information and important decisions established in each activity. This work presents MARISA-MDD, a strategy based on models that integrate aspect-oriented requirements, architecture and detailed design, using the languages AOV-graph, AspectualACME and aSideML, respectively. MARISA-MDD defines, for each activity, representative models (and corresponding metamodels) and a number of transformations between the models of each language. These transformations have been specified and implemented in ATL (Atlas Definition Language), in the Eclipse environment. MARISA-MDD allows the automatic propagation between AOV-graph, AspectualACME, and aSideML models. To validate the proposed approach two case studies, the Health Watcher and the Mobile Media have been used in the MARISA-MDD environment for the automatic generation of AspectualACME and aSideML models, from the AOV-graph model

GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos

When crosscutting concerns identification is performed from the beginning of development, on the activities involved in requirements engineering, there are many gains in terms of quality, cost and efficiency throughout the lifecycle of software development. This early identification supports the evolution of requirements, detects possible flaws in the requirements specification, improves traceability among requirements, provides better software modularity and prevents possible rework. However, despite these several advantages, the crosscutting concerns identification over requirements engineering faces several difficulties such as the lack of systematization and tools that support it. Furthermore, it is difficult to justify why some concerns are identified as crosscutting or not, since this identification is, most often, made without any methodology that systematizes and bases it. In this context, this paper proposes an approach based on Grounded Theory, called GT4CCI, for systematizing and basing the process of identifying crosscutting concerns in the initial stages of the software development process in the requirements document. Grounded Theory is a renowned methodology for qualitative analysis of data. Through the use of GT4CCI it is possible to better understand, track and document concerns, adding gains in terms of quality, reliability and modularity of the entire lifecycle of software

STREAM-AP: um processo para sistematizar a escolha de padrões arquiteturais baseado em requisitos não-funcionais

The importance of non-functional requirements for computer systems is increasing. Satisfying these requirements requires special attention to the software architecture, since an unsuitable architecture introduces greater complexity in addition to the intrinsic complexity of the system. Some studies have shown that, despite requirements engineering and software architecture activities act on different aspects of development, they must be performed iteratively and intertwined to produce satisfactory software systems. The STREAM process presents a systematic approach to reduce the gap between requirements and architecture development, emphasizing the functional requirements, but using the non-functional requirements in an ad hoc way. However, non-functional requirements typically influence the system as a whole. Thus, the STREAM uses Architectural Patterns to refine the software architecture. These patterns are chosen by using non-functional requirements in an ad hoc way. This master thesis presents a process to improve STREAM in making the choice of architectural patterns systematic by using non-functional requirements, in order to guide the refinement of a software architecture

Computational support for the process of software requirement specification

The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these activities, several computational tools have been available in the market, although it is still possible to find a lack of resources related to some activities. In this context, this paper proposes the inclusion of a module to aid in the requirements specification to a tool called Requirements Elicitation Support Tool. This module allows to specify requirements in accordance with IEEE 830 standard, thus contributing to the documentation of the requirements established for a software system, besides supporting the learning of concepts related to the requirements specification, which improves the skills of users of the tool. © 2012 IEEE.

Apoio à gerência de requisitos de software utilizando Design Rationale

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Means to an end: Neotropical parrots manage to pull strings to meet their goals

Although parrots share with corvids and primates many of the traits believed to be associated with advanced cognitive processing, knowledge of parrot cognition is still limited to a few species, none of which are Neotropical. Here we examine the ability of three Neotropical parrot species (Blue-Fronted Amazons, Hyacinth and Lear`s macaws) to spontaneously solve a novel physical problem: the string-pulling test. The ability to pull up a string to obtain out-of-reach food has been often considered a cognitively complex task, as it requires the use of a sequence of actions never previously assembled, along with the ability to continuously monitor string, food and certain body movements. We presented subjects with pulling tasks where we varied the spatial relationship between the strings, the presence of a reward and the physical contact between the string and reward to determine whether (1) string-pulling is goal-oriented in these parrots, (2) whether the string is recognized as a means to obtain the reward and (3) whether subjects can visually determine the continuity between the string and the reward, selecting only those strings for which no physical gaps between string and reward were present. Our results show that some individuals of all species were able to use the string as a means to reach a specific goal, in this case, the retrieval of the food treat. Also, subjects from both macaw species were able to visually determine the presence of physical continuity between the string and reward, making their choices consistently with the recognition that no gaps should be present between the string and the reward. Our findings highlight the potential of this taxonomic group for the understanding of the underpinnings of cognition in evolutionarily distant groups such as birds and primates.

Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments

Actual trends in software development are pushing the need to face a multiplicity of diverse activities and interaction styles characterizing complex and distributed application domains, in such a way that the resulting dynamics exhibits some grade of order, i.e. in terms of evolution of the system and desired equilibrium. Autonomous agents and Multiagent Systems are argued in literature as one of the most immediate approaches for describing such a kind of challenges. Actually, agent research seems to converge towards the definition of renewed abstraction tools aimed at better capturing the new demands of open systems. Besides agents, which are assumed as autonomous entities purposing a series of design objectives, Multiagent Systems account new notions as first-class entities, aimed, above all, at modeling institutional/organizational entities, placed for normative regulation, interaction and teamwork management, as well as environmental entities, placed as resources to further support and regulate agent work. The starting point of this thesis is recognizing that both organizations and environments can be rooted in a unifying perspective. Whereas recent research in agent systems seems to account a set of diverse approaches to specifically face with at least one aspect within the above mentioned, this work aims at proposing a unifying approach where both agents and their organizations can be straightforwardly situated in properly designed working environments. In this line, this work pursues reconciliation of environments with sociality, social interaction with environment based interaction, environmental resources with organizational functionalities with the aim to smoothly integrate the various aspects of complex and situated organizations in a coherent programming approach. Rooted in Agents and Artifacts (A&A) meta-model, which has been recently introduced both in the context of agent oriented software engineering and programming, the thesis promotes the notion of Embodied Organizations, characterized by computational infrastructures attaining a seamless integration between agents, organizations and environmental entities.