Tool support for algebraic specifications of data in SDL-92 [chapter]

N. N. Mansurov, A. S. Ragozin, A. V. Chernov, I. V. Mansurov
1996 IFIP Advances in Information and Communication Technology  
We present an approach to automatic target code generation from algebraic specifications of abstract data types in SDL-92. The paper demonstrates that algebraic specifications semantically restricted to term-rewriting systems can be efficiently supported by tools. Our translator generates target language code from signatures and axiomatic defintions of operators. The generated code has quite remarkable performance: it compares favourably with existing implementations of term-rewriting systems
more » ... d even outperforms gee translator on some benchmarks. Support of algebraic specifications in SDL-92 translator allows more systematic treatment of data in specifications of telecommunication applications. Algebraic specifications provide a more rigorous formal framework for description of data and operations than ASN .I or any ad hoc treatment.
doi:10.1007/978-0-387-35079-0_4 fatcat:mzolm57em5gg5mzoajj6yuuuna