Monografias em Ciência da Computação

2006

ABSTRACTS

Departmento de Informática 
Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio
Rio de Janeiro - Brazil


This file contains a list of the technical reports of the Departmento de Informática, Pontifícia Universidade Católica do Janeiro - PUC-Rio, Brazil, which are published in our series Monografias em Ciência da Computação (ISSN 0103-9741), edited by Prof. Carlos Lucena. Please note that the reports not available for download are available in their print format and can be obtained via the e-mail below.
For any questions, requests or suggestions, please contact:
Rosane Castilho bib-di@inf.puc-rio.br

Last update: 24/AUGUST/2006

INDEX


[MCC01/06]
GATTI, M.A.C.; LUCENA, C.J.P.; BRIOT, J.-P.; GUESSUOM, Z. Towards a fault-tolerant open multi-agent platform based on a law-governed approach. 25 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract:
Multi-agent systems are composed by autonomous components (agents) which interact to achieve their goals. Due to their autonomy and no control point of decisions making, it is hard to control and forecast its behavior during their interactions. If we consider that fault tolerance is a technique which can be very useful to increase the reliability of a distributed system, and considering that an Open Multiagent System (MAS) is a special type of such systems, there is a need to study the particular characteristics of these Open MAS in order to reach higher degrees of dependability. Despite all the research done in the last years on the development of fault-tolerant applications and of approaches to enforce secure interaction protocols in multi-agent systems, there is no mechanism which uses the law elements of interaction’s control which improves the agent criticality analysis. As this mechanism would increase dependability of those systems, it is proposed a solution to achieve it through the integration of the DarX framework, which is a framework for dynamic replication, and the XMLaw, which is a declarative language for implementing the law enforcement approach for regulating agents’ interaction.

[MCC02/06]
STAA, A.v.; LUCENA, C.J.P.; CARVALHO, G.R.; BRIOT, J.-P.; CHOREN, R.; GUESSUOM, Z. Treating fault-tolerant concerns in models and architectures for multi-agent systems. 11 p. Eng. E-mail: arndt@inf.puc-rio.br

Abstract:
In this paper, we propose the introduction of law-governance to describe fault tolerance aspects in multi-agent systems (MAS) design models since laws delimit the things that can happen in a system. In the design-time phase, we propose an extension to the ANote modeling language to incorporate the law-governed approach. In the run-time stage, agent architectures should provide the means for the correct execution of the system, i.e. they should ensure the system will execute according to its requirements. Thus we propose the use of the DimaX. Using DimaX, we will seek to provide mechanisms to detect and recover from failures in the system. The proposed approach is detailed in the paper.

[MCC03/06]
MORENO, M.F.; COLCHER, S.; SOARES, L.F.G. Adaptable resource management based on the virtual resource tree model. 13 p. Eng. E-mail: lfgs@inf.puc-rio.br

Abstract:
This paper presents an abstract model for resource management mechanisms, called Virtual Resource Tree (VRT). The VRT model is developed aiming at meeting different end-to-end Quality of Service (QoS) requirements demanded by multimedia applications. Scalability plays an important role in this scenario, bringing new mandatory features for resource management, such as the distributed management of heterogeneous resources and the support for adapting the different underlying management algorithms. In addition, this paper discusses the main issues towards the definition of the VRT file system (VRT-FS). VRT-FS is a framework that shows how, with a simple and familiar design, the functionalities of the VRT model can be ported to network operating systems.

[MCC04/06]
GATTI, M.A.C.; STAA, A.v. Testing & debugging multi-agent systems: a state of the art report. 24 p. Eng. E-mail: arndt@inf.puc-rio.br

Abstract:
Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging infrastructure and community interactions. As intelligent agent-based systems take over operations in the financial community, transportation, manufacturing, utilities, aerospace, and the military, assurances will need to be given to the owners and operators of these systems assuring that these non-deterministic learning systems operate correctly. In this State of the Art report (SotA), we will give an introduction to work presented in the area of testing and debugging distributed systems composed of complex autonomous entities (agents). We will provide pointers to work by large players in the field. We will also discuss the debugging of multi-agents systems. We will explain why this kind of system must be handled differently than less complex systems.

[MCC05/06]
RODRIGUES, L.M. IPTV - conceitos, padrões e soluções. 34 p. Port. E-mail: lfgs@inf.puc-rio.br

Abstract: This work presents the main concepts related to the service of transmission of TV programs through IP networks, called IPTV. It presents a set of commercial solutions for the deployment of the service infrastructure and describes some services that are operational or in test phase throughout the world. The DVB-IP standard, adopted by ETSI for the provision of Digital TV services over IP networks in Europe, is also presented. Finally, it makes an analysis of the current situation of the IPTV service, points out its advantages in comparison with the other Digital TV platforms and discusses the challenges for offering the service through the Internet.

[MCC06/06]
SILVA, V.T., DURAN, F., CHOREN, R., LUCENA, C.J.P. Using testimonies to enforce the behavior of agents. Eng. E-mail: lucena@inf.puc-rio.br

Abstract: Governance copes with the heterogeneity, autonomy and diversity of interests among different agents in a multi-agent system (MAS) by establishing a set of norms. However, a governance enforcement mechanism usually checks norm violations from only one point of view, such as interaction. Besides putting aside other aspects, these mechanisms have an intrusive implementation, for instance they check every message. This paper presents a mechanism to support the implementation of governance in MAS, based on testimonies, i.e. agents can witness to facts that they know may be related to norm violations. This mechanism is composed of three subsystems: reputation, judgment and punishment. We focus on the judgment sub-system, which is responsible for receiving the testimonies and for providing a decision pointing out if an agent really violated a norm. We show the sub-system architecture and a general judgment process. Finally, we illustrate the use of our mechanism through a case study

[MCC07/06]
MORAES, E.A. Teste de software baseado em risco. 18 p. Port. E-mail: arndt@inf.puc-rio.br

Abstract: This paper presents a bibliographical survey aimed at investigating software testing methodologies based on risk, commonly known by the term risk-based testing. This paper touches the fundamentals of these techniques, the advocated advantages of these, the differences among them, as well as their limitations according to the authors of the papers cited here.

[MCC08/06]
COELHO, R.S.;
KULESZA, U.; LUCENA, C.J.P.; STAA, A.v. Unit testing in multi-agent systems using mock agents and aspects. 44 p. Eng. E-mail: arndt@inf.puc-rio.br

Abstract:
In this article, we present a unit testing approach for MASs based on the use of Mock Agents. Each Mock Agent is responsible for testing a single role of an agent under successful and exceptional scenarios. Aspect-oriented techniques are used, in our testing approach, to monitor and control the execution of asynchronous test cases. We present an implementation of our approach on top of JADE platform, and show how we extended JUnit test framework in order to execute JADE test cases.

[MCC09/06]
FEIJÓ, B., BADARÓ, P. Conceitos e modelos para um sistema brasileiro de produção de conteúdo digital. 17 p. Port. E-mail: bruno@inf.puc-rio.br

Abstract:
This paper presents the concepts and models for a system of digital content production that represents a new strategic industry for the country, embracing Broadcast, cinema, games, airplanes, energy, oil and national defense. In this paper, digital content refers to audiovisual pieces and software development. The technical aspects of Digital TV, films, and high definition are treated in an integrated and clear way. Two complementary models, called Model of Integrated Sub-channels and Model of Integrated Regional Axes, are presented as the solution for a number of problems of the audiovisual production chain in Brazil, such as: interactivity; regionalization; boom of demand for digital content; Channel Brazil - Mercosul; and training of the labor force. Finally, the paper claims that a medium and long-term industrial policy for the visualization macrosector, focussed on processes, should be implemented.

[MCC10/06]
NORONHA, T.F.;
LUCENA, C.J.P.; RIBEIRO, C.C.; URRUTIA, S. A multi-agent framework to retrieve and publish information on qualification and elimination data in sports tournaments. 17 p. Eng. E-mail: celso@inf.puc-rio.br

Abstract:
This work proposes an object-oriented framework for implementing a multiagent system to collect, process, and publish information in the web. The primary objective is to create a framework for developing autonomous applications related to qualification and elimination problems in sports tournaments. These applications involve collecting results from several sources, processing them, and publishing a report on the situation of each team taking part in the competition, regarding qualification and elimination statistics. An instance of this framework was created to follow the Brazilian national soccer tournament and other soccer competitions.

[MCC11/06]
FELICÍSSIMO, C.H.;
LUCENA, C.J.P.; BRIOT, J.-P.; BREITMAN, K.K.; CHOREN, R. Automating regulations in open multi-agent systems. 14 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract:
We propose, in this work, an approach for automating regulations in open multi-agent systems. This approach is founded on a top-down context modeling of laws and on a regulatory meta-ontology, and demonstrates that rules allied with inference techniques can be effective while composing regulatory contexts and automatically retrieving data (laws). We conducted an experimental study investigating the potentiality of the approach. In this study, we first classified some chosen laws according to modeling contexts. Then, we formalized the modeled laws creating an instance of the regulatory meta-ontology by using an ontology editor. Finally, we wrote rules for dynamic compositions of regulatory contexts. Applying the rules in the regulatory ontology instance, supported by a rule-based inference engine, it resulted in laws, from different regulatory contexts, composed and retrieved automatically. Thus, the study demonstrated the effectiveness of the applied approach and highlighted a straightforward method for automating regulations in open multi-agent systems.

[MCC12/06]
ROCHA, R.C.A.; ENDLER, M. Supporting context-aware applications: scenarios, models and architecture. 15 p. Eng. E-mail: endler@inf.puc-rio.br

Abstract:
Context-aware computing is widely accepted as a promising paradigm to enable seamless computing. Several efforts have been developed in order to support contextaware applications through software infrastructures, middlewares and models for describing context information. However, developing such applications is still a complex task because of the lack of adequate software abstractions, programming models, methodologies and efficient middleware. This paper presents a approach for context-aware software development based on a flexible context model and an infrastructure for evolutionary management of context information. We present a context model that provides high-level abstractions to manage and handle context information. In order to demonstrate the capability of the proposed models, we present a case study of a location-aware instant messaging application.

[MCC13/06]
STAA, A.v. Engenharia de software fidedigno. 12 p. Port. E-mail: staa@inf.puc-rio.br

Abstract:
In this article we present an abridged description of what is called Engineering of Dependable Software, aiming at establishing the objective of a research direction. The major characteristics of dependable software are described. The concepts involved when dealing with dependable systems are presented. Means to achieve dependable systems are briefly described. Finally, ongoing work is also briefly described.

[MCC14/06]
MEDEIROS, A.P; SCHWABE, D.
Ontology driven design rationale reuse. 15 p. Port. E-mail: schwabe@inf.puc-rio.br

Abstract:
There are several proposals in the literature for representing design rationale. However, most of the existing representation schemas do not describe design rationale using a formal representation language having an expressive semantics that allows performing computable operations to support its reuse. In this paper we present the conceptual architecture of an integrated design environment that implements different operations to support recording design rationale, as well as reuse of design rationale during software design. This environment uses the formal language defined by the Kuaba ontology and the formal models of the artifacts as defined by design methods. They are used to represent the design alternatives considered by designers and the decisions made by them during the design process. This design rationale representation enables a new type of design reuse, where rationales are integrated and re-employed in designing a new artifact.

[MCC15/06]
SOARES, L.F.G.; RODRIGUES, R.F.; COSTA, R.M.R.  Nested Context Model 3.0,  Part 6 - NCL (Nested Context Language) Main Profile. 107 p. Port. E-mail: soares@inf.puc-rio.br

Abstract: This technical report describes the basic elements and attributes of the Nested Context Language (NCL) Main Profile version 2.3.  NCL is an XML language based on the NCM (Nested Context Model) conceptual model for hypermedia document specification.

[MCC16/06]
KULESZA, U.; GARCIA, A.F.; LUCENA, C.J.P. 
Composing object-oriented frameworks with aspect-oriented programming. 22 p. Port. E-mail: lucena@inf.puc-rio.br

Abstract:
The composition of object-oriented (OO) frameworks are often required in application development in order to meet the pressing needs of reuse-in-the-large and time to market. However, framework composition has been often shown as a challenge in real software development due to recurring integration activities involving heterogeneous framework features, such as domain entities, overlapping functionalities, and diverging control flows. One of the underlying problems is that the composition strategy cannot be implemented in a modular manner based on traditional OO mechanisms. Invasive changes are often required in the frameworks being composed. In this context, this paper presents a systematic investigation on the use of aspect-oriented programming (AOP) for the modular composition of OO frameworks. We have revisited several object-oriented solutions previously proposed to the composition of OO frameworks. After that, we have evaluated whether the use of AOP can improve each of these existing OO solutions. Our comparative analysis was based on a set of modularity properties, and through a case study involving the composition of four OO frameworks with different characteristics and from distinct domains. The outcomes of this first systematic investigation have pointed out that the aspect-oriented solutions present several benefits in relation to the original OO solutions in terms of modularization of the composition code.

[MCC17/06]
COSTA, A.D.; LUCENA, C.J.P.; SILVA, V.T. Remodelando e estendendo o Agent Society Framework. 126 p. Port. E-mail: lucena@inf.puc-rio.br

Abstract: This project contemplates the extension of a framework called Agent Society Framework(ASF) created with the goal to represent a concept very spread out on the research area of Multi-Agent System: agents society, or either, systems that represent agents playing roles in organizations. The document presents which extensions were realized, which scientific contribution it offers for the area, and which is it's differentials in relation to others frameworks.

[MCC18/06]
IMPERIAL, J.C.; HAEUSLER, E.H. Some strategies for the automatic use of Hoare Logic. 9 p. Eng. E-mail: hermann@inf.puc-rio.br

Abstract: This papers aims at showing some strategies to construct a proof of correctness of a program in such way to increase the automation of the process. To achieve this, the proposed strategies reduce drastically the search space and the need of user interaction.

[MCC19/06]
MONTEIRO, J.M.; LIFSHITZ, S.; BRAYNER, A. Automated selection of materialized views. 11 p. Eng. E-mail: sergio@inf.puc-rio.br

Abstract: Materialized views can provide massive improvements in query processing time, especially for aggregation queries over large tables. Due to the space constraint and maintenance cost constraint, the materialization of all views is not possible. Therefore, a subset of views needs to be selected to be materialized. The problem is NP-hard, therefore, exhaustive search is unfeasible. Further, a judicious choice must be cost-driven and influenced by the workload experienced by the system. For this reason, some past papers have looked at the problem of automated selection of materialized views for SQL workloads. Though, no prior work considers the problem of dynamic and automated creation (self-maintenance) of materialized views. This paper presents an architecture for completely automatic selection and creation (maintenance) of materialized views.

[MCC20/06]
MONTEIRO, J.M.; LIFSHITZ, S.; BRAYNER, A. Estado da arte em auto-sintonia de transações. 21 p. Port. E-mail: sergio@inf.puc-rio.br

Abstract: Database Management Systems (DBMSs) are a vital component for the modern companies operation, and as such, they must provide great data availability and high performance in the data access. With this purpose, practically all DBMS supply tuning knobs that can be adjusted in accordance with the workload characterictics. However, this task becomes each time more difficult, due to increasing complexity of the databases (DBs). The autonomic computing systems have detached as a promising approach to deal with the tuning complexity. Such systems are intelligent enough to manage its proper performance, having as main characteristics the capacity to perceive the environment, particularly its workload, and automatically reconfigure its resources and parameters in a proper manner. This characteristic is called of self-tuning, or database self-tuning. Typically, databases are used in environments where many users work concurrently. The concurrent data access can generate inconsistencies in the database. For this reason, the concurrent data access need be controlled. The leaders approaches to control concurrency are based on locks. However, the great number of lock conflicts can lead to a data access containment, and consequently to undesirable delays and reworks that could be prevented. To minimize these problems the majority of the DBMSs provides a set of tuning knobs, related with the transaction management, that can be adjusted. In this work, we present the state of the art in transactions self-tuning.

[MCC21/06]
MONTEIRO, J.M.; ENDLER, M.; LIFSHITZ, S.; BRAYNER, A. Um mecanismo para a consistência de dados replicados em computação móvel. 22 p. Port. E-mail: endler@inf.puc-rio.br

Abstract: The recent advances in portable computer together with the developments in wireless communication technology are allowing users of portable equipment to maintain the network connection while they move about freely, having access to shared resources, services and information. This paradigm is called mobile computing. Mobile computing allows for the development of new and sophisticated database applications. Such applications require the reading of current and consistent data. In order to improve the data availability, increase performance and maximize throughput, data replication is used. However, due to inherent limitations in mobile environments, where there is typically great limitations for communications between mobile equipment and prolonged lack of connection between these pieces of equipment, making necessary changes in the concurrency control and replica control mechanisms be implemented. This paper proposes a new protocol that guarantees the consistency of replicated data in a mobile computing environment.

[MCC22/06]
MORENO, L.; ARAGAO, M.P.; UCHOA, E. Column generation based heuristic for a helicopter routing problem. 11 p. Eng. E-mail: poggi@inf.puc-rio.br

Abstract: This work presents a column generation based heuristic algorithm for the problem of planning the flights of helicopters to attend transport requests among airports in the continent and offshore platforms, on the Campos basin, for the Brazilian State Oil Company (Petrobras). We start from a previous MIP based heuristic for this Helicopter Routing Problem and add column generation procedures that improve the solution quality. This is done by extending the earlier formulation and providing an algorithm to find optimal passenger allocation to fixed helicopter routes. A post optimization procedure completes the resulting algorithm, which is more stable and allows consistently finding solutions that improves the safety and the cost of the one done by the oil company experts.

[MCC23/06]
CUNHA, L.M.; LUCENA, C.J.P. Clustering the semantic web challenge's applications: architecture and metadata overview. 84 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract: This paper describes a first attempt to classify the applications submitted to the Semantic Web Challenge, which is a parallel event in the International Semantic Web Conference. So far, 35 applications were submitted in the last 3 editions of the challenge. This work will investigate some aspects about the applications in order to come up with a(some) framework(s) for Semantic Web applications that attends the requirements of the challenge, consequently, showing the benefits of the Semantic Web techniques to the final user. Our first step in that direction is to present some metadata and the architecture of the submitted applications on this paper, as well as a first speculation about the categories of Semantic Web Applications submitted to the challenge so far.

[MCC24/06]
RUSSO, E.E.R.; RAPOSO, A.B.; FERNANDO, T.; GATTASS, M. Emergency environment for the Oil & Gas exploration and production industry. 6 p. Eng. E-mail: mgattass@inf.puc-rio.br

Abstract: The objective of this work is to present some of the key challenges faced when defining and building virtual workspaces for oil & gas Exploration & Production (E&P) activities, such as 3D geomodelling, seismic interpretation, real-time drilling follow-up and correction, offshore structures' design, static and dynamic simulations of these offshore structures, oil pipelines' monitoring and emergency situations' handling. Also a case study focusing on emergency scenarios with extreme conditions is discussed in details.

[MCC25/06]
RUSSO, E.E.R.; RAPOSO, A.B.; GATTASS, M.; FERNANDO, T. A metamodel for collaborative virtual workspaces configuration: application in disaster management of oil & gas offshore structures. 136 p. Eng. E-mail: mgattass@inf.puc-rio.br

Abstract: Many companies have been creating virtual teams that bring together geographically dispersed workers with complementary skills, increasing the demand for CSCW (Computer Supported Cooperative Work) applications. In order to facilitate the development of a wide range of these collaborative applications, we should offer a general architecture that is adaptable to different situations, tasks, and settings in a flexible way. This work investigates how a distributed workspace environment can support disaster management, involving distributed collaborative technical teams. We first identify the requirements for the distributed workspace, from the stakeholders involved in a disaster, and analyse the commercial emergency systems available. We then elaborate a multi-perspective metamodel to support configuring this collaborative virtual workspace. Finally a prototype for oil & gas offshore structures disaster management based on our multi-perspective metamodel is derived and an HLA (High Level Architecture) compliant implementation for this prototype is developed as a proof-of-concept of the metamodel technology.

[MCC26/06]
MELLO, H.; ENDLER, M. Identificação de região de congestionamento através de comunicação inter-veicular. 16 p. Port. E-mail: endler@inf.puc-rio.br

Abstract: IVC (Inter-Vehicle Communication) is a promising technology for the next generation of automotive vehicles. The envisaged benefits include safer vehicle control, multi-vehicle cruise control, better traffic planning, Internet connectivity, location-based services, etc. A typical application of IVC is traffic jam-avoidance. Recent publications already address this issue, but most of them focus on preventing the occurence of traffic jams. Conversely,this article addresses metropolitan-area scenarios where drivers are already trapped in a jam and need assistance in how to escape them. The proposed service employs a distributed algorithm to build an approximate congestion perimeter. This task is carried out by dissemination of positioning data of vehicles vertices of a polygon that is a close approximation of the congestion area. Given the polygon and its current location, a vehicle can then plan its escape-way route from the traffic jam.

[MCC27/06]
GATTI, M.A.C.; CARVALHO, G.R.; PAES, R.B.; LUCENA, C.J.P.; BRIOT, J.-P. Structuring a law case for law-governed open multi-agent systems. 30 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract: In an open multi-agent system, where the complexity and uncertainty are issues that must be analyzed during the development and evolution, the experience of emergent behavior makes it even more important to consider dependability attributes. It is harder to design and implement requirements related to dependability in law-governed multi-agent systems mainly because there is no control point over such systems. To this end, the use of an enforcement mechanism and an adapted dependability case approach, which we define as a Law Case, permits to control the failures and to promote the benefits and also contributes to tame the uncertainty presented by open multi-agent systems. Therefore, the goal of this work is show how to struture a Law Case through a sample scenario in open multi-agent systems regulated by a law-enforcement mechanism.

[MCC28/06]
LIMA, L.S.; ENDLER, M.; SOARES, L.F.G.; GOMES, A.T.A.; ZIVIANI, N.  Grades sem fio: desenvolvendo aplicações baseadas no compartilhamento de recursos.  42 p. Port.  E-mail: endler@inf.puc-rio.br

Abstract: Originally, a concept for sharing computing resources among wired participants, grid computing is gradually being extended to support scenarios, including wireless networks, which introduce a variety of novel devices and possible uses.  Wireless grids are resource sharing networks spontaneously formed by nomadic devices.  In this work we present the main challenges in the development of P2P applications for wireless grid netowrks, focusing on the resource management system.

[MCC29/06]
LIMA, L.S.;  SOARES, L.F.G.; ENDLER, M.  WiMAX: padrão IEEE 802.16 para banda larga sem fio. 57 p. Port. E-mail: endler@inf.puc-rio.br

Abstract: The main purpose of this work is to give an overview of IEEE 802.16, a standard for wireless broadband access, with a special focus on its mechanism for providing QoS.  We compare the standards IEEE 802.11, IEEE 802.16 and IEEE 802.20 with the intention to identify the part each standard plays, according to its characteristics, in an integrated wireless network infrastructure, and show how they coexist and complement each other in this network infrastructure.  We conclude with some discussion on a general architecture for provision of QoS in wireless networks integrating the standards IEEE 802.11 and IEEE 802.16.

[MCC30/06]
SILVESTRE, B.O.; RODRIGUEZ, N.L.R.; BRIOT, J-P. Sincronização em um modelo RPC orientado a eventos. 21 p. Port. E-mail: noemi@inf.puc-rio.br

Abstract: The growth of the Internet has caused distributed programmers to face highly geographically distributed scenarios. The ALua system offers a base for developing event-based applications, using a callback-based programming model to process events. We developed a RPC library for ALua that offers the programmer a more friendly abstraction to create event-based applications. However, the RPC model introduces concurrent event processing, even if only in explicit program points. In this work we analyze several inter and intra-process synchronization mechanisms which have been proposed in the literatures and implement some of them on our RPC library.

[MCC31/06]
FELICÍSSIMO, C.H.; LUCENA, C.J.P.; BRIOT, J-P.; BREITMAN, K.K.; CASANOVA, M.A.; CHOREN, R. Towards a normative ontology for implementing contextual regulations in open MAS. 14 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract: We believe that the Semantic Web will be a huge machine-understandable open net composed of several information repositories plus intelligent cooperative entities, executing along the principles of multi-agent systems (MAS). Also, agents will be able to joint and leave MAS freely, seeking to achieve their designed goals faster. In such scenario, some level of regulation is necessary. Along these lines, this paper presents our ongoing work for dynamic contextual regulations in open multi-agent systems - called DynaCROM. DynaCROM is based on a top-down modeling of contextual laws, on a normative meta-ontology for laws semantics and on a rule support for composing contextual laws. DynaCRON results in a straightforward method for regulations in open MAS, obtained with few ontology-based rules. For instance, with only 19 rules for 4 particular MAS contexts (environment, organization, role and interaction), DynaCROM permits a total of 349 customized compositions of contextual laws.

[MCC32/06]
FELICISSIMO, C.H.; LUCENA, C.J.P.; BRIOT, J-P.; BREITMAN, K.K.; CASANOVA, M.A.; CHOREN, R. Inferring contextual laws with rules for regulations in open multi-agent systems. 14 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract: Rules and Rules-based inference engines have become a powerful technology to support basic Semantic Web tasks. In this work, we focus our attention in the essential task of regulation in open domains. More precisely, the rule layer of DynaCROM - our approach for dynamic contextual regulation in open multi-agent systems (MAS) - will be detailed. The DynaCROM rule layer permits developers of system regulation to easily customized several compositions of contextual laws, by activating and deactivating (few) rules.  Thus, by continuous snapshots of a regulated system, developers can analyze agents' performance and, then, manually influence both law enforcement and agents' behavior. The result is a more balanced regulation. Moreover, meta-rules can also be specified in order to automatically raise pre-defined sets of rules, when their conditions are satisfied. Therefore, the rule layer introduces flexibility and precision in the DynaCROM solution, as a straightforward method for regulation in open MAS.

[MCC33/06]
PAES, R.B.; GATTI, M.A.C.; CARVALHO, G.R.; RODRIGUES, L.F.C.; LUCENA, C.J.P. A middleware for governance in open multi-agent systems. 11 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract: Interacting entities in many distributed systems have to follow certain protocols and interaction rules. This paper presents a middleware to regulate agent interactions in systems characterized mainly by the need of having control over the actions that an agent can perform. The solution is based on the ideas proposed in the field of governance of agent systems, where governance can be defined as the set of approaches that aim to establish and enforce some structure, set of norms or conventions, that articulate or restrain interactions in order to make agents more effective in attaining their goals or more predictable.

[MCC34/06]
FIGUEIREDO, E.M.L.; LOBATO, C.A.; DIAS, K.L.; LEITE, J.C.S.P.; LUCENA, C.J.P.
SimulES: um jogo para o ensino de Engenharia de Software. 42 p. Port. E-mail: lucena@inf.puc-rio.br

Abstract: Game technology has been used for learning in many educational areas, but it is not very popular in software engineering. To address this problem we present SimulES, an educational card game that simulates the software engineering process. This game is based on a previous version named Problems and Programmers. Using our game, a student can take the role of a software project manager and deal with problems which are not sufficiently highlighted by traditional lectures. We also compare SimulES to Problems and Programmers and the results are reported.

[MCC35/06]
SOARES, L.F.G.; RODRIGUES, R.F.  Nested Context Language 3.0: Part 8 - NCL digital TV profiles. 124 p. Eng. E-mail: lfgs@inf.puc-rio.br

Abstract: This technical report describes the elements and attributes of the Nested Context Language (NCL) Basic Digital TV (BDTV) and Enhanced Digital TV (EDTV) profiles version 3.0.  NCL is an XML application language based on the Nested Context Model (NCM) conceputal model for hypermedia document specification, with temporal and spatial synchronization among its media objects.

[MCC36/06]
SOARES, L.F.G.; RODRIGUES, R.F.; COSTA, R.R.; MORENO, M.F.  Nested Context Language 3.0: Part 9 - NCL live editing commands. 28 p. Eng. E-mail: lfgs@inf.puc-rio.br

Abstract: This technical report describes commands for live editing NCL 3.0 documents.  NCL (Nested Context Language) is an XML application language based on the Nested Context Model (NCM) conceputal model for hypermedia document specification, with temporal and spatial synchronization among its media objects.

[MCC37/06]
ENDLER, M.; RODRIGUES, V.J.S.; RUBINSZTEJN, H.K.S.; NASCIMENTO, F.N.; ROCHA, R.C.A.; VITERBO FILHO, J.; BAPTISTA, G.L.B. 
Experiências no desenvolvimento de uma arquitetura de middleware para Ciência de Contexto. 16 p. Port. E-mail: endler@inf.puc-rio.br

Abstract: MoCA is a middleware for developing and deploying context-aware collaborative applications for mobile users. It comprises a service for collecting, storing and distributing context data acquired from mobile devices, a service for inferring the location of such devices, and a framework for developing proxies, among others. This article discusses the experience obtained from developing this architecture and some context-aware applications that were built upon these services.