IEEE Transactions on Software Engineering · 2000 · 16 citations · 36 references
BusinessComputer ScienceInformation SystemsBusiness Process ManagementKnowledge RepresentationProgramming LanguagesData-flow AnalysisProcess ModelingWorkflow ManagementCoordinationException HandlingException Handling In WorkflowsLogical SemanticsProcess Conformance CheckingProcess Exception HandlingProcess Exception ManagementWorkflow Management Systems
Practical process-support and workflow systems should be built to describe the simple, normal flow of events and then deal easily with irregularities, including tolerating deviations. Similarly, these systems should describe the normal format and constraints concerning the large amounts of data that are usually stored, but then deal with abnormalities and possibly accommodate exceptional values. We offer a framework for treating both kinds of irregularities uniformly by using the notion of exception handling (with human agents as potential online exception handlers) and applying it to processes that have been reified as objects in classes with steps as attributes. As a result, only a small number of new constructs, which can be applied orthogonally, need to be introduced. Special runtime checks are used to deal with the consequences of permitting deviations from the norm to persist as violations of constraints. A logical semantics of process coordination and deviations is presented as a specification for implementations.
36
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Object-oriented software construction
Pierre America · Science of Computer Programming · 1989 · 2K citations
Information and Software Technology · 1992 · 994 citations
Semantics and implementation of schema evolution in object-oriented databases
Jay Banerjee, Won Kim, Hyoung-Joo Kim et al. · 1987 · 668 citations