{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:52Z","timestamp":1750308232588,"version":"3.41.0"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1984,7,1]],"date-time":"1984-07-01T00:00:00Z","timestamp":457488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1984,7]]},"abstract":"<jats:p>PAISLey is an executable specification language that is especially well suited to real-time and distributed systems. It is motivated by an approach to software development based on the separation of problem-oriented from implementation-oriented concerns, and promising several substantial benefits over conventional development cycles. The language is executed by an interpreter that provides capabilities for debugging specifications, giving demonstrations to customers, early performance simulation, and (eventually) rapid prototyping. The language has been the vehicle for major example specifications in four problem domains, and for two methods for reducing whole classes, of problems to appropriate specifications. In June 1984 the emphasis of the PAISLey project will shift to practical use and evaluation, starting with PAISLey workshops and consulting services offered to potential user organizations by a technology-transfer program within AT&amp;T Bell Laboratories. This paper is intended to summarize what has been achieved so far and to serve as a guide for further reading.<\/jats:p>","DOI":"10.1145\/1012339.1012340","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:09Z","timestamp":1097170749000},"page":"12-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["An overview of the PAISLey project-1984"],"prefix":"10.1145","volume":"9","author":[{"given":"Pamela","family":"Zave","sequence":"first","affiliation":[{"name":"AT&amp;T Bell Laboratories, Murray Hill, New Jersey"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1984,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654237"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/800235.807084"},{"volume-title":"The Architecture of Concurrent Programs","year":"1977","key":"e_1_2_1_4_1","unstructured":"{Brinch Hansen 77} Per Brinch Hansen , The Architecture of Concurrent Programs , Prentice-Hall, Inc. , Englewood Cliffs , New Jersey, 1977 . {Brinch Hansen 77} Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1977."},{"volume-title":"JSP and JSD: The Jackson Approach to Software Development","year":"1983","key":"e_1_2_1_5_1","unstructured":"{Cameron 83} John Cameron , JSP and JSD: The Jackson Approach to Software Development , IEEE Computer Society , 1983 . {Cameron 83} John Cameron, JSP and JSD: The Jackson Approach to Software Development, IEEE Computer Society, 1983."},{"volume-title":"Friedman","author":"Filman E.","key":"e_1_2_1_6_1","unstructured":"{Filman & Friedman} Robert E. Filman and Daniel P . Friedman , Coordinated Computing : Tools and Techniques for Distributed Software, McGraw-Hill , Inc., to be published. {Filman & Friedman} Robert E. Filman and Daniel P. Friedman, Coordinated Computing: Tools and Techniques for Distributed Software, McGraw-Hill, Inc., to be published."},{"key":"e_1_2_1_7_1","first-page":"2B","volume-title":"Sixth Texas Conference on Computing Systems","author":"D.","year":"1977","unstructured":"{Fitzwater & Zave 77} D. R. Fitzwater and Pamela Zave. \"The Use of Formal Asynchronous Process Specifications in a System Development Process \", Sixth Texas Conference on Computing Systems , Austin, Texas , November 1977 , pp. 2B - 21 --2B-30. {Fitzwater & Zave 77} D. R. Fitzwater and Pamela Zave. \"The Use of Formal Asynchronous Process Specifications in a System Development Process\", Sixth Texas Conference on Computing Systems, Austin, Texas, November 1977, pp. 2B-21--2B-30."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/361405.361409"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/356612.356614"},{"key":"e_1_2_1_11_1","volume-title":"System Development","author":"Jackson A.","year":"1983","unstructured":"{Jackson 83} Michael A. Jackson , System Development , Prentice-Hall International, Inc. , 1983 . {Jackson 83} Michael A. Jackson, System Development, Prentice-Hall International, Inc., 1983."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357077"},{"key":"e_1_2_1_13_1","first-page":"408","volume-title":"Seventh International Conference on Software Engineering","author":"Parnas D. L.","year":"1984","unstructured":"{Parnas et.al. 84} D. L. Parnas , P. C. Clements , and D. M. Weiss , \" The Modular Structure of Complex Systems \", Seventh International Conference on Software Engineering , Orlando, Florida , March 1984 , pp. 408 -- 417 . {Parnas et.al. 84} D. L. Parnas, P. C. Clements, and D. M. Weiss, \"The Modular Structure of Complex Systems\", Seventh International Conference on Software Engineering, Orlando, Florida, March 1984, pp. 408--417."},{"key":"e_1_2_1_14_1","volume-title":"Software Development Tools","author":"C.","year":"1980","unstructured":"{Smith & Smith 80} John Miles Smith and Diane C. P . Smith, \"A Data Base Approach to Software Specification \", Software Development Tools , W. E. Riddle and R. E. Fairley, eds., Springer-Verlag , 1980 . {Smith & Smith 80} John Miles Smith and Diane C. P. Smith, \"A Data Base Approach to Software Specification\", Software Development Tools, W. E. Riddle and R. E. Fairley, eds., Springer-Verlag, 1980."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/800235.807081"},{"key":"e_1_2_1_16_1","first-page":"35","volume-title":"International Conference on Parallel Processing","year":"1976","unstructured":"{Zave 76} Pamela Zave, \"On the Formal Definition of Processes\" , International Conference on Parallel Processing , Waldenwoods, Michigan , August 1976 , pp. 35 -- 42 . {Zave 76} Pamela Zave, \"On the Formal Definition of Processes\", International Conference on Parallel Processing, Waldenwoods, Michigan, August 1976, pp. 35--42."},{"key":"e_1_2_1_17_1","first-page":"117","article-title":"A Comprehensive Approach to Requirements Problems","year":"1979","unstructured":"{Zave 79a} Pamela Zave , \" A Comprehensive Approach to Requirements Problems \", COMPSAC, Chicago, Illinois , November 1979 , pp. 117 -- 122 . {Zave 79a} Pamela Zave, \"A Comprehensive Approach to Requirements Problems\", COMPSAC, Chicago, Illinois, November 1979, pp. 117--122.","journal-title":"COMPSAC, Chicago, Illinois"},{"key":"e_1_2_1_18_1","first-page":"4B","volume-title":"Eighth Texas Conference on Computing Systems","year":"1979","unstructured":"{Zave 79b} Pamela Zave, \"Formal Specification of Complete and Consistent Performance Requirements\" , Eighth Texas Conference on Computing Systems , Dallas, Texas , November 1979 , pp. 4B - 18 --4B-25. {Zave 79b} Pamela Zave, \"Formal Specification of Complete and Consistent Performance Requirements\", Eighth Texas Conference on Computing Systems, Dallas, Texas, November 1979, pp. 4B-18--4B-25."},{"key":"e_1_2_1_19_1","first-page":"21","volume-title":"ACM Technical Symposium","year":"1980","unstructured":"{Zave 80} Pamela Zave, \"Real-World\" Properties in the Requirements for Embedded Systems\", Nineteenth Annual Washington, D.C . ACM Technical Symposium , Gaithersburg, Maryland , June 1980 , pp. 21 -- 26 . {Zave 80} Pamela Zave, \"Real-World\" Properties in the Requirements for Embedded Systems\", Nineteenth Annual Washington, D.C. ACM Technical Symposium, Gaithersburg, Maryland, June 1980, pp. 21--26."},{"key":"e_1_2_1_20_1","first-page":"250","article-title":"An Operational Approach to Requirements Specifications for Embedded Systems","year":"1982","unstructured":"{Zave 82a} Pamela Zave , \" An Operational Approach to Requirements Specifications for Embedded Systems \", IEEE Transactions on Software Engineering SE-8 , May 1982 , pp. 250 -- 269 . {Zave 82a} Pamela Zave, \"An Operational Approach to Requirements Specifications for Embedded Systems\", IEEE Transactions on Software Engineering SE-8, May 1982, pp. 250--269.","journal-title":"IEEE Transactions on Software Engineering SE-8"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/800220.806680"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800173.809737"},{"key":"e_1_2_1_23_1","unstructured":"{Zave 84a} Pamela Zave \"The Anatomy of a Process-Control System\/Part I: A Specification Framework and Its Properties\" in preparation.  {Zave 84a} Pamela Zave \"The Anatomy of a Process-Control System\/Part I: A Specification Framework and Its Properties\" in preparation."},{"key":"e_1_2_1_24_1","unstructured":"{Zave 84b} Pamela Zave \"The Anatomy of a Process-Control System\/Part II: Case Study\" in preparation.  {Zave 84b} Pamela Zave \"The Anatomy of a Process-Control System\/Part II: Case Study\" in preparation."},{"key":"e_1_2_1_25_1","unstructured":"{Zave 84c} Pamela Zave \"Case Study: The PAISLey Approach Applied To Its Own Software Tools\" submitted for publication.  {Zave 84c} Pamela Zave \"Case Study: The PAISLey Approach Applied To Its Own Software Tools\" submitted for publication."},{"key":"e_1_2_1_26_1","unstructured":"{Zave 84d} Pamela Zave \"A Distributed Alternative to Finite-State-Machine Specifications\" submitted for publication.  {Zave 84d} Pamela Zave \"A Distributed Alternative to Finite-State-Machine Specifications\" submitted for publication."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/69610.357982"},{"key":"e_1_2_1_28_1","unstructured":"{Zave 84f} Pamela Zave \"Specification and Analysis of Worst-Case Delay Requirements\" submitted for publication.  {Zave 84f} Pamela Zave \"Specification and Analysis of Worst-Case Delay Requirements\" submitted for publication."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/356044.356045"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/355815.355816"},{"key":"e_1_2_1_31_1","first-page":"295","volume-title":"Fifth International Conference on Software Engineering","year":"1981","unstructured":"{Zave & Yeh 81} Pamela Zave and Raymond T . Yeh, \"Executable Requirements for Embedded Systems \", Fifth International Conference on Software Engineering , San Diego, California , March 1981 , pp. 295 -- 304 . {Zave & Yeh 81} Pamela Zave and Raymond T. Yeh, \"Executable Requirements for Embedded Systems\", Fifth International Conference on Software Engineering, San Diego, California, March 1981, pp. 295--304."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012339.1012340","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1012339.1012340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:41Z","timestamp":1750264301000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012339.1012340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,7]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1984,7]]}},"alternative-id":["10.1145\/1012339.1012340"],"URL":"https:\/\/doi.org\/10.1145\/1012339.1012340","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1984,7]]},"assertion":[{"value":"1984-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}