# From ACT-ONE to Miranda, a Translation Experiment

Charles, Nathan, Bowman, Howard, Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:10.1016/S0920-5489(97)00005-6) (KAR id:21506)

 Postscript Language: English Download (274kB) Preview Preview This file may not be suitable for users of assistive technology. Request an accessible format PDF Language: English Download (305kB) Preview Preview This file may not be suitable for users of assistive technology. Request an accessible format Official URLhttp://dx.doi.org/10.1016/S0920-5489(97)00005-6

## Abstract

It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with a functional language. Thus, compatibility between ACT-ONE and the replacement data language becomes an issue. In response to this, we present an experimental investigation of backward compatibility between ACT-ONE and the new LOTOS data language. Specifically, we investigate translating ACT-ONE data types into the functional language Miranda. Miranda has been chosen as it is a widely used functional programming language and it is close in form to the anticipated new data language. This work serves as a verification of concept'' for translating ACT-ONE to the E-LOTOS data language. It identifies the bounds on embedding ACT-ONE in a functional data language. In particular, it indicates what can be translated and what cannot be translated. In addition, the paper reveals pertinent issues which can inform the E-LOTOS work. For example, which constructs are needed in E-LOTOS in order to support the class of data type specifications typically made in the LOTOS setting? We conclude with a number of specific recommendations for the E-LOTOS data language.

Item Type: Article 10.1016/S0920-5489(97)00005-6 ACT-ONE, LOTOS, Miranda, compatibility, data type Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing Mark Wheadon 24 Jul 2009 22:28 UTC 16 Feb 2021 12:32 UTC https://kar.kent.ac.uk/id/eprint/21506 (The current URI for this page, for reference purposes) https://orcid.org/0000-0003-4736-1869 https://orcid.org/0000-0002-2350-301X