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...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1994 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/82435 |
| Acceso en línea: | https://hdl.handle.net/2117/82435 |
| Access Level: | acceso abierto |
| Palabra clave: | OOZE Algebraic specification State-based specification Àrees temàtiques de la UPC::Informàtica |
| Sumario: | 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. |
|---|