More Web Proxy on the site http://driver.im/

research-article

Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes

Authors:

Takahiro Murata,

Alex BorgidaAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 26, Issue 10

Pages 959 - 977

https://doi.org/10.1109/32.879819

Published: 01 October 2000 Publication History

Abstract

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 run-time 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.

References

[1]

K.R. Abbott and S.K. Sarin, “Experiences with Workflow Management: Issues for the Next Generation,” Proc. Conf. Computer Supported Cooperative Work (CSCW '94), pp. 113-120, 1994.

Digital Library

[2]

A. Agostini and G. De Michelis, “Simple Workflow Models,” Proc. Workshop Workflow Management, pp. 146-164, June 1998.

[3]

R. Balzer, “Tolerating Inconsistency in Software Development, Proc. Int'l Conf. Software Eng. (ICSE '91), pp. 158-165, May 1991.

Digital Library

[4]

J. Barron, “Dialogue and Process Design for Interactive Information Systems Using Taxis,” Proc. SIGOA Conf. Office Information Systems, pp. 12-20, June 1982.

Digital Library

[5]

S. Bandinelli A. Fuggetta and C. Ghezzi, “Software Process Model Evolution in the SPADE Environment, ” IEEE Trans. Software Eng., vol. 19, no. 12, pp. 1,128-1,144, Dec. 1993.

Digital Library

[6]

J. Banerjee W. Kim H. Kim and H.F. Korth, “Semantics and Implementation of Schema Evolution in Object-Oriented Databases,” Proc. ACM SIGMOD '87, pp. 311-322, 1987.

Digital Library

[7]

D.P. Bogia and S.M. Kaplan, “Flexibility and Control for Dynamic Workflows in the Worlds Environment,” Proc. Conf. Organizational Computing Systems, pp. 148-161, Nov. 1995.

Digital Library

[8]

A. Borgida, “Language Features for Flexible Handling of Exceptions in Information Systems,” ACM Trans. Database Systems, vol. 10, no. 4, pp. 565-603, Dec. 1985.

Digital Library

[9]

F. Casati S. Ceri B. Pernici and G. Pozzi, “Conceptual Modeling of Workflows,” Proc. 14th Int'l Conf. Object-Oriented and Entity-Relationship Modeling (OOER '95), pp. 341-354, Dec. 1995.

Digital Library

[10]

F. Casati S. Ceri B. Pernici and G. Pozzi, “Workflow Evolution,” IEEE Trans. Data and Knowledge Eng., vol. 24, no. 3, pp. 211-238, 1998.

Digital Library

[11]

F. Casati S. Ceri S. Paraboschi and G. Pozzi, “Specification and Implementation of Exceptions in Workflow Management Systems,” Technical Report 98.81, Dipt. di Elettronica e Informazione, Politecnico di Milano, Aug. 1998.

[12]

S. Ceri P.W.P.J. Grefen and G. Sanchez, “WIDE: A Distributed Architecture for Workflow Management,” Proc. Research Issues in Data Eng. (RIDE '97), Apr. 1997.

Digital Library

[13]

G. Cugola E. Di Nitto C. Ghezzi and M. Mantione, “How to Deal with Deviations during Process Model Enactment,” Proc. Int'l Conf. Software Eng. (ICSE '95), pp. 265-273, May 1995.

Digital Library

[14]

G.P. Cugola E. Di Nitto A. Fuggetta and C. Ghezzi, “A Framework for Formalizing Inconsistencies in Human-Centered Systems,” ACM Trans. Software Eng. and Methodology, vol. 5, no. 3, pp. 191-230, Sept. 1996.

Digital Library

[15]

G. Cugola, “Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models,” IEEE Trans. Software Eng., vol. 24, no. 11, pp. 982-1,001, Nov. 1998.

Digital Library

[16]

Q. Cui and J. Gannon, “Data-Oriented Exception Handling,” IEEE Trans. Software Eng., vol. 18, no. 5, pp. 393-401, May 1992.

Digital Library

[17]

U. Dayal M. Hsu and R. Ladin, “A Transactional Model for Long-Running Activities,” Proc. Conf. Very Large Databases (VLDB '91), pp. 113-122, 1991.

Digital Library

[18]

P. Dourish J. Holmes A. McLean P. Marqvardsen and A. Zbyslaw, “Freeflow: Mediating between Representation and Action in Workflow Systems,” Proc. Conf. Computer Supported Cooperative Work (CSCW '96), pp. 190-198, 1996.

Digital Library

[19]

C. Ellis and G. Nutt, “Modeling and Enactment of Workflow Systems,” Application and Theory of Petri Nets, pp. 1-16, Springer-Verlag, 1993.

Digital Library

[20]

C. Ellis K. Keddara and G. Rozenberg, “Dynamic Change within Workflow Systems,” Proc. Conf. Organizational Computing Systems, pp. 10-21, 1995.

Digital Library

[21]

C. Ellis and K. Keddara, “Dynamic Change within Workflow Systems,” technical memo, Dept. of Computer Science, Univ. of Colorado, 1996.

[22]

Proc. Work Activities Coordination and Collaboration (WACC '99), D. Georgakopoulos, W. Prinz, and A. Wolf eds., Feb. 1999.

[23]

J. Goslin B. Joy and G. Steele, The Java Language Specification. Reading, Mass.: Addison-Wesley, 1996.

Digital Library

[24]

C. Hagen and G. Alonso, “Flexible Exception Handling in the Opera Process Support System,” Proc. Int'l Conf. Distributed Computing Systems (ICDCS '98), pp. 156-163, May 1998.

Digital Library

[25]

P. Heinl S. Horn S. Jablonski J. Neeb K. Stein and M. Teschke, “A Comprehensive Approach to Flexibility in Workflow Management Systems,” Proc. Work Activities Coordination and Collaboration (WACC '99), pp. 79-88, 1999.

Digital Library

[26]

A.H.M. ter Hofstede M.E. Orlowska and J. Rajapakse, “Verification Problems in Conceptual Workflow Specifications,” Data and Knowledge Eng., vol. 24, no. 3, pp. 239-256, Jan. 1998.

Digital Library

[27]

M. Kamath and K. Ramamritham, “Failure Handling and Coordinated Execution of Concurrent Workflows,” Proc. Int'l Conf. Data Eng. (ICDE '98), pp. 334-341, Feb. 1998.

Digital Library

[28]

W. Kent, “Limitations of Record Based Information Models,” ACM Trans. Database System, vol. 4, no. 1, pp. 107-131, Mar. 1979.

Digital Library

[29]

J. Klein, “Advanced Rule-Driven Transaction Management,” Proc. COMPCON, pp. 562-567, 1991.

[30]

M. Klein and C. Dellarocas, “A Knowledge-Based Approach to Handling Exceptions in Workflow Systems,” J. Computer-Supported Collaborative Work, Jan. 2000.

Digital Library

[31]

D. Kozen and J. Tiuryn, “Logics of Programs,” Handbook of Theoretical Computer Science, vol. B, J. van Leeuwen, ed., pp. 789-840, The MIT Press, 1990.

Digital Library

[32]

M. Kradolfer and A. Geppert, “Dynamic Workflow Schema Evolution Based on Workflow Type Versioning and Workflow Migration,” TR 98.02, Dept. of Computer Science, Univ. of Zurich, Apr. 1998.

Digital Library

[33]

J. Kunin, “Analysis and Specification of Office Procedures,” TR-275, MIT/LCS, 1982.

Digital Library

[34]

B. Meyer, Eiffel: The Language. New York: Prentice Hall, 1990.

Digital Library

[35]

B. Meyer, Object-Oriented Software Construction. New York: Prentice Hall, 1988.

Digital Library

[36]

R. Miller and A. Tripathi, “Issues with Exception Handling in Object-Oriented Systems,” Proc. European Conf. Object-Oriented Programming (ECOOP '97), pp. 85-103, 1997.

[37]

T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.

[38]

T. Murata, “Correctness of an Object-Centered CICN Enactment Procedure that Tolerates Deviations,” technical report, Dept. of Computer Science, Rutgers Univ., to be published, 2000.

[39]

J. Mylopoulos P.A. Bernstein and H.K.T. Wong, “A Language Facility for Designing Database-Intensive Applications,” ACM Trans. Database Systems, vol. 5, no. 2, pp. 185-207, 1980.

Digital Library

[40]

G. Nutt, “The Evolution toward Flexible Workflow Systems,” Distributed Systems Eng., pp. 276-294, Dec. 1996.

[41]

M. Reichert and P. Dadam, “ADEPT—Supporting Dynamic Changes of Workflows without Loosing Control,” J. Intelligent Information Systems, vol. 10, no. 2, pp. 93-130, Mar. 1998.

Digital Library

[42]

A. Romanovsky J. Xu and B. Randell, “Exception Handling and Resolution in Distributed Object Oriented Systems,” Proc. Int'l Conf. Distributed Computing Systems (ICDCS '96), pp. 545-553, May 1996.

Digital Library

[43]

H.T. Saastamoinen, “On the Handling of Exceptions,” PhD thesis, Univ. of Jyvaskyla, Jyvaskyla, Finland 1995.

[44]

S.K. Sarin, “Object-Oriented Workflow Technology in InConcert,” Proc. COMPCON '96, pp. 446-450, 1996.

Digital Library

[45]

Proc. Nat'l Science Foundation Workshop Workflow and Process Automation in Information Systems, A. Sheth ed., May 1996.

[46]

D.M. Strong and S.M. Miller, “Exceptions and Exception Handling in Computerized Information Processes,” ACM Trans. Office Information Systems, vol. 13, no. 2, pp. 206-233, 1995.

Digital Library

[47]

P.S. Thiagarajan, “Elementary Net Systems,” Petri Nets: Central Models and Their Properties, W. Brauer et al., eds., pp. 26-59, 1986.

Digital Library

[48]

H. Tuominen, “Elementary Net Systems and Dynamic Logic,” Advances in Petri Nets, Rozenberg, ed., pp. 453-466, 1989.

Digital Library

[49]

M. Voorhoeve and W. van der Aalst, “Ad-hoc Workflow: Problems and Solutions,” Proc. Workshop Databases and Expert Systems, pp. 36-41, 1997.

Digital Library

[50]

D. Worah and A. Sheth, “Transactions in Transactional Workflows,” Advanced Transaction Models and Architectures, S. Jajodia and L. Kerschberg, eds., pp. 3-31, New York: Kluwer, 1997.

Cited By

Samuel BWatkins LEhle AKhatri V(2015)Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling ImpedimentsIEEE Transactions on Software Engineering10.1109/TSE.2014.235404341:1(19-39)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1109/TSE.2014.2354043
Tripathi AKulkarni DAhmed T(2006)Exception handling in CSCW applications in pervasive computing environmentsAdvanced Topics in Exception Handling Techniques10.5555/2124243.2124255(161-180)Online publication date: 1-Jun-2006
https://dl.acm.org/doi/10.5555/2124243.2124255
Platon EHoniden SSabouret NChoren RGarcia AGiese HLeung HLucena CRomanovsky A(2006)Challenges in exception handling in multi-agent systemsProceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems10.1145/1138063.1138072(45-50)Online publication date: 22-May-2006
https://dl.acm.org/doi/10.1145/1138063.1138072
Show More Cited By

Index Terms

Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
      2. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99: Proceedings of the international joint conference on Work activities coordination and collaboration

Practical workflow systems need to be able to tolerate deviations from the initial process model because of un-anticipated situations. They should also be able to accommodate deviations in the format of the forms and data being manipulated. We offer a ...
Efficient Java exception handling in just-in-time compilation
Research Articles

Java uses exceptions to provide elegant error handling capabilities during program execution. However, the presence of exception handlers complicates the job of the just-in-time (JIT) compiler, while exceptions are rarely used in most programs. This ...
Tolerating exceptions in workflows: a unified framework for data and processes

Practical workflow systems need to be able to tolerate deviations from the initial process model because of un-anticipated situations. They should also be able to accommodate deviations in the format of the forms and data being manipulated. We offer a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 26, Issue 10

special section on current trends in exception handling—part II

October 2000

103 pages

ISSN:0098-5589

Editors:
Anneliese von Mayrhauser Andrews
Colorado State Univ., Fort Collins, CO
,
David L. Parnas
McMaster Univ., Hamilton, Ont., Canada
,
Dewayne M. Perry
Univ. of Texas at Austin, Austin, TX
,
Alexander Romanovsky
Univ. of Newcastle upon Tyne, Newcastle upon Tyne, UK
,
Anand Tripathi
Univ. of Minnesota, Minneapolis

Issue’s Table of Contents

Copyright © Copyright © 2000 IEEE. All Rights Reserved.

Publisher

IEEE Press

Publication History

Published: 01 October 2000

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Samuel BWatkins LEhle AKhatri V(2015)Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling ImpedimentsIEEE Transactions on Software Engineering10.1109/TSE.2014.235404341:1(19-39)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1109/TSE.2014.2354043
Tripathi AKulkarni DAhmed T(2006)Exception handling in CSCW applications in pervasive computing environmentsAdvanced Topics in Exception Handling Techniques10.5555/2124243.2124255(161-180)Online publication date: 1-Jun-2006
https://dl.acm.org/doi/10.5555/2124243.2124255
Platon EHoniden SSabouret NChoren RGarcia AGiese HLeung HLucena CRomanovsky A(2006)Challenges in exception handling in multi-agent systemsProceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems10.1145/1138063.1138072(45-50)Online publication date: 22-May-2006
https://dl.acm.org/doi/10.1145/1138063.1138072
Kumar AWainer J(2005)Meta workflows as a control and coordination mechanism for exception handling in workflow systemsDecision Support Systems10.1016/j.dss.2004.04.00640:1(89-105)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1016/j.dss.2004.04.006
Murata TMinsky N(2002)Regulating Work in Digital EnterprisesOn the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 200210.5555/646748.701680(356-372)Online publication date: 30-Oct-2002
https://dl.acm.org/doi/10.5555/646748.701680

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents