Title | Translating TROLL \em light Concepts to Maude |
Publication Type | Conference Proceedings |
Year of Conference | 1993 |
Authors | Denker, G., and M. Gogolla |
Conference Name | Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92) |
Pagination | 173-187 |
Publisher | Springer, Berlin, LNCS 785 |
Abstract | The specification language TROL1 \em light\/ is designed for the conceptual modeling of information systems. Maude is a logic programming language, which unifies the two paradigms of functional and concurrent object-oriented programming. Because of the very similar features offered by both languages, we present a translation from TROL1 \em light\/ concepts into the Maude language in order to compare the languages. Apart from presenting the translation, the languages are briefly described and illustrated by examples. |
Public | no |