Declarative workflows that support easy modification and dynamic browsing

Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration, WACC 1999

Volumn , Issue , 1999, Pages 69-78

  Hull, Richard ^a   Llirbat, Francois ^a   Simon, Eric ^b   Su, Jianwen ^c   Dong, Guozhu ^d   Kumar, Bharat ^a   Zhou, Gang ^a  

^a LUCENT TECHNOLOGIES   (United States)

^b INRIA ROCQUENCOURT   (France)

^c University of California   (United States)

^d Wright State University   (United States)

Author keywords

Browsing; Choice based execution; Decision making; Declarative semantics; Workflow management

Indexed keywords

INSURANCE; SEMANTICS; VORTEX FLOW; WORK SIMPLIFICATION;

BROWSING; CHOICE-BASED EXECUTION; DECLARATIVE SEMANTICS; DECLARATIVE WORKFLOWS; ELECTRONIC COMMERCE APPLICATIONS; OPTIMIZATION STRATEGY; PROGRAMMING PARADIGMS; WORKFLOW MANAGEMENTS;

DECISION MAKING;

EID: 84936867921     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/295665.295674     Document Type: Conference Paper

References (25)

1. [AHV95] S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, Reading, MA, 1995.
2. [AIL98] A. Ailamaki, Y. Ioannidis, and M. Livny. Scientific workflow management by database management. In Proc. Int. Conf. on Scientific and Statistical Database Management, 1998.
3. [BBKV88] F. Bancilhon, T. Briggs, S. Khoshafian, and P. Valduriez. FAD, a powerful and simple database language. In Proc. Intl. Conf. on Very Large Data Bases, pages 97-105, 1988.
4. [BT98] G.A. Bolcer and R.N. Taylor. Advanced workflow management technologies. Tech. Rep., Info. & Comp. Sci., UC Irvine, 1998.
5. [BTS91] V. Breazu-Tannen and R. Subrahmanyam. Logical and computational aspects of programming with setsfoags/lists. In Proc. Int. Colloq. on Automata, Languages and Programming, Madrid, Spain, July 1991.
6. [CHRW98] A. Cichocki, A. Helal, M. Rusinkiewicz, and D. Woelk. Workflow and Process Automation: Concepts and Technology. Kluwer Academic Publishers, Boston, 1998.
7. [DKRR98] H. Davulcu, M. Kifer, C.R. Ramakrishnan, and I.V. Ramakr- ishnan. Logic based modeling and analysis of workflows. In Proc. ACM Symp. on Principles of Database Systems, pages 25-33, 1998.
8. [E1179] C. A. Ellis. Information control nets: A mathematical model of office information flow. In ACM Proc. Conf. Simulation, Modeling and Measurement of Computer Systems, pages 225-240, August 1979.
9. [For81] C. L. Forgy. OPS5 user's manual. Technical Report CMU-CS-81-135, Carnegie Mellon University, 1981.
10. [GHS95] D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases, 3(2):119-154, April 1995.
11. [Har88] D. Harel. On visual formalisms. Comm. of the ACM, 31(5), 1988.
12. [HLS+99] R. Hull, F. Llirbat, J. Su, G. Dong, B. Kumar, and G. Zhou. Adaptive execution of workflow: Analysis and optimization. Tech. Rep., Bell Labs, 1999.
13. [InC] Inc. InConcert. Inconcert web site (www.inconcert.com).
14. [KR96] M. Kamath and K. Ramamritham. Correctness issues in workflow management. Distributed Systems Engineering (DSE) Journal, 3(4), December 1996.
15. [Llo87] J. W. Lloyd. Foundations of Logic Programming (Second Edition). Springer-Verlag, Berlin, 1987.
16. [LR97] F. Leymann and D. Roller. Workflow-based applications. IBM Systems Journal, 36(1), 1997.
17. [MAGK95] C. Mohan, G. Alonso, R. Guenthoer, and M. Kamath. Exotica: A research perspective on workflow management systems. Data Engineering Bulletin, Special Issue on Infrastructure for Business Process Management, 18(1), March 1995.
18. [MVW95] C. Medeiros, G. Vossen, and M. Weske. Wasa: a workflow- based architecture to support scientific database applications. In Proc. 6th DEXA Conference, 1995.
19. [MWW+98] P. Muth, D. Wodtke, J. Weissenfels, G. Weikum, and A. Kotz Dittrich. Enterprise-wide workflow management based on state and activity charts. In A. Dogac, L. Kalinichenko, T. Ozsu, and A. Sheth, editors, Workflow Management Systems and Interoperability. Springer- Verlag, 1998.
20. [OBBT89] A. Ohori, P. Buneman, and V. Breazu-Tannen. Database programming in Machiavelli: A polymorphic language with static type inference. In Proc. ACM S1GMOD, 1989.
21. [PSV92] S. Parker, E. Simon, and P. Valduriez. Svp, a model capturing sets, streams, and parallelism. In Proc. Int. Conf. on Very Large Data Bases, Vancouver, Canada, Aug 1992.
22. [PYLS96] P. Piatko, R. Yangarber, D. Lin, and D. Shasha. Thinksheet: A tool for tailoring complex documents, in Proc. ACM SIGMOD, 1996.
23. [WC95] J. Widom and S. Ceri. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan-Kaufmann, Inc., San Francisco, California, 1995.
24. [WW97] D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In Proc. Int. Conf. on Database Theory, pages 230-246, 1997.
25. [WWWD96] D. Wodtke, J. Weissenfels, G. Weikum, and A. K. Dittrich. The Mentor project: Steps towards enterprise-wide workflow management. In Proc. IEEE Int. Conf. on Data Engineering, 1996.