Yeast: A General Purpose Event-Action System

IEEE Transactions on Software Engineering

Volumn 21, Issue 10, 1995, Pages 845-857

  Krishnamurthy, Balachander ^a   Rosenblum, David S ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Computer networks; distributed computing; event models; event action systems; software development environments; software process; specifications

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER NETWORKS; COMPUTER WORKSTATIONS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; LARGE SCALE SYSTEMS; SPECIFICATIONS; SYSTEMS ANALYSIS; USER INTERFACES;

EVENT MODELS; EVENT-ACTION SYSTEMS; SOFTWARE PROCESS; YET ANOTHER EVENT-ACTION SPECIFICATION TOOL;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0029388114     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.469456     Document Type: Article

References (25)

1. S.P. Reiss, “Connecting tools using message passing in the Field environment,” IEEE Software, vol. 7, no. 4, pp. 57-66, July 1990.
2. C. Gerety, “HP SoftBench: A new generation of software development tools,” Tech. Rep. SESD-89-25, Hewlett-Packard Software Engineering Systems Division, Fort Collins, Colorado, Nov. 1989.
3. N.H. Gehani and H.V. Jagadish, “Ode as an active database: Constraints and triggers,” in VLDB 91: Proc. 17th Int'l Conf. on Very Large Data Bases. IEEE Computer Society, pp. 327-336, Sept. 1991.
4. D. Cohen, “Compiling complex database transition triggers,” in SIGMOD 89: Proc. 1989 Int'l Conf. on Management of Data. ACM SIGMOD, pp. 225-234, May-June 1989.
5. G.E. Kaiser, N.S. Barghouti, P.H. Feiler, and R.W. Schwanke, “Database support for knowledge-based engineering environments,” IEEE Expert, pp. 18-32, Summer 1988.
6. G.E. Kaiser, P.H. Feiler, and S.S. Popovich, “Intelligent assistance for software development and maintenance,” IEEE Software, vol. 5, no. 3, pp. 40-49, May 1988.
7. R.W. Selby, A.A. Porter. D.C. Schmidt, and J. Berney, “Metric-driven analysis and feedback systems for enabling empirically guided software development,” Proc. 13th Int'l Conf. on Software Engineering. IEEE Computer Society, pp. 288-298 May 1991.
8. M.I. Bolsky and D.G. Korn, The New KornShell Command and Programming Language, Prentice-Hall, 1995.
9. Computer Science Division, Univ. of California, Berkeley, “UNIX Programmer's Manual,” 4.3 Berkeley Software Distribution, Apr. 1986.
10. G. Fowler, D. Korn, S. North, H. Rao, and K.-P. Vo, “Libraries and file system architecture,” Practical Reusable UNIX Software. B. Krishnamurthy, ed., chapter 2, pp. 78-90, Wiley, 1995.
11. E. Krell and B. Krishnamurthy, “COLA: Customized overlaying,” Proc. USENIX Winter 1992 Conference, pp. 3-7, 1992.
12. Y. Huang and C. Kintala, “A software fault tolerance platform,” Practical Reusable UNIX Software, B. Krishnamurthy, ed., chapter 8, Wiley, 1995.
13. B. Krishnamurthy and C.E. Wills, “Omicron: Events Actions,” Tech. Rep. CSD TR 594, Dept. of Computer Sciences, Purdue Univ., Apr. 1986.
14. S.I. Feldman, “Make—a program for maintaining computer programs,” Software—Practice and Experience, vol. 9, no. 3, pp. 255-265. Mar. 1979.
15. G.S. Fowler, “The fourth generation make,” Proc. USENIX Portland 1985 Summer Conf. pp. 159-174. 1985.
16. D.B. Leblang and R.B. Chase, Jr.. “Computer-aided software engineering in a distributed workstation environment,” Proc. Software Engineering Symp. on Practical Software Development Environments. ACM SIGSOFT/SIGPLAN, pp. 104-112, Apr. 1984.
17. D.B. Leblang and R.B. Chase, Jr.. “Parallel software configuration management in a network environment.” IEEE Software, vol. 4, no. 6, pp. 28-35, Nov. 1987.
18. B. Krishnamurthy and N.S. Barghouti, “Provence: A Process Visualization and Enactment Environment,” Proc. 4th European Software Engineering Conf. (ESEC4), Garmisch-Partenkirchen, Germany, pp. 151-160, Springer-Verlag, Lecture Notes in Computer Science no. 717, Sept. 1993.
19. D.C. Luckham, D.P. Helmbold, S. Meldal, D.L. Bryan, and M.A. Haberler, “Task sequencing language for specifying distributed Ada systems,” System Development and Ada: Proc. of the CRAI Workshop on Software Factories and Ada, Habermann and Montanari, eds., pp. 249-305, Springer-Verlag, Lecture Notes in Computer Science, no. 275, 1987.
20. D.S. Rosenblum, “Specifying concurrent systems with TSL,” IEEE Software, vol. 8, no. 3, pp. 52-61, May 1991.
21. Y.-F. Chen, Event Management in Computer Networks, PhD thesis, Computer Science Division, Electrical Engineering and Computer Science Department, University of California at Berkeley, December 1987.
22. N.H. Minsky, “The imposition of protocols over open distributed systems,” IEEE Transactions on Software Engineering, vol. 17, no. 2, pp. 183-195, Feb. 1991.
23. N.S. Barghouti and B. Krishnamurthy, “Using event contexts and matching constraints to monitor software processes effectively,” IEEE Computer Society, Proc. 17th Int'l Conf. on Software Engineering (ICSE-17), Seattle, Wash., May 1995.
24. E. Koutsofios and B. Krishnamurthy, “Combining interactive tools,” presented at CSCW 92: ACM Workshop on Tools & Technologies for CSCW, Oct. 1992.
25. P. Inverardi, B. Krishnamurthy, and D. Yankelevich, “Yeast: A case study for a practical use of formal methods,” TAPSOFT 93: Proc. 5th Int'l Joint Conf. on Theory and Practice of Software Development, pp. 105-120, Springer-Verlag, Lecture Notes in Computer Science no. 668, Apr. 1993.