This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Insider's Evaluation of PAISLey
March 1991 (vol. 17 no. 3)
pp. 212-225

An executable specification language called PAISLey is evaluated. The language is accompanied by specification methods, analysis techniques, and software tools. The actual results of the PAISLey project are summarized. Research methods, how the results were obtained, and how the project might have been improved are discussed.

[1] J. Backus, "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs,"Commun. ACM, vol. 21, no. 8, pp. 613-641, Aug. 1978.
[2] E. F. Berliner and P. Zave, "An experiment in technology transfer: PAISLey specification of requirements for an undersea lightwave cable system," inProc. Ninth Int. Conf. Software Engineering. Washington, DC: IEEE Computer Society Press, 1987, pp. 42-50.
[3] G. R. Bruns, "Technology assessment: PAISLey," Microelectronics and Computer Technology Corp., Austin, TX, Tech. Rep. STP- 296-86, Sept. 1986.
[4] H.V. Diamantidis and D.E. Perry, "Economic modeling of the Inscape environment," AT&T Bell Lab., Murray Hill, NJ, Tech. Memo. 11254-881215-10, Dec. 1988.
[5] R.E. Filman and D.P. Friedman,Coordinated Computing: Tools and Techniques for Distributed Software. New York: McGraw-Hill, 1984, pp. 79-81.
[6] S. Habib and T. Jin, "Computer hardware systems description using operational specifications," Dep. Comput. Sci., City College of New York, 1990.
[7] D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, "Statemate: A working environment for the development of complex reactive systems,"IEEE Trans. Software Eng., vol. 16, no. 4, pp. 403-414, April 1990.
[8] C. A. R. Hoare, "Communicating sequential processes,"Commun. ACM, vol. 21, pp. 666-677, 1978.
[9] A.R. Kaminsky, Lecture notes for "Principles of distributed systems," School Comput. Technol., Rochester Inst. Technol., Rochester, NY, Jan. 1987.
[10] R.B. Kieburtz and A. Silberschatz, "Comments on 'Communicating sequential processes',"ACM Trans. Program. Lang. Syst., vol. 1, no. 4, pp. 218-225, Oct. 1979.
[11] P. B. Ladkin, "Satisfying first-order constraints about time intervals," inProc. Seventh Nat. Conf. Artificial Intelligence, Amer. Assoc. Artificial Intell., 1988, pp. 512-517.
[12] P. B. Ladkin, "Specification of time dependencies and synthesis of concurrent processes," inProc. Ninth Int. Conf. Software Engineering. Washington, DC: IEEE Computer Society Press, 1987, pp. 106-115.
[13] L. S. Levy, "A metaprogramming method and its economic justification,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 272-277, Feb. 1986.
[14] E. H. Lipper, B. Melamed, R. J. T. Morris, and P. Zave, "A multi-level secure message switch with minimal TCB: Architectural outline and security analysis," inProc. Fourth Aerospace Computer Security Applications Conf., 1988, pp. 242-249.
[15] E.E. McCoy and P. Zave, "Multistage, multifaceted analysis of telecommunications network architecures," inProc. IEEE Infocom '89. Washington, DC: IEEE Computer Society Press, 1989, pp. 91-95.
[16] K. M. Sacha, "Embedded systems software specification and design methods," inProc. Second Int. Conf. Software Engineering for Real-Time Systems, IEEE, 1989, pp. 260-264.
[17] M. Surette and A. Ingle, "Experiences using PAISLey, a system for operational specifications," inProc. Bellcore Software Engineering Symp., Bell Communications Research, Somerset, NJ, Sept., 1986, pp. 15-24.
[18] B. Swartout, "Gist English generator," inProc. Nat. Conf. Artificial Intelligence, Amer. Assoc. Artificial Intell., 1982, pp. 404-409.
[19] P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 198-210, Feb. 1986.
[20] J. Welsh, W. J. Sneeringer, and C. A. R. Hoare, "Ambiguities and insecurities in Pascal,"Software--Practice and Experience, vol. 7, pp. 685-696, 1977.
[21] R. Willison, "PyGraph: A graphic front-end for the PAISLey executable specification language," M. S. thesis, School Comput. Sci. Technol., Rochester Inst. Technol., Rochester, NY, Oct. 1987.
[22] C.-S. Wu, "Final report on the formal specification of DEDIX," Dep. Comput. Sci., Univ. California Los Angeles, Dec. 1988.
[23] P. Zave, "Case study: The PAISLey approach applied to its own software tools,"Comput. Lang., vol. 11, no. 1, pp. 15-28, 1986.
[24] P. Zave, "A compositional approach to multiparadigm programming,"IEEE Software, vol. 6, no. 5, pp. 15-25, Sept. 1989.
[25] P. Zave, "A functional technique for decomposing the complexity of requirement analysis," inProc. Fifteenth Annu. Hawaii Int. Conf. Systems Sciences. North Hollywood, CA: Western, 1982, pp. 295-303.
[26] P. Zave, "An operational approach to requirements specification for embedded systems,"IEEE Trans. Software Eng., vol. SE-8, no. 3, pp. 250-269, May 1982.
[27] P. Zave, "The operational versus the conventional approach to software development,"Commun. ACM, vol. 27, no. 2, pp. 104-118, Feb. 1984.
[28] P. Zave, "PAISLey user documentation, Volume 1: Reference manual," AT&T Bell Lab., Murray Hill, NJ, Tech. Memo. 11254-87 09 04-13, 1987.
[29] P. Zave, "PAISLey user documentation, Volume 2: Tutorial," AT&T Bell Lab., Murray Hill, NJ, Tech. Memo. 11254-87 07 27-09, July 1987.
[30] P. Zave, "PAISLey user documentation, Volume 3: Case studies," AT&T Bell Lab., Murray Hill, NJ, Tech. Memo. 11254-87 07 13-07, July 1987.
[31] P. Zave, "Specification and analysis of worst-case delay requirements," AT&T Bell Lab., Murray Hill, NJ, Tech. Memo. 11384-84 08 22 01, Aug. 1984.
[32] P. Zave and G.E. Cole, Jr., "A quantitative evaluation of the feasibility of, and suitable hardware architectures for, an adaptive, parallel finite-element system,"ACM Trans. Math. Software, vol. 9, no. 3, pp. 271-292, Sept. 1983.
[33] P. Zave and W. C. Rheinboldt, "The design of an adaptive, parallel finite-element system,"ACM Trans. Math. Software, vol. 5, no. 1, pp. 1-17, Mar. 1979.
[34] P. Zave and W. Schell, "Salient features of an executable specification language and its environment,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 312-325, Feb. 1986.
[35] P. Zave and R.T. Yeh, "Executable requirements for embedded systems," inProc. Fifth Int. Conf. Software Engineering. Washington, DC: IEEE Computer Society Press, 1981, pp. 295-304.

Index Terms:
PAISLey; executable specification; specification methods; analysis techniques; software tools; formal specification; software tools; specification languages
Citation:
P. Zave, "An Insider's Evaluation of PAISLey," IEEE Transactions on Software Engineering, vol. 17, no. 3, pp. 212-225, March 1991, doi:10.1109/32.75412
Usage of this product signifies your acceptance of the Terms of Use.