Equivalence between executable OOZE and algebraic specification

In this paper two algorithms are presented: one which turns an executable OOZE specification into an algebraic specification and another which does the reverse operation. In this way, we shall be able to prove in a constructive way that executable OOZE and algebraic specification are equivalent and...

ver descrição completa

Detalhes bibliográficos
Autor: Palasí Lallana, Vicent Ramon
Tipo de documento: relatório científico
Data de publicação:1994
País:España
Recursos:Universitat Politècnica de Catalunya (UPC)
Repositório:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglês
OAI Identifier:oai:upcommons.upc.edu:2117/82435
Acesso em linha:https://hdl.handle.net/2117/82435
Access Level:Acceso aberto
Palavra-chave:OOZE
Algebraic specification
State-based specification
Àrees temàtiques de la UPC::Informàtica
id ES_795b8418eeb499ae2fb03c598d180921
oai_identifier_str oai:upcommons.upc.edu:2117/82435
network_acronym_str ES
network_name_str España
repository_id_str
spelling Equivalence between executable OOZE and algebraic specificationPalasí Lallana, Vicent RamonOOZEAlgebraic specificationState-based specificationÀrees temàtiques de la UPC::InformàticaIn this paper two algorithms are presented: one which turns an executable OOZE specification into an algebraic specification and another which does the reverse operation. In this way, we shall be able to prove in a constructive way that executable OOZE and algebraic specification are equivalent and that, generally speaking, state-based specification is equivalent to algebraic specification. We shall discuss whether these results can be made to cover other object-oriented Z dialects.19941994-10-0120162016-02-02reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/postscripthttps://hdl.handle.net/2117/82435reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/824352026-05-27T15:37:01Z
dc.title.none.fl_str_mv Equivalence between executable OOZE and algebraic specification
title Equivalence between executable OOZE and algebraic specification
spellingShingle Equivalence between executable OOZE and algebraic specification
Palasí Lallana, Vicent Ramon
OOZE
Algebraic specification
State-based specification
Àrees temàtiques de la UPC::Informàtica
title_short Equivalence between executable OOZE and algebraic specification
title_full Equivalence between executable OOZE and algebraic specification
title_fullStr Equivalence between executable OOZE and algebraic specification
title_full_unstemmed Equivalence between executable OOZE and algebraic specification
title_sort Equivalence between executable OOZE and algebraic specification
dc.creator.none.fl_str_mv Palasí Lallana, Vicent Ramon
author Palasí Lallana, Vicent Ramon
author_facet Palasí Lallana, Vicent Ramon
author_role author
dc.subject.none.fl_str_mv OOZE
Algebraic specification
State-based specification
Àrees temàtiques de la UPC::Informàtica
topic OOZE
Algebraic specification
State-based specification
Àrees temàtiques de la UPC::Informàtica
description In this paper two algorithms are presented: one which turns an executable OOZE specification into an algebraic specification and another which does the reverse operation. In this way, we shall be able to prove in a constructive way that executable OOZE and algebraic specification are equivalent and that, generally speaking, state-based specification is equivalent to algebraic specification. We shall discuss whether these results can be made to cover other object-oriented Z dialects.
publishDate 1994
dc.date.none.fl_str_mv 1994
1994-10-01
2016
2016-02-02
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/82435
url https://hdl.handle.net/2117/82435
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/postscript
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411342821097472
score 15.301603

Registros relacionados