Designing Case Handling Systems

  • Kees M. van Hee
  • Jeroen Keiren
  • Reinier Post
  • Natalia Sidorova
  • Jan Martijn van der Werf
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5100)


A case handling system is an information system supporting the handling of cases. The (sub) tasks for a particular case are performed by persons or software agents and the result of a task is the updating of the case data. Case handling systems consist of three parts: (1) a workflow engine that executes the process of a case, (2) a document manager that manipulates the case data and (3) a database manager for manipulation of the global data, i.e., the data that is independent of a particular case. In this paper we present a new methodology for the first four phases of the development of a case handling system: (1) user requirements, (2) functional architecture, (3) software architecture, and (4) the prototyping phase. The methodology is supported by a tool consisting of a Petri net based workflow engine, a standard document manager and a standard database system.


Software Architecture User Requirement Case Data Document Manager Case Document 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P., et al.: ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 455–464. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129–162 (2005)CrossRefGoogle Scholar
  4. 4.
    Chen, P.P.: The entity-relationship model: towards a unified view of Data. ACM Transactions on Database Systems 1, 9–36 (1976)CrossRefGoogle Scholar
  5. 5.
    Choppy, C., Petrucci, L.: Towards a methodology for modeling with Petri nets. In: Practical Use of Coloured Petri Nets, pp. 39–56 (October 2004)Google Scholar
  6. 6.
    Günther, C.W., van der Aalst, W.M.P.: Modeling the case handling principles with Colored Petri nets. In: Practical Use of Coloured Petri Nets (2005)Google Scholar
  7. 7.
    van Hee, K.M., Oanea, O., Post, R.D.J., Somers, L.J., van der Werf, J.M.E.M.: Yasper: a tool for workflow modeling and analysis. In: ACSD 2006, pp. 279–282 (2006)Google Scholar
  8. 8.
    van Hee, K.M., Post, R.D.J., Somers, L.J.: Yet another smart process editor. In: ESM 2005 (2005)Google Scholar
  9. 9.
    van Hee, K.M., Sidorova, N., Somers, L.J., Voorhoeve, M.: Consistency in model integration. Data and Knowledge Engineering 56(1), 4–22 (2006)CrossRefGoogle Scholar
  10. 10.
    Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2. Springer, London (1995)zbMATHGoogle Scholar
  11. 11.
    Kurbel, N., Schnieder, K.: Integration issues of information engineering based I-CASE tools. In: ISD 1994, pp. 431–441 (1994)Google Scholar
  12. 12.
    Mauw, S., Reniers, M.A.: An algebraic semantics of Basic Message Sequence Charts. The Computer Journal 37(4), 269–277 (1994)CrossRefGoogle Scholar
  13. 13.
    Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs (1981)zbMATHGoogle Scholar
  14. 14.
    Ratzer, A.V., et al.: CPN tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  15. 15.
    Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol. 4. Springer, Berlin (1985)CrossRefzbMATHGoogle Scholar
  16. 16.
    Schmidt, K.: Distributed Verification with LoLA. Fundamenta Informaticae 54(2-3), 253–262 (2003)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Kees M. van Hee
    • 1
  • Jeroen Keiren
    • 1
  • Reinier Post
    • 1
  • Natalia Sidorova
    • 1
  • Jan Martijn van der Werf
    • 1
  1. 1.Department of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands

Personalised recommendations