From SMART to agent systems development

n order for agent-oriented software engineering to prove effective it must use principled notions of agents and enabling specification and reasoning, while still considering routes to practical implementation. This paper deals with the issue of individual agent specification and construction, departing from the conceptual basis provided by the smart agent framework. smart offers a descriptive specification of an agent architecture but omits consideration of issues relating to construction and control. In response, we introduce two new views to complement smart: a behavioural specification and a structural specification which, together, determine the components that make up an agent, and how they operate. In this way, we move from abstract agent system specification to practical implementation. These three aspects are combined to create an agent construction model, actsmart, which is then used to define the AgentSpeak(L) architecture in order to illustrate the application of actsmart.

Prototype Generation from Ontology Charts

Semantic Analysis is a business analysis method designed to capture system requirements. While these requirements may be represented as text, the method also advocates the use of Ontology Charts to formally denote the system's required roles, relationships and forms of communication. Following model driven engineering techniques, Ontology Charts can be transformed to temporal Database schemas, class diagrams and component diagrams, which can then be used to produce software systems. A nice property of these transformations is that resulting system design models lend themselves to complicated extensions that do not require changes to the design models. For example, resulting databases can be extended with new types of data without the need to modify the database schema of the legacy system. Semantic Analysis is not widely used in software engineering, so there is a lack of experts in the field and no design patterns are available. This make it difficult for the analysts to pass organizational knowledge to the engineers. This study describes an implementation that is readily usable by engineers, which includes an automated technique that can produce a prototype from an Ontology Chart. The use of such tools should enable developers to make use of Semantic Analysis with minimal expertise of ontologies and MDA.

PrIMe: A Methodology for Developing Provenance-Aware Applications

Provenance refers to the past processes that brought about a given (version of an) object, item or entity. By knowing the provenance of data, users can often better understand, trust, reproduce, and validate it. A provenance-aware application has the functionality to answer questions regarding the provenance of the data it produces, by using documentation of past processes. PrIMe is a software engineering technique for adapting application designs to enable them to interact with a provenance middleware layer, thereby making them provenance-aware. In this article, we specify the steps involved in applying PrIMe, analyse its effectiveness, and illustrate its use with two case studies, in bioinformatics and medicine.

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.

Globalização de capacidades tecnológicas inovadoras e o papel de subsidiárias de empresas transnacionais (ETNs) no contexto de países em desenvolvimento: a trajetória de uma empresa do setor de TIC no Brasil

This dissertation seeks to add new evidence to the international debate on globalization of innovation in the developing countries context. Globalization of innovation, in this dissertation, is defined and measured by the types, levels and rate of innovative technological capability accumulation and the underlying technological learning processes (sources of capabilities) at the firm level in late-industrializing countries ¿ or developing countries. This relationship is examined within a large transnational corporation (TNC) subsidiary of the information and communication technology (ICT) sector in Brasil: Motorola do Brasil during over the period from 1996 to 2006. In the international literature there is a strong debate on the extent to which innovative technological capabilities have been spreading internationally. But, the most of the studies are focused on early industrialized countries. In other words, there is still a scarcity of analysis, mainly at the firm level, from the perspective of developing countries. This dissertation supports itself in analytical basis developed in the international literature on accumulation of technological capabilities and learning in the context of developing countries. The learning processes examined in this dissertation are: (i) intra-firm learning processes; (ii) inter-firm learning processes (links between mother and sister companies); and (iii) links between the firm and other organizations of the innovation system (universities, research institutes, among others). Based on first-hand empirical evidence, qualitative and quantitative, collected on the basis of extensive fieldwork, this dissertation examines these issues with adequate level of detail and depth, in this large company in Brazil. The study results suggest that: Concerning the path of the technological capability accumulation, the firm exhibited heterogeneity in the path of accumulation of technological capabilities to distinct functions. For the functions Software Engineering and Process and Management Project the firm reached the Level 6 (Innovative Intermediate Superior), on a scale that ranges from 1 to 7; In relation to technological capability sources, the firm deliberately sought and built sources of knowledge in order to develop and sustain its innovative technological capabilities. The dissertation, thus, contributes to adding new empirical evidence to the debate on globalization of innovative capabilities from a late-industrializing perspective.

Globalização de capacidades tecnológicas inovadoras e o papel de subsidiárias de empresas transnacionais( ETNs) No contexto de países em desenvolvimento: a trajetória de uma empresa do setor de TIC no Brasil

This dissertation seeks to add new evidence to the international debate on globalization of innovation in the developing countries context. Globalization of innovation, in this dissertation, is defined and measured by the types, levels and rate of innovative technological capability accumulation and the underlying technological learning processes (sources of capabilities) at the firm level in late-industrializing countries ¿ or developing countries. This relationship is examined within a large transnational corporation (TNC) subsidiary of the information and communication technology (ICT) sector in Brasil: Motorola do Brasil during over the period from 1996 to 2006. In the international literature there is a strong debate on the extent to which innovative technological capabilities have been spreading internationally. But, the most of the studies are focused on early industrialized countries. In other words, there is still a scarcity of analysis, mainly at the firm level, from the perspective of developing countries. This dissertation supports itself in analytical basis developed in the international literature on accumulation of technological capabilities and learning in the context of developing countries. The learning processes examined in this dissertation are: (i) intra-firm learning processes; (ii) inter-firm learning processes (links between mother and sister companies); and (iii) links between the firm and other organizations of the innovation system (universities, research institutes, among others). Based on first-hand empirical evidence, qualitative and quantitative, collected on the basis of extensive fieldwork, this dissertation examines these issues with adequate level of detail and depth, in this large company in Brazil. The study results suggest that: Concerning the path of the technological capability accumulation, the firm exhibited heterogeneity in the path of accumulation of technological capabilities to distinct functions. For the functions Software Engineering and Process and Management Project the firm reached the Level 6 (Innovative Intermediate Superior), on a scale that ranges from 1 to 7; In relation to technological capability sources, the firm deliberately sought and built sources of knowledge in order to develop and sustain its innovative technological capabilities. The dissertation, thus, contributes to adding new empirical evidence to the debate on globalization of innovative capabilities from a late-industrializing perspective.

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.