Discrete control for safe execution of IT automation workflows

Operating Systems Review (ACM)

Volumn , Issue , 2007, Pages 305-314

  Wang, Yin ^a   Kelly, Terence ^b   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Deadlock avoidance; Discrete control; Workflow

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE; ERROR ANALYSIS; STATIC ANALYSIS; INFORMATION TECHNOLOGY;

DEADLOCK AVOIDANCE; WORKFLOW;

DISCRETE TIME CONTROL SYSTEMS; MANAGEMENT;

AUTOMATION SYSTEMS; DEADLOCK AVOIDANCE; DISCRETE CONTROL; ERROR PRONES; PRODUCTION SYSTEM; RUNTIMES; WORK-FLOWS; WORKFLOW TECHNOLOGY;

EID: 34548047009     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1272996.1273028     Document Type: Conference Paper

References (37)

1. J. Albrecht, C. Tuttle, A. C. Snoeren, and A. Vahdat. Planetlab application management using plush. SIGOPS Oper. Syst. Rev., 40(1):33-40, Jan. 2006.
2. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In Proc. EuroSys, Apr. 2006.
3. Y. Bar-David and G. Taubenfeld. Automatic discovery of mutual exclusion algorithms. In Proc. 17th Int'l Sympos. Dist. Comput (LNCS 2648), pages 136-150, Oct. 2003.
4. N. Ben Hadj-Alouane, S. Lafortune, and F. Lin. Variable lookahead supervisory control with state information. IEEE Trans. on Automatic Control, 39(12):2398-24.10, Dec. 1994.
5. B. A. Brandin. The real-time supervisory control of an experimental manufacturing cell. IEEE Trans. on Robotics & Automation, 12(1):1-14, Feb. 1996.
6. A. B. Brown and J. L. Hellerstein. Reducing the cost of IT operations-is automation always the answer? In HotOS, June 2005.
7. Y-L. Chen, S. Lafortune, and F. Lin. Resolving feature interactions using modular supervisory control with priorities. In Feature Interactions in Telecom. Networks IV, pages 108-122. IOS Press, 1997.
8. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Trans. on Automatic Control, 33(3):249-260, Mar. 1988.
9. E. W. Dijstra. Selected Writings on Computing, chapter The Mathematics Behind the Banker's Algorithm, pages 308-312. Springer-Verlag, 1982.
10. E. Eide, L. Stoller, T. Stack, J. Freire, and J. Lepreau Integrated scientific workflow management for the emulab network testbed. In USENIX Annual Technical Conference, Dec. 2006.
11. K. Farkas, S. Iyer, V. Machiraju, J. Pruyne, and A. Sahai. Automated provisioning of shared services. In Proceedings of the 10th IFIP/IEEE Symposium on Integrated Management, May 2007.
12. J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury. Feedback Control of Computing Systems. Wiley, 2004.
13. jBPM. http://www.jboss.com/products/jbpm.
14. K. Keeton. Personal communication.
15. K. Keeton, D. Beyer, E. Brau, A. Merchant, C. Santos, and A. Zhang. On the road to recovery: Restoring data after disasters. In Proc. EuroSys, Apr. 2006.
16. E. Kiciman and L. Subramanian. A root cause localization model for large scale systems. In HotDep, June 2005.
17. B. Kiepuszewski, A. ter Hofstede, and W. van der Aalst. Fundamentals of control flow in workflows. Acta Informatica, 39(3):143-209, 2003.
18. C. Killian, J. Anderson, R. Jhala, and A. Vahdat. Life, death, and the critical transition: Finding liveness bugs in systems code. Technical report, UC San Diego, 2006. http://mace.ucsd.edu/papers/MaceMC_TR.pdf.
19. F. Lin and W. M. Wonham. On observability of discrete-event systems. Information Sciences, 44(3): 173-198, 1988.
20. H. Marchand and S. Pinchinat. Supervisory control problem using symbolic bisimulation techniques. In American Control Conference, pages 4067-4071, June 2000.
21. J. Mendling, M. Moser, G. Neumann, H. Verbeek, B. van Dongen, and W. van der Aalst. A quantitative analysis of faulty EPCs in the SAP reference model. Technical Report BPM-06-08, Business Process Management Center, 2006. http://is.tm.tue.nl/staff/wvdaalst/BPMcenter/reports/2006/BPM-06-08.pdf%.
22. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, Apr. 1989.
23. K. Nagaraja, F. Oliveira, R. Bianchini, R. P. Martin, and T. D. Nguyen. Understanding and dealing with operator mistakes in Internet services. In Proc. OSDI, Dec. 2004.
24. D. Oppenheimer, A. Ganapathi, and D. A. Patterson. Why do Internet services fail, and what can be done about it? In Proc. USITS, Mar. 2003.
25. Oracle BPEL workflows, http://www.oracle.com/technology/products/ias/ bpel/.
26. C. Ouyang, E. Verbeek, W. M. P. van der Aalst, S. Breutel, M. Dumas, and A. H. M. ter Hofstede. Wofbpel: A tool for automated analysis of BPEL processes. In ICSOC, pages 484-489, Dec. 2005.
27. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: Treating bugs as allergies - a safe method to survive software failure. In Proc. SOSP, Oct. 2005.
28. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1):206-230, 1987.
29. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and J. William S. Beebee. Enhancing server availability and security through failure-oblivious computing. In Proc. OSDI, Dec. 2004.
30. M. Sampath. A hybrid approach to failure diagnosis of industrial systems. In American Control Conference, pages 2077-2082, June 2001.
31. M. Sampath, R. Sengupta, K. S. S. Lafortune, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans. on Automatic Control, 40(9): 1555-1575, Sept. 1995.
32. Secure programming lint, http://wwww.splint.org/.
33. Sun. Workshop: Command-Line Utilities, chapter 24: Using Lock Lint. Sun Press, 2006. http://docs.sun.com/app/docs/doc/802-5763/.
34. W. van der Aalst and A. ter Hofstede. Verification of workflow task structures: A petri-net-based approach. Information Systems, 25(1):43-69, 2000.
35. Y. Wang, T-S. Yoo, and S. Lafortune. Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dynamic Systems, 17(1), 2007.
36. W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete event systems. Mathematics of Control of Discrete Event Systems, 1(1):13-30, 1988.
37. J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using model checking to find serious file system errors. In Proc. OSDI, Dec. 2004.