Towards real-scale business transaction workflow modelling

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

Volumn 1250, Issue , 1997, Pages 437-450

  Barros, A P ^a   ter Hofstede, A H M ^b   Proper, H A ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INFORMATION SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SPEECH COMMUNICATION; SYSTEMS ENGINEERING; WORK SIMPLIFICATION;

BUSINESS PROCESSING; BUSINESS TRANSACTION; ENTERPRISE MODELLING; MODELLING TECHNIQUES; SERVICE ENCAPSULATIONS; TEMPORAL CONSTRAINTS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW SPECIFICATION;

FORMAL METHODS;

EID: 84947945044     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (10)

1. [BB95] A.T. Berztiss and J.A. Bubenko. A software process model for business reengineering. In Proceedings of Information Systems Development for Decentralized Organizations (ISDO95), an IFIP 8.1 Working Conference, Trondheim, Norway, August 1995. Chapman & Hall.
2. [BH96] A.P. Barros and A.H.M. ter Hofstede. Road Closures: A Business Transaction Workflow Modelling Case Study. Technical Report 393, Department of Computer Science, The University of Queensland, Brisbane, Australia, November 1996.
3. [BHPC96] A.P. Barros, A.H.M. ter Hofstede, H.A. Proper, and P.N. Creasy. Business Suitability Principles for Workflow Modelling. Technical Report 380, Department of Computer Science, University of Queensland, Brisbane, Australia, August 1996.
4. [CCPP95] F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Conceptual Modeling of Workflows. In M.P. Papazoglou, editor, Proceedings of the OOER'95, 14th International Object-Oriented and Entity-Relationship Modelling Conference, volume 1021 of Lecture Notes in Computer Science, pages 341-354. Springer-Verlag, December 1995.
5. [CP96] P.N. Creasy and H.A. Proper. A Generic Model for 3-Dimensional Conceptual Modelling. Data & Knowledge Engineering, 20(2): 119-162, 1996.
6. [GHS95] 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.
7. [HN93] A.H.M. ter Hofstede and E.R. Nieuwland. Task structure semantics through process algebra. Software Engineering Journal, 8(1): 14-20, January 1993.
8. [Hof93] A.H.M. ter Hofstede. Information Modelling in Data Intensive Domains. PhD thesis, University of Nijmegen, Nijmegen, The Netherlands, 1993.
9. [HPW93] A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Formal definition of a conceptual language for the description and manipulation of information models. Information Systems, 18(7): 489-523, October 1993.
10. [Ram94] G.J. Ramackers. Integrated Object Modelling, an Executable Specification Framework for Business Analysis and Information System Design. PhD thesis, University of Leiden, Leiden, The Netherlands, 1994.