Maude Object-Oriented Action Tool
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2013 |
| Outros Autores: | , |
| Tipo de documento: | Artigo |
| Idioma: | eng |
| Título da fonte: | Repositório Institucional da UFRN |
| Texto Completo: | https://repositorio.ufrn.br/jspui/handle/1/6231 |
Resumo: | MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008. |
| id |
UFRN_8081a87df7d691fb19c568d4b5008c60 |
|---|---|
| oai_identifier_str |
oai:https://repositorio.ufrn.br:1/6231 |
| network_acronym_str |
UFRN |
| network_name_str |
Repositório Institucional da UFRN |
| repository_id_str |
|
| spelling |
Maidl, André Murbach,Carvilhe, Cláudio,Musicante, Martin A.,2013-05-24T14:12:40Z2013-05-24T14:12:40Z2013-05-24doi:10.1016/j.entcs.2008.03.068https://repositorio.ufrn.br/jspui/handle/1/6231MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics implemented as a conservative extension of Full Maude and Maude MSOS Tool (MMT). The Modular SOS of Action Notation has been implemented using MMT transitions and Full Maude has been used to implement the Classes Notation. The syntax created by MOOAT is fairly similar to the original Object-Oriented Action Semantics syntax. In addition to it, the tool combines the modularity aspects observed in the object-oriented approach with the efficient execution and analysis of the Maude system. We use MOOAT to describe syntaxindependent specifications of programming languages. In this way, we show how Constructive Object-Oriented Action Semantics (COOAS) may be achieved as a combination between Object-Oriented Action Semantics and Constructive Action Semantics (CAS) using MOOAT, in order to increase the modularity aspects observed in the object-oriented formalism. This paper reports on the development of Maude Object-Oriented Action Tool and its application to the formal specification of programming languages.engFormal Semantics.Maude.Object-Oriented Action Semantics.Maude Object-Oriented Action Toolinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALARTIGO 3.pdfARTIGO 3.pdfapplication/pdf346001https://repositorio.ufrn.br/bitstream/1/6231/1/ARTIGO%203.pdf65ea5446f3e23daa046b03caace13453MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.ufrn.br/bitstream/1/6231/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTARTIGO 3.pdf.txtARTIGO 3.pdf.txtExtracted texttext/plain49995https://repositorio.ufrn.br/bitstream/1/6231/7/ARTIGO%203.pdf.txt6e6c9893deedb89b513752fb5e8d8584MD57THUMBNAILARTIGO 3.pdf.jpgARTIGO 3.pdf.jpgIM Thumbnailimage/jpeg6758https://repositorio.ufrn.br/bitstream/1/6231/8/ARTIGO%203.pdf.jpg8dde190a0d7690dcb5ebcb836dbfd514MD581/62312017-11-02 12:54:44.05oai:https://repositorio.ufrn.br:1/6231Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-02T15:54:44Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
| dc.title.pt_BR.fl_str_mv |
Maude Object-Oriented Action Tool |
| title |
Maude Object-Oriented Action Tool |
| spellingShingle |
Maude Object-Oriented Action Tool Maidl, André Murbach, Formal Semantics. Maude. Object-Oriented Action Semantics. |
| title_short |
Maude Object-Oriented Action Tool |
| title_full |
Maude Object-Oriented Action Tool |
| title_fullStr |
Maude Object-Oriented Action Tool |
| title_full_unstemmed |
Maude Object-Oriented Action Tool |
| title_sort |
Maude Object-Oriented Action Tool |
| author |
Maidl, André Murbach, |
| author_facet |
Maidl, André Murbach, Carvilhe, Cláudio, Musicante, Martin A., |
| author_role |
author |
| author2 |
Carvilhe, Cláudio, Musicante, Martin A., |
| author2_role |
author author |
| dc.contributor.author.fl_str_mv |
Maidl, André Murbach, Carvilhe, Cláudio, Musicante, Martin A., |
| dc.subject.por.fl_str_mv |
Formal Semantics. Maude. Object-Oriented Action Semantics. |
| topic |
Formal Semantics. Maude. Object-Oriented Action Semantics. |
| description |
MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008. |
| publishDate |
2013 |
| dc.date.accessioned.fl_str_mv |
2013-05-24T14:12:40Z |
| dc.date.available.fl_str_mv |
2013-05-24T14:12:40Z |
| dc.date.issued.fl_str_mv |
2013-05-24 |
| 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.uri.fl_str_mv |
https://repositorio.ufrn.br/jspui/handle/1/6231 |
| dc.identifier.other.none.fl_str_mv |
doi:10.1016/j.entcs.2008.03.068 |
| identifier_str_mv |
doi:10.1016/j.entcs.2008.03.068 |
| url |
https://repositorio.ufrn.br/jspui/handle/1/6231 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| 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 UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
| instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
| instacron_str |
UFRN |
| institution |
UFRN |
| reponame_str |
Repositório Institucional da UFRN |
| collection |
Repositório Institucional da UFRN |
| bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/1/6231/1/ARTIGO%203.pdf https://repositorio.ufrn.br/bitstream/1/6231/2/license.txt https://repositorio.ufrn.br/bitstream/1/6231/7/ARTIGO%203.pdf.txt https://repositorio.ufrn.br/bitstream/1/6231/8/ARTIGO%203.pdf.jpg |
| bitstream.checksum.fl_str_mv |
65ea5446f3e23daa046b03caace13453 8a4605be74aa9ea9d79846c1fba20a33 6e6c9893deedb89b513752fb5e8d8584 8dde190a0d7690dcb5ebcb836dbfd514 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
| repository.mail.fl_str_mv |
|
| _version_ |
1814832689131290624 |