Application name:

Case studies of Basic LOTOS

Organisation:

AT&T

Method:

Basic LOTOS

Tools:

Basic LOTOS Interpreter in Kyoto Common LISP (Colin Fidge, University of Queensland, Australia) and PLOTOS tools constructed at AT&T.

Domain:

Telecommunications

Period:

1991 - 1994

Size:

3 Small to medium-sized projects.

Description:

3 Case studies were conducted in the use of Basic LOTOS, including design recovery, requirements specification, and design. All of the problems were taken from existing and planned switching systems. Different styles of collaboration with developers were tried, including joint teams and intern arrangements.

Conclusions:

Each case study produced some unique results, but several results were common. In particular, improvements to the syntax of Basic LOTOS were helpful in writing and debugging medium-sized specifications. Although LOTOS is adequate for the specification of requirements and designs, it still lacks some features that are important to modern software engineering.

Publications:

"Lessons from Using Basic LOTOS" by Mark Ardis, 16th International Conference on Software Engineering, May 1994.

Contact:

Name:	Mark A. Ardis
Organisation:	Lucent Technologies, Bell Laboratories
Address:	1000 East Warrenville Road P.O. Box 3013 Naperville, IL 60566-7013
Country:	USA
Phone number:	+1 (630) 9790042
Fax:	+1 (630) 7134982
E-mail:	maa@research.bell-labs.com
Personal website:	http://www.bell-labs.com/~maa

URL:

-

Remarks:

-

© copyright 2004 | Formal Methods Europe