Automating the Discovery of AS-IS Business Process Models: Probabilistic and Algorithmic Approaches

References

• Abeysingle G. , Phalp K. Combining process modeling methods. Inform. Software Tech. (1997) 39 2 107 124 Crossref, Google Scholar
• Angluin D. , Smith C. Inductive inference: Theory and methods. ACM Comput. Surveys (1983) 15 3 237 269 Crossref, Google Scholar
• Anton A. , McCracken M. , Potts C. Goal decomposition and scenario analysis in business process reengineering. CAISE '94 (1994) (Springer) 94 104 Google Scholar
• Biermann A. , Feldman J. On the synthesis of finite state machines from samples of their behavior. IEEE Trans. on Comput. (1972) 21 6 592 597 Crossref, Google Scholar
• Blyth A. , Chudge J. , Dobson J. E. , Strens M. R. Ordit: A new methodology to assist in the process of eliciting and modelling organizational requirements. Conf. on Organizational Computing Systems (1993) Supporting Software Development Organizations, ACM 216 227 Crossref, Google Scholar
• Bradac M. , Perry D. , Votta L. Prototyping a process monitoring experiment. IEEE Trans. on Software Engrg. (1994) 20 10 774 784 Crossref, Google Scholar
• Cook J. , Wolf A. Automating process discovery through event-data analysis. Proc. 17th Intl. Conf. on Software Engineering (ICSE17) (1995) April 73 82 Crossref, Google Scholar
• Davenport T. Process Innovation—Reengineering Work through Information Technology (1993) (Harvard Business School, Boston, MA) Google Scholar
• Dinkhoff G. , Gruhn V. , Saalmann A. , Zielonka M. Business process modeling in the workflow management environment leu. Proc. 13th Intl. Conf. on the Entity-Relationship Approach (1994a) December (Springer, Manchester, UK) 46 63 Crossref, Google Scholar
• Dinkhoff G. , Gruhn V. , Saalmann A. , Zielonka M. , Loucopoulos P. Business process modeling in the workflow management environment leu. Proc. 13th Intl. Conf. on the Entity-Relationship Approach (1994b) (Springer-Verlag, Manchester, UK) . December, Implementation Crossref, Google Scholar
• Gill A. Realization of input-output relations by sequential machines. J. Assoc. Comput. Machinery (1962) 13 1 33 42 Crossref, Google Scholar
• Ginsburg S. An Introduction to Mathematical Machine Theory (1962) (Reading, MA) Google Scholar
• Ginsburg S. The Mathematical Theory of Context-Free Languages (1966) (McGraw-Hill, New York) Google Scholar
• Hammer M. , Champy J. Reengineering the Corporation: A Manifesto for Business Revolution (1993) (Harper Business, New York) Google Scholar
• Hammer M. , Stanton S. The Reengineering Revolution—A Handbook (1995) (Harper Business, New York) Google Scholar
• IBM Corporation Flowmark—A workflow modeling and process monitoring software. (1996) . World Wide Web Site, http://www.software.hosting.ibm.com/workgroup/flowmark/exmn0mst.htm Google Scholar
• Kamath M. , Ramamritham K. Bridging the gap between transaction management and workflow management. (1996) . NSF Workshop on Workflow and Process Automation in Information Systems, http://lsdis.cs.uga.edu/NSF-workflow/kamath.html Google Scholar
• Kellner M. , Feiler P. , Finkelstein A. , Katayama T. , Osterweil L. , Penedo M. , Rombach H. Software process modeling example problem. Proc. 6th, Intl. Software Process Workshop (1990) October 19 29 Crossref, Google Scholar
• Kueng P. , Bichler P. , Schrefl M. Business process modeling: A goal based approach. Inform. Management (1996) 11 2 40 50 Google Scholar
• Kuo D. , Lawley M. , Chengfei L. , Orlowska M. A model for transactional workflows. Australian Comput. Sci. Comm. (1996) 18 2 139 146 Google Scholar
• LeBlanc R. , Robbins A. Event-driven monitoring of distributed programs. Proc. 5th Intl. Conf. on Distributed Computing Systems (1985) May (IEEE Computer Society, Denver, CO) 515 522 Google Scholar
• Manley J. H. Enterprise information systems modeling for continuous improvement. Comput. Indust. Engrg. (1996) 31 1–2 273 276 Crossref, Google Scholar
• Martinsons M. Radical process innovation using information technology: The theory, the practice and the future of reengineering. Intl. J. Inform. Management (1995) 15 4 253 269 . Review Crossref, Google Scholar
• Masaaki K. Markov Processes for Stochastic Modeling (1997) (Chapman and Hall, New York) Google Scholar
• Medina-Mora R. , Winograd T. , Flores R. , Flores F. The actionworkflow approach to workflow management technology. Proc. Conf. on Computer-Supported Cooperative Work (1992) ACM, Toronto 281 288 . Implementation Google Scholar
• Michalski R. S. , Carbonell J. G. , Mitchell T. M. Machine Learning: An Artificial Intelligence Approach (1983) (Tioga, Palo Alto, CA) Crossref, Google Scholar
• Miclet L. , Quinqueton J. , Ferrate G. , Pavlidis T. , Sanfeliu A. , Bunke H. Learning from examples in sequences and grammatical inference. (1988) (Springer-Verlag, New York) 153 171 . Vol. 45 of NATO ASI series F: Computers and System Sciences Google Scholar
• Nerode A. Linear automation transformations. Proc. Amer. Math. Soc. (1958) 9 541 544 Google Scholar
• Ngu A. , Duong T. , Srinivasan U. Modeling workflow using tasks and transactions. (1996) . NSF Workshop on Workflow and Process Automation in Information Systems, http://lsdis.cs.uga.edu/activities/NSF-workflow/Final/ngu/work3.html Google Scholar
• Rajapakse J. , Orlowska M. On specification of transactional workflows for integrated systems. Proc. InterSymp-95 of the Internat. Conf. on Systems Research (1995) Google Scholar
• Rusinkiewicz M. , Sheth A. Specification and execution of transactional workflows. Modern Database Systems: The Object Model, Interoperability, and Beyond (1995) (ACM Press, New York) 592 620 . Implementation Google Scholar
• Sato R. , Praehofer H. A discrete event system model of business systems—A systems theoretic foundation for information systems analysis. IEEE Trans. on Systems, Man and Cybernetics (1997) . Part 1, 27 Part A(1), January Google Scholar
• Weissenfels J. , Wodtke D. , Weikum G. , Kotz-Dittrich A. The mentor architecture for enterprise-wide workflow management. (1996) . NSF Workshop on Workflow and Process Automation in Information Systems, http://lsdis.cs.uga.edu/activities/NSF-workflow/Final/mentor.html Google Scholar
• Wolf A. , Rosenblum D. A study in software data capture and analysis. Proc. Second Intl. Conf. on the Software Process (1993) February IEEE Comput. Soc. Press, Berlin, Germany 115 124 Crossref, Google Scholar
• Wong S. K. M. , Yao Y. Y. A probabilistic method for computing term-by-term relationships. J. Amer. Soc. Inform. Sci. (1993) 44 8 431 439 Crossref, Google Scholar
• Wu C. , Berry M. , Shivakumar S. , McLarty J. Neural networks for full scale protein sequence classification: Sequence encoding with singular value decomposition. Machine Learning (1995) 21 1–2 177 193 Crossref, Google Scholar
• Yu E. Models for supporting the redesign of organizational work. Proc. Conf. on Organizational Computing Systems (1995) 225 236 . August http://www.cs.utoronto.ca/eric/publications.html Google Scholar
• Yu E. , Du Bois P. , Dubois E. , Mylopoulos J. From organization models to system requirements—A “cooperating agents” approach. Proc. 3rd Intl. Conf. on Cooperative Information Systems May 1995 Vienna, Austria 194 204 Google Scholar
• Yu E. , Mylopoulos J. Towards strategic actor relationships for information systems development—With examples from business process reengineering. Proc. 4th Workshop on Information Technologies and Systems Vancouver, Canada 21 28 . December 1994, http://www.cs.utoronto.ca/eric/publications.html Google Scholar