BDBComp
Parceria:
SBC
Uma Estratégia para Integração de Restrições Arquiteturais em Design Rules

Multi-Agent Planning with Knowledge, Action and Time

Éberton S. MarinhoThaís BatistaFlávia C. DelicatoPaulo F. Pires

Mario R. F. BenevidesLuis R. M. Lopes

Architectural Description Languages (ADLs) specify elements that comprise software architecture, the relationship between such element, as well as architectural constraints. Representation of architectural constraints in design rules that guide the development process is necessary to enforce architectural properties. In this article, we propose a strategy for mapping architectural constraints described in AspectualACME to a design rules language semantically closer to Aspect Oriented languages, thus assuring the propagation of concepts defined at design phase to the remainder development phases. The article also includes a case study to exemplify the proposed strategy. The growing importance of distributed systems over computer networks caused them to evolve in ways that brought them and the multi-agent systems together and motivated the creation of the Multi-Agent Planning domain of research. This article presents a modal logic, MAPKAT, designed to allow automatic checking and planning in a dynamic multi-agent environment involving individual knowledge and power.

http://www.lbd.dcc.ufmg.br/colecoes/sbcars/2008/003.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD