H ? « ‹ ← → › »

Language peer sets for LOTOS:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

LOTOS(ID:1493/lot003)

Specification language based on temporal ordering 

alternate simple view
Country: United States
Designed 1989
Published: 1989

Specification language based on temporal ordering.

According to Bruns 1991, Data portion was based on ACT ONE
Related languages
ACT ONE → LOTOS   Based on
Parlog → LOTOS   Target language for
LOTOS → E-LOTOS   Evolution of
References:
  • (1984) Carchiolo, V.; A. Faro, F. Minassale, and G. Scollo. Some Topics in the Design of the Specification language LOTOS. In M. Paul and B. Robinet, editors, Proc. 4th Int. Symp. on Programming, Berlin, 1984. Springer LNCS 167.
  • Bolognesi, T. (1987) Bolognesi, T. and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Network ISDN Systems, 14(1), 1987.
  • Gilbert, David Executable LOTOS: Using PARLOG to (1987) Gilbert, David Executable LOTOS: Using PARLOG to Implement an FDT, in Protocol Specification, Testing, and Verification VII, pp 281-295, H. Rudin and C.H. West (Eds), North-Holland 1987. ps
  • (1988) Brinksma, E "Information processing systems ? open systems interconnection. LOTOS: a formal description technique based on the temporal ordering of observational behaviour" ISO 8807, International Standard, 1988
  • Brinksma, E. (1988) Brinksma, E. On the Design of Extended LOTOS. PhD Thesis, Twente University (NL), 1988.
  • Guillemot, R., Haj-Hussein, M., and Logrippo, L. (1988) Guillemot, R., Haj-Hussein, M., and Logrippo, L. Executing Large LOTOS Specifications. In: Aggarwal. S., and Sabnani, K. (eds.) Protocol Specification, Testing, and Verification VII, North- Holland, 1988, 399-410.
  • Gilbert, David (1989) Gilbert, David "A LOTOS to PARLOG Translator, FORTE88 - Formal Description Techniques" pp31-44 ps
          in (1989) Formal Description Techniques, Ken Turner (Ed), North-Holland 1989
  • Gueraichi, L., and Logrippo, L. (1989) Gueraichi, L., and Logrippo, L. "Derivation of Test Cases for LAP-B from a LOTOS Specification"
          in Proc. (1989) Proc. of the 2nd FORmal TEchniques Symposium (Vancouver, December 1989).
  • Faci, M., Logrippo, L., and Stepien, B. (1990) Faci, M., Logrippo, L., and Stepien, B. Formal Specification of Telephone Systems in LOTOS. To appear in: Brinksma, E., Scollo, G., and Vissers, C. (eds.) Protocol Specification, Testing, and Verification IX, North-Holland.
          in Proc. (1989) Proc. of the 2nd FORmal TEchniques Symposium (Vancouver, December 1989).
  • van Eijk P.H.J. et al eds, (1990) van Eijk P.H.J. et al eds, "The Formal Description Technique LOTOS", N-H 1989. ISO 8807 (1990).
          in Proc. (1989) Proc. of the 2nd FORmal TEchniques Symposium (Vancouver, December 1989).
  • Bruns, Glenn (1991) Bruns, Glenn "A Language for value-passing CCS" LFCS report ECS-LFCS-91-175 Abstract Online copy
          in Proc. (1989) Proc. of the 2nd FORmal TEchniques Symposium (Vancouver, December 1989).
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: LOTOS and PSF Extract: LOTOS Extract:
          in Proc. (1989) Proc. of the 2nd FORmal TEchniques Symposium (Vancouver, December 1989).
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder