Abstract
The definition of Formal Description Techniques is currently being worked out by computer communications standardization bodies in order to produce unambiguous, clear, concise and implementation independent specifications of services and protocols for Open Systems Interconnection (OSI). This paper explores some topics under discussion in the design of one of such techniques, the Language for Temporal Ordering Specification (LOTOS), which has been already used for trial specifications of rather complex protocols and services, though still lacking some essential features like value specification facilities. The language elements rely upon the concepts of synchronized communication events, non deterministic choice between alternative events, value passing, guarding, sequential and parallel composition of processes, process abstraction. Some concepts currently under consideration are argued to be notational variants of the defined language elements; some of them can effectively favour both conciseness and clarity of specification for the intended use of the language. Functional and type abstraction are discussed for what concerns the needed value specification facilities. The addressed topics are illustrated by examples drawn from experience with trial specifications.
Preview
Unable to display preview. Download preview PDF.
7. References
E. Brinksma, An Algebraic Language for the Specification of the Temporal Order of Events in Services and Protocols, Proc. of the European Teleinformatics Conference, Varese, Italy, Oct.3–6, 1983, North-Holland (1983) pp. 533–542
M. Broy, P. Pepper, M. Wirsing, On Design Principles for Programming Languages: An Algebraic Approach, in: De Bakker, Van Vliet (eds), Algorithmic Languages, North-Holland (1981)
CCITT, Recommendation X. 200, Reference Model of Open Systems Interconnection for CCITT Applications, Geneva (1983)
V. Carchiolo, A. Faro, G. Scollo, A Temporal Ordering Specification of some Session Services, ACM SIGCOMM 1984 Symp. on Communications Architectures and Protocols, Montréal, June 7–8, 1984
J.Guttag, Notes on using type abstractions in Functional Programming, in: J.Darlington, P.Henderson and D.A.Turner (eds.), Functional Programming and its Applications, Cambridge University Press (1982) pp. 103–128
C.A.R. Hoare, Communicating Sequential Processes, Comm. of the ACM, Vol. 21 N.8 (Aug. 1978) pp. 666–677
ISO, Information Processing Systems, Open Systems Interconnection, Basic Reference Model, International Standard IS 7498 (1983)
ISO, Information Processing Systems, Open Systems Interconnection, A FDT FDT based on an Extended State Transition Model, Working draft, ISO/TC97/SC16/N1347, July 1983
ISO, Information Processing Systems, Open Systems Interconnection, Draft Tutorial Document, Temporal Ordering Specification Language, ISO/TC97/SC16/WG1/N 157, August 12, 1983
ISO, Information Processing Systems, Open Systems Interconnection, Basic Connection Oriented Session Service Definition, Draft International Standard DIS8326, October 1983
ISO, Information Processing Systems, Open Systems Interconnection, Connection Oriented Transport Protocol Specification, Draft Proposal DP 8073, April 1983
R. Milner, A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, Berlin (1980)
C.A.Vissers, Architectural Requirements for the Temporal Ordering Specification of Distributed Systems, Proc. of European Teleinformatics Conference, Varese, Italy, Oct. 3–6, 1983, North-Holland (1983), pp. 79–95
J.H.Williams, Notes on the FP style of Functional Programming, in: J.Darlington, P.Henderson and D.A.Turner (eds.), Functional Programming and its Applications, Cambridge University Press (1982), pp. 73–102
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carchiolo, V., Faro, A., Minissale, F., Scollo, G. (1984). Some topics in the design of the specification language lotos. In: Paul, M., Robinet, B. (eds) International Symposium on Programming. Programming 1984. Lecture Notes in Computer Science, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12925-1_27
Download citation
DOI: https://doi.org/10.1007/3-540-12925-1_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12925-7
Online ISBN: 978-3-540-38809-8
eBook Packages: Springer Book Archive