Applying graph reduction techniques for identifying structural conflicts in process models

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

Volumn 1626, Issue , 1999, Pages 195-209

  Sadiq, Wasim ^a   Orlowska, Maria E ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INFORMATION SYSTEMS; SPECIFICATIONS; SYSTEMS ENGINEERING; VISUAL LANGUAGES;

CORRECTNESS CRITERION; EFFECTIVE ALGORITHMS; GENERIC PROCESS MODELS; PROCESS MODELING; REDUCTION PROCESS; STRUCTURAL CONFLICT; VISUAL VERIFICATION; WORKFLOW MODELING LANGUAGES;

MODELING LANGUAGES;

EID: 84958977057     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48738-7_15     Document Type: Conference Paper

References (15)

1. Aalst. WMP van der (1997). Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407-426. Springer-Verlag, Berlin, 1997.
2. Aalst. WMP van der (1998). The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
3. Butler Report. Workflow: Integrating the Enterprise. The Butler Group, 1996.
4. Reichert M and Dadam P (1997). ADEPTflex - Supporting Dynamic Changes of Workflow without loosing control. Journal of Intelligent Information Systems (JIIS), Special Issue on Workflow and Process Management.
5. Carlsen S (1997). Conceptual Modeling and Composition of Flexible Workflow Models. PhD Thesis. Department of Computer Science and Information Science, Norwegian University of Science and Technology, Norway, 1997.
6. Casati F, Ceri S, Pernici B and Pozzi G (1995). Conceptual Modeling of Workflows. In M.P. Papazoglou, editor, Proceedings of the 14th In-ternational Object-Oriented and Entity- Relationship Modeling Conference, vol-ume 1021 of Lecture Notes in Computer Science, pages 341-354. Springer-Verlag.
7. Ellis CA and Nutt GJ (1993). Modelling and Enactment of Workflow Systems. In M. Ajmone Marasan, editor, Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pages 1-16, Springer-Verleg, Berlin, 1993.
8. Georgakopoulos D, Hornick M and Sheth A (1995) An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Journal on Distributed and Parallel Databases, 3(2):119-153.
9. Hofstede, AHM ter, Orlowska ME and Rajapakse J (1998). Verification Problems in Conceptual Workflow Specifications. Data & Knowledge Engineering, 24(3):239-256, January 1998.
10. Kuo D, Lawley M, Liu C and Orlowska ME (1996). A General Model for Nested Transactional Workflow. In Proceedings of the International Workshop on Advanced Transaction Models and Architecture (ATMA'96), Bombay India, pp.18-35, 1996.
11. Rajapakse J (1996). On Conceptual Workflow Specification and Verification. MSc Thesis. Department of Computer Science, The University of Queensland, Australia, 1996.
12. Sadiq W and Orlowska ME (1997). On Correctness Issues in Conceptual Modeling of Workflows. In Proceedings of the 5th European Conference on Information Systems (ECIS ‘97), Cork, Ireland, June 19-21, 1997.
13. Sadiq W and Orlowska ME (1999). On Capturing Process Requirements of Workflow Based Information Systems. In Proceedings of the 3rd International Conference on Business Information Systems (BIS ‘99), Poznan, Poland, April 14-16, 1999.
14. Workflow Management Coalition (1996) The Workflow Management Coalition Specifications - Terminology and Glossary. Issue 2.0, Document Number WFMC-TC-1011.
15. Workflow Management Coalition (1998). Interface 1: Process Definition Interchange, Process Model, Document Number WfMC TC-1016-P.