Modeling and analysis of interactions in virtual enterprises

Proceedings - 9th International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, RIDE-VE 1999

Volumn , Issue , 1999, Pages 12-18

  Davulcu, Hasan ^a   Kifer, Michael ^a   Pokorny, L Robert ^a   Ramakrishnan, C R ^a   Ramakrishnan, I V ^a   Dawson, Steven ^b  

^a Stony Brook University   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

OPEN SYSTEMS;

AUTOMATED SUPPORT; BUSINESS PROCESS; COMPUTER NETWORKING; FORMAL FRAMEWORK; MARKET TRENDS; MODEL AND ANALYSIS; START-UP COSTS; VIRTUAL ENTERPRISE;

VIRTUAL CORPORATION;

EID: 84911352576     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RIDE.1999.758587     Document Type: Conference Paper

References (15)

1. N. Adam, V. Atluri, and W. Huang. Modeling and analysis of workflows using petri nets. Journal of Intelligent Information Systems, 10(2):131-158, March 1998.
2. P. Attie, M. Singh, A. Sheth, and M. Rusinkiewicz. Specifying and enforcing intertask dependencies. In Intl. Conference on Very Large Data Bases, 1993.
3. W. Chen, M. Kifer, and D. Warren. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
4. P. Chrysanthis and K. Ramamritham. ACTA: A framework for specifying and reasoning about transaction structure and behavior. In ACM SIGMOD Conference on Management of Data, pages 194-203, May 1990.
5. H. Davulcu, M. Kifer, C. Ramakrishnan, and I. Ramakrishnan. Logic based modeling and analysis of workflows. In ACM Symposium on Principles of Database Systems, pages 25-33, Seattle, Washington, June 1998.
6. A. Dewey et al. The impact of NIIIP virtual enterprise technology on next generation manufacturing. In Proceedings of Conference on Agile and Intelligent Manufacturing Systems, 1996.
7. C. Gilman, M. Aparicio, J. Barry, T. Durniak, H. Lam, and R. Ramnath. Integration of design and manufacturing in a virtual enterprise using enterprise rules, intelligent agents, STEP, and workflow. In Proceedings of SPIE Vol. 3203, pages 160-171, 1997.
8. R. Gunthor. Extended transaction processing based on dependency rules. In Proceedings of the RIDE-IMS Workshop, 1993.
9. L. Haas, D. Kossmann, E. Wimmers, and J. Yang. Optimizing queries across diverse data sources. In Proceedings of the 23rd International Conference on Very Large Data Bases (VLDB '97), 1997.
10. J. Hammer, H. Garcia-Molina, S. Nestorov, R. Yerneni, M. Breunig, and V. Vassalos. Template-based wrappers in the TSIMMIS system. In Proceedings ACM SIGMOD International Conference on Management of Data (SIGMOD '97), pages 532-535, 1997.
11. M. Orlowska, J. Rajapakse, and A. 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.
12. R. Hopkins, D. Warren, A. Kahn, I. Ramakrishnan, J. Jones, M. Kifer, T. Swift, and L. Pokorny. CASP: A virtual parts supplier. In Proceedings of International Conference on Agile Manufacturing, 1997.
13. K. Sagonas, T. Swift, and D. Warren. XSB as an efficient deductive database engine. In ACM SIGMOD Conference on Management of Data, pages 442-453, New York, May 1994. ACM.
14. M. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proceedings of the International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, September 6-8 1995.
15. M. 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.