Abstract
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.
This work has been carried out within the ESPRIT-LOTOSPHERE Project
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
E. Brinksma, "On the Design of Extended LOTOS", Ph.D. Thesis, University of Twente, 1988.
E. Brinskma, "Specification modules in LOTOS", Proceedings of the 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols — FORTE89, Vancouver, 1989.
T. Bolognesi, "A Graphical Composition Theorem for Networks of LOTOS Processes", Proceedings of the Tenth International Conference on Distributed Computing Systems (ICDCS-10), Paris, 1990 (IEEE Computer Society).
T. Bolognesi, E. Brinksma, "Introduction to the ISO Specification Language LOTOS", Comp. Networks and ISDN Systems, Vol. 14, No 1, 1987.
T. Bolognesi, P. Boehm, A. Fantechi, E. Najm (eds.), "Correctness Preserving Transformation", document ESPRIT/LotoSphere Lo/WP1/T1.2/N0020, April 1990.
S. D. Brookes, C. A. R. Hoare, A. W. Roscoe, "A Theory of Communicating Sequential Processes", Journal of the ACM, Vol. 31, No. 3, July 1984, pp. 560–599.
T. Bolognesi, F. Lucidi, S. Trigila, "From Timed Petri Nets to Timed LOTOS", Proceedings of the Tenth International IFIP WG6.1 Symposium on Protocol Specification, Testing and Verification,, Ottawa, June 1990, L. Logrippo, R. L. Probert, H. Ural editors, North-Holland.
Clack C., Peyton Jones S.L. Strictness Analysis — a Practical Approach Proceedings of the second conference on Functional Programming Languages and Computer Architecture — Nancy, France, 1985
W. U. Hulzen, P. Tilanus, H. Zuidweg, "LOTOS Extended with Clocks", Proceedings of the 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols — FORTE89, Vancouver, 1989.
ISO — Information Processing Systems — Open Systems Interconnection-"LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour", IS 8807, 1989.
ISO/IEC JTC1/SC21 N4228, "Proposed Draft Addendum to ISO8807:1988 on G-LOTOS", E. Najm editor, 1989.
D. Latella, "LOTOS MIRANDUM — A functional environment for the implementation of view functions for LOTOS" CNUCE internal Report C90-12, May 1990.
G. D. Plotkin, "A structural approach to operational semantics", Tech. Rep. DAIMI FN-19, Aarhus Univ., Computer Science Dept., Denmark, 1981.
J. Quemada, A. Azcorra, D. De Frutos, "A Timed Calculus for LOTOS", Proceedings of the 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols — FORTE89, Vancouver, 1989.
D.S. Scott, Outline of a Mathematical Theory of Computation Proceedings of the fourth Annual Princeton Conference on Information Sciences and Systems, Princeton University, 1970
J. E. Stoy, Denotational Semantics: the Scott-Stratchey Approach, The MIT Press, 1977.
D. A. Turner, An overview of Miranda SIGPLAN Notices, Dec. 86.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bolognesi, T., Latella, D., Zuppa, E. (1991). Non-standard interpretations of LOTOS specifications. In: Abramsky, S., Maibaum, T.S.E. (eds) TAPSOFT '91. TAPSOFT 1991. Lecture Notes in Computer Science, vol 494. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540539816_69
Download citation
DOI: https://doi.org/10.1007/3540539816_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53981-0
Online ISBN: 978-3-540-46499-0
eBook Packages: Springer Book Archive