Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs

Detalhes bibliográficos
Autor(a) principal: Barbosa, Raquel de Miranda
Data de Publicação: 2011
Outros Autores: Costa, Antonio Carlos da Rocha, Tedesco, Patrícia Cabral de Azevedo, Mota, Alexandre Cabral
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Institucional da FURG (RI FURG)
Texto Completo: http://repositorio.furg.br/handle/1/1807
Resumo: Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. Particularmente são utilizadas as linguagens CSP (Communicating Sequential Processes)) e RSL (Raise Specification Language) para representar o modelo organizacional PopOrg, sendo a primeira utilizada para especificar partes do nível microorganizacional de sistemas PopOrg (comportamentos de papéis organizacionais e processos de troca entre papéis organizacionais) e a segunda, RSL, utilizada para a representação da organização estrutural de sistemas PopOrg. O artigo apresenta alguns testes e resultados obtidos com o uso destes formalismos.
id FURG_ef65e050510069b0780712b64081a925
oai_identifier_str oai:repositorio.furg.br:1/1807
network_acronym_str FURG
network_name_str Repositório Institucional da FURG (RI FURG)
repository_id_str
spelling Barbosa, Raquel de MirandaCosta, Antonio Carlos da RochaTedesco, Patrícia Cabral de AzevedoMota, Alexandre Cabral2012-01-31T07:14:25Z2012-01-31T07:14:25Z2011BARBOSA, Raquel de Miranda et al. Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 17, p. 389-411, 2011. Disponível em: <file:///C:/DOCUME~1/ESCRIT~1/CONFIG~1/Temp/16413-69918-1-PB-1.pdf>. Acesso em: 09 dez. 2011.0103-4308http://repositorio.furg.br/handle/1/1807Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. Particularmente são utilizadas as linguagens CSP (Communicating Sequential Processes)) e RSL (Raise Specification Language) para representar o modelo organizacional PopOrg, sendo a primeira utilizada para especificar partes do nível microorganizacional de sistemas PopOrg (comportamentos de papéis organizacionais e processos de troca entre papéis organizacionais) e a segunda, RSL, utilizada para a representação da organização estrutural de sistemas PopOrg. O artigo apresenta alguns testes e resultados obtidos com o uso destes formalismos.This paper explores the use of traditional formal methods of software engineering for the formal specification of multiagent systems organizations. In particular, the CSP and RSL languages are used to represent the PopOrg organizational model, the first being used to specify parts of the micro-organizational level of PopOrg systems (behaviors of organizational roles and exchange processes between organizational roles) and the second, RSL, used to represent the structural organization of PopOrg systems. The paper presents some tests and results obtained using these formalisms.porUsando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da FURG (RI FURG)instname:Universidade Federal do Rio Grande (FURG)instacron:FURGORIGINALUsando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.pdfUsando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.pdfapplication/pdf290041https://repositorio.furg.br/bitstream/1/1807/1/Usando%20CSP%2c%20RSL%20e%20o%20Modelo%20PopOrg%20na%20Especifica%c3%a7%c3%a3o%20Formal%20de%20Organiza%c3%a7%c3%b5es%20de%20SMAs.pdf48163b4cbcdb1a3d4b440701d1b80b5aMD51open accessLICENSElicense.txtlicense.txttext/plain; charset=utf-81724https://repositorio.furg.br/bitstream/1/1807/2/license.txt5b92b9704b4f13242d70e45ddef35a68MD52open access1/18072014-09-08 09:02:31.549open accessoai:repositorio.furg.br:1/1807w4kgbmVjZXNzw6FyaW8gY29uY29yZGFyIGNvbSBhIGxpY2Vuw6dhIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhLAphbnRlcyBxdWUgbyBkb2N1bWVudG8gcG9zc2EgYXBhcmVjZXIgbm8gUmVwb3NpdMOzcmlvLiBQb3IgZmF2b3IsIGxlaWEgYQpsaWNlbsOnYSBhdGVudGFtZW50ZS4gQ2FzbyBuZWNlc3NpdGUgZGUgYWxndW0gZXNjbGFyZWNpbWVudG8gZW50cmUgZW0KY29udGF0byBhdHJhdsOpcyBkZTogcmVwb3NpdG9yaW9AZnVyZy5iciBvdSAweHggNTMgMzIzMy02NzA2LgoKTElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCBvL2EgU3IuL1NyYS4gKGF1dG9yIG91IGRldGVudG9yIGRvcyBkaXJlaXRvcyBkZSBhdXRvcik6CgphKSBDb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIFJpbyBHcmFuZGUgLSAgRlVSRyBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGNvbXVuaWNhciBlL291IGRpc3RyaWJ1aXIgbyBkb2N1bWVudG8gZW50cmVndWUgKGluY2x1aW5kbyBvIHJlc3Vtby9hYnN0cmFjdCkgZW0KZm9ybWF0byBkaWdpdGFsIG91IGltcHJlc3NvIGUgZW0gcXVhbHF1ZXIgbWVpby4KCmIpIERlY2xhcmEgcXVlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIMOpIHNldSB0cmFiYWxobyBvcmlnaW5hbCwgZSBxdWUKZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2UsIHRhbnRvIHF1YW50byBsaGUgw6kgcG9zc8OtdmVsIHNhYmVyLCBvcyBkaXJlaXRvcyBkZSBxdWFscXVlciBvdXRyYSBwZXNzb2Egb3UgZW50aWRhZGUuCgpjKSBTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSBjb250w6ltIG1hdGVyaWFsIGRvIHF1YWwgbsOjbyBkZXTDqW0gb3MKZGlyZWl0b3MgZGUgYXV0b3IsIGRlY2xhcmEgcXVlIG9idGV2ZSBhdXRvcml6YcOnw6NvIGRvIGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvciBwYXJhIGNvbmNlZGVyIMOgIEZVUkcgb3MgZGlyZWl0b3MgcmVxdWVyaWRvcyBwb3IgZXN0YSBsaWNlbsOnYSwgZSBxdWUgZXNzZSBtYXRlcmlhbCBjdWpvcyBkaXJlaXRvcyBzw6NvIGRlIHRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91IGNvbnRlw7pkbyBkbyBkb2N1bWVudG8gZW50cmVndWUuCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIGZpbmFuY2lhZG8gb3UgYXBvaWFkbwpwb3Igb3V0cmEgaW5zdGl0dWnDp8OjbyBxdWUgbsOjbyBhIEZVUkcsIGRlY2xhcmEgcXVlIGN1bXByaXUgcXVhaXNxdWVyIG9icmlnYcOnw7VlcyBleGlnaWRhcyBwZWxvIHJlc3BlY3Rpdm8gY29udHJhdG8gb3UgYWNvcmRvLgoKQSBGVVJHIGlkZW50aWZpY2Fyw6EgY2xhcmFtZW50ZSBvKHMpIHNldSAocykgbm9tZSAocykgY29tbyBvIChzKSBhdXRvciAoZXMpIG91IGRldGVudG9yIChlcykgZG9zIGRpcmVpdG9zIGRvIGRvY3VtZW50byBlbnRyZWd1ZSwgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRhcyBwZXJtaXRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgo=Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2014-09-08T12:02:31Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)false
dc.title.pt_BR.fl_str_mv Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
title Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
spellingShingle Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
Barbosa, Raquel de Miranda
title_short Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
title_full Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
title_fullStr Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
title_full_unstemmed Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
title_sort Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
author Barbosa, Raquel de Miranda
author_facet Barbosa, Raquel de Miranda
Costa, Antonio Carlos da Rocha
Tedesco, Patrícia Cabral de Azevedo
Mota, Alexandre Cabral
author_role author
author2 Costa, Antonio Carlos da Rocha
Tedesco, Patrícia Cabral de Azevedo
Mota, Alexandre Cabral
author2_role author
author
author
dc.contributor.author.fl_str_mv Barbosa, Raquel de Miranda
Costa, Antonio Carlos da Rocha
Tedesco, Patrícia Cabral de Azevedo
Mota, Alexandre Cabral
description Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. Particularmente são utilizadas as linguagens CSP (Communicating Sequential Processes)) e RSL (Raise Specification Language) para representar o modelo organizacional PopOrg, sendo a primeira utilizada para especificar partes do nível microorganizacional de sistemas PopOrg (comportamentos de papéis organizacionais e processos de troca entre papéis organizacionais) e a segunda, RSL, utilizada para a representação da organização estrutural de sistemas PopOrg. O artigo apresenta alguns testes e resultados obtidos com o uso destes formalismos.
publishDate 2011
dc.date.issued.fl_str_mv 2011
dc.date.accessioned.fl_str_mv 2012-01-31T07:14:25Z
dc.date.available.fl_str_mv 2012-01-31T07:14:25Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.citation.fl_str_mv BARBOSA, Raquel de Miranda et al. Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 17, p. 389-411, 2011. Disponível em: <file:///C:/DOCUME~1/ESCRIT~1/CONFIG~1/Temp/16413-69918-1-PB-1.pdf>. Acesso em: 09 dez. 2011.
dc.identifier.uri.fl_str_mv http://repositorio.furg.br/handle/1/1807
dc.identifier.issn.none.fl_str_mv 0103-4308
identifier_str_mv BARBOSA, Raquel de Miranda et al. Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 17, p. 389-411, 2011. Disponível em: <file:///C:/DOCUME~1/ESCRIT~1/CONFIG~1/Temp/16413-69918-1-PB-1.pdf>. Acesso em: 09 dez. 2011.
0103-4308
url http://repositorio.furg.br/handle/1/1807
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da FURG (RI FURG)
instname:Universidade Federal do Rio Grande (FURG)
instacron:FURG
instname_str Universidade Federal do Rio Grande (FURG)
instacron_str FURG
institution FURG
reponame_str Repositório Institucional da FURG (RI FURG)
collection Repositório Institucional da FURG (RI FURG)
bitstream.url.fl_str_mv https://repositorio.furg.br/bitstream/1/1807/1/Usando%20CSP%2c%20RSL%20e%20o%20Modelo%20PopOrg%20na%20Especifica%c3%a7%c3%a3o%20Formal%20de%20Organiza%c3%a7%c3%b5es%20de%20SMAs.pdf
https://repositorio.furg.br/bitstream/1/1807/2/license.txt
bitstream.checksum.fl_str_mv 48163b4cbcdb1a3d4b440701d1b80b5a
5b92b9704b4f13242d70e45ddef35a68
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)
repository.mail.fl_str_mv
_version_ 1798313644363087872

Registros relacionados