Verification problems in conceptual workflow specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1157 LNCS, Issue , 1996, Pages 73-88

  Ter Hofstede, A H M ^a   Orlowska, M E ^a   Rajapakse, J ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIAL APPROXIMATION; SOFTWARE DESIGN; SPECIFICATION LANGUAGES;

AUTONOMOUS SYSTEMS; BUSINESS REQUIREMENT; SEQUENTIAL EXECUTION; SOFTWARE DEVELOPMENT PROCESS; SYSTEMS DEVELOPMENT PROCESS; TERMINATION PROBLEMS; VERIFICATION PROBLEMS; WORKFLOW SPECIFICATION;

SPECIFICATIONS;

EID: 21444455914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0019916     Document Type: Conference Paper

References (16)

1. [ASSR93] P. Attie, P. Singh, A. Sheth, and M. Rusinkiewicz. Specifying and Enforcing Intertask Dependencies. In R. Agrawaa, S. Baker, and D. Bell, editors, Proceedings of the 19th VLDB Conference, pages 134-145, Dublin, Ireland, August 1993.
2. [BCS93] Y. Breibart, D. Georgakopoulos, and H. Schek. Merging Application-centric and Data-centric Approaches to Support Transaction-oriented Multi-system Workflows. SIGMOD Record, 22(3):23-30, September 1993.
3. [Bot89]P.W.G. Bots. An Environment to Support Problem Solving. PhD thesis, Delft University of Technology, Delft, The Netherlands, 1989.
4. [BW90] J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990.
5. [CCPP95]F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Conceptual Modeling of Workflows. In M.P. Papazoglou, editor, Proceedings of the OOER'95, 41th International Object-Oriented and Entity-ttelationship Modelling Conference, volume 1021 of Lecture Notes in Computer Science, pages 341-354. Springer-Verlag, December 1995.
6. A. Forst, E. Kuhn, and O. Bukhres. General Purpose Workflow Languages. Distributed and Parallel Databases, 3(2):187-218, April 1995.
7. D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Workflow Management: From Process Modelling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3(2):119-153, April 1995.
8. M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to NPCompleteness. W.H. Freeman and Company, San Francisco, California, 1979.
9. A.H.M. ter Hofstede and E.R. Nieuwland. Task structure semantics through process algebra. Software Engineering Journal, 8(1):14-20, January 1993.
10. N.D. Jones, L.H. Landweber, and Y.E. Lien. Complexity of Some Problems in Petri Nets. Theoretical Computer Science, 4:277-299, 1977.
11. N. Krishnakumar and A. Sheth. Managing Heterogenous Multi-system Tasks to Support Enterprise-wide Operations. Distributed and Parallel Databases, 3(2):155-186, April 1995.
12. J.A. Miller, Ai Sheth, K.J. Kochut, and X. Wang. CORBA-Based Run-Time Architectures for Workflow Management Systems. Journal of Database Management, 7(1):16-27, 1996.
13. J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewoods Cliffs, New Jersey, 1981.
14. M. Rusinkiewicz and A. Sheth. Specification and execution of transactional workflows. In W. Kim, editor, Modern Database Systems: The Object Model, Interoperability, and Beyond. ACM Press, Cambridge, Massachusetts, 1994.
15. A. Salomaa. Formal Languages. ACM Monograph Series. Academic Press, New York, New York, 1973.
16. G.M. Wijers, A.H.M. ter Hofstede, and N.E. van Oosterom. Representation of Information Modelling Knowledge. In V.-P. Tahvanainen and K. Lyytinen, editors, Next Generation CASE Tools, volume 3 of Studies in Computer and Communication Systems, pages 167-223. IOS Press, 1992.