Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Latella D., Zuppa E. Non-standard interpretations of LOTOS specifications. In: Proceedings of TAPSOFT'91, International Joint Conference on Theory and Practice of Software Development (Brighton, UK, 812,April 1991). Proceedings, vol. 494 pp. 217 - 231. S. Abramsky, T. S. E. Maibaum (eds.). (Lecture Notes in Computer Science). Springer Berlin / Heidelberg, 1991.
Non-standard interpretations of LOTOS specifications are proposed as a most convenient and conservative way to extend the expressivity of the language without affecting its standard syntax and transition-system-based semantics. Some simple non-standard interpretations, alse called view functions, are introduced. Two different styles of formal definition are adopted (denotational and operational) for providing, respectively, a refinement of the standard LOTOS process functionality parameter, and a new parameter measuring the degree of synchronization exhibited by a specification.
URL: http://www.springerlink.com/content/p1r34752tr446l2n/about
DOI: 10.1007/3540539816_69

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional