- 1.G. Alomo, D. Agrawal, A. E1 Abbadi, M. Kamath, R. Gtlnth~r, and C. Mohan. Advanced transaction models in workflow contexts, in International Con. /evener on Data Engineering, New Orleans, Louisiana, February 1996. Google ScholarDigital Library
- 2.G AlonBo, D. Agrawal, A. El Abbadi, and C. Mohan. I;kmcfionaUty and limitations of current workflow management systems. In IEEE.Ezpert (to appear in a special issue on Cooperative Information Systems}, 1997.Google Scholar
- 3.P, Attic, M. Singh, A. Sheth, and M. Rusintdewicz. Specifying and enforcing intertask dependencies. In 1ntl, Uonferenee on Very ~arge Data Bases, 1993. Google ScholarDigital Library
- 4.A,J, Bonner and M. Kifer. An overview of transaction logic, Theoretical Computer Science, 133:205-265, October 1994. Google ScholarDigital Library
- 5.A,J, Bormer and M. Kifer. Transaction logic protramming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto, November 1995. Unpublished manuscript.Google Scholar
- 6.A.J. Bonnet and M. Kifer. Concurrency and communieation in transaction logic. In Joint Intl. Conference and Symposium on Zogie Programming, pages 142-156, Bonn, Germany, September 1996. MIT Press.Google Scholar
- 7.A.J, Bonner, M. Kifer, and M. Consens. Database protramming in transaction logic. In A. Ohori C. Beeri and D.E, Shasha, editors, Proceedings of the International Workshop on Database Programming Languages, Workshops in Computing, pages 309-337. SpHnger-Verlag, February 1994. Workshop held on Aug 30-Sept I, 1993, New York City, NY. Google ScholarDigital Library
- 8.O, Bukhres and E. Kueshn, Eds. Special issue on software support for work flow management. Distributed and .Parallel Databases---An International Journal, z(2), ap zGoogle Scholar
- 9.Edmund M. Clarke, E. Allen Emerson, and A. Ptasad Sinl;la, Automatic verification of finite-state concurrent systems using temporal logic specifications. In .4CM ~t'ansaetions on .Programming Languages and Systems (TOPLAS), pages 244-263, 1986. Google ScholarDigital Library
- 10.Worldtow Management Coalition. Terminology and glossary, Technical Report (WFMC-TC-1011), Workflow Management Coalition, Brussels, 1996.Google Scholar
- 11.U, Dayal, M. Hsu, and R. Ladin. Organizing Iongrunning activities with triggers and transactions. In A UM SIGMOD Conference on Managemen~ of Data, 1990, Google ScholarDigital Library
- 12.A, Elmagarmid, Y. Leu, W. Litwin, and M, Rusinldewcz. A multi - database transaction model for interbase. In Intl. Conference on Very Large Data Bases, 1990. Google ScholarDigital Library
- 13.A,K, Elmagarmid, editor. Database Transaction Mod. ~In for Advanced Applications. Morgan-Kaufmann, San Ma~eo, CA, 1992. Google ScholarDigital Library
- 14.E,A, Emerson. Temporal and modal logic. In Handbook of Tl~eoretieal Computer Science, pages 997-1072, 1990. Google ScholarDigital Library
- 15.H. Garda-Mol~a and K. Salem. Sagas. In Intl. Conference on Very Large Data Bases, pages 249--259, May 1987.Google Scholar
- 16.M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP- Completeness. Freeman and Company, San Frandseo, CA, 1978. Google ScholarDigital Library
- 17.D. Georgakopoulos, M. Hornick, P. Krychniak, and F. Manola. Spedfication and management of extended transactions in a programmable transaction environment. In International Conference on Data Engineering, Houston, TX, February 1994. Google ScholarDigital Library
- 18.D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to infrastructure for automation. Journal on Distributed and Parallel Database Systems, 3C2):119--153, April 1995. Google ScholarDigital Library
- 19.R. Gunthor. Extended transaction processing based on dependency rules. In Proceedings of the RIDE-IMS Workshop, 1993.Google ScholarCross Ref
- 20.M. Hsu, Ed. Special issue on workflow systems. Bulletin of the Technical Committee on Data Engineering (IEEE Computer Society), 18(1), March 1995.Google Scholar
- 21.M. Kifer. Transaction logic for the busy worldlow professional. Unpublished manuscript, August 1996.Google Scholar
- 22.J. Klein. Advanced rule-driven transaction managemerit, in IEEE COMPCON. IEEE, 1991.Google Scholar
- 23.R. Mi}ncr. Communication and Concurrency. Prentice Hall, 1989. Google ScholarDigital Library
- 24.M.E. Orlowska, J. Rajapakse, and A.H.M. ter Hofstede. Verification problems in conceptual workflow specifications. In Intl. Conference on Conceptual Modelling, volume 1157 of Lecture Notes in Computer Science, Cottbus, Germany, 1996. Springer-Verlag. Google ScholarDigital Library
- 25.M. Rusinkiewicz and A. Sheth. Specification and execution of transactional worldtows. In W. Kim, editor, In Modern Database Systems: The Object Model, In. teroperability, and Beyond. ACM Press, 1994. Google ScholarDigital Library
- 26.M.P. Singh. Semantical considerations on workflows: An algebra for intertask dependendes. In -proceedings of the International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, September 6--8 1995. Google ScholarDigital Library
- 27.M.P. Singh. Synthesizing distributed constrained events from transactional workflow specifications, In Proceedings of 12-th IEEE Intl. Conference on Data Engineering, pages 616-623, New Orleans, LA, February 1996. Google ScholarDigital Library
- 28.H. Wachtcr and A. Rearer. The ConTract model. In {13}, chapter 7, pages 220-263. 1992. Google ScholarDigital Library
- 29.Dirk Wodtke and Gerhard Weikum. A formal foundation for distributed workflow execution based on state charts. In Intl. Conference on Database Theory, pages 230-246, 1997. Google ScholarDigital Library
Index Terms
- Logic based modeling and analysis of workflows
Recommendations
Network Analysis of Scientific Workflows: A Gateway to Reuse
Online workflow repositories let scientists share successful experimental routines and compose new workflows from best practices and existing service components. The authors share the results of a social- network analysis of the myExperiment workflow ...
A probabilistic fuzzy logic system for modeling and control
In this paper, a probabilistic fuzzy logic system (PFLS) is proposed for the modeling and control problems. Similar to the ordinary fuzzy logic system (FLS), the PFLS consists of the fuzzification, inference engine and defuzzification operation to ...
Comments