From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system

International Journal on Software Tools for Technology Transfer

Volumn 10, Issue 1, 2008, Pages 15-28

  Jørgensen, Jens Bæk ^a   Lassen, Kristian Bisgaard ^a   van der Aalst, Wil M P ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Colored Petri nets; Executable use cases; Workflow management; YAWL

Indexed keywords

ANIMATION; COMPUTER GRAPHICS; FORMAL LANGUAGES; INFORMATION SYSTEMS; INFORMATION TECHNOLOGY; PETRI NETS;

COLORED PETRI NETS; ELECTRONIC PATIENT RECORD SYSTEM; EXECUTABLE USE CASES; WORKFLOW MANAGEMENT;

RECORDS MANAGEMENT;

EID: 37549011359     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-007-0054-x     Document Type: Article

References (32)

1. van der Aalst W.M.P. and ter Hofstede A.H.M. (2005). YAWL: Yet another workflow language. Inf. Syst. 30(4): 245-275
2. van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B. and Barros A.P. (2003). Workflow patterns. Distrib Parallel Datab 14(1): 5-51
3. van der Aalst, W.M.P., Jørgensen, J.B., Lassen, K.B.: Let's go all the way: From requirements via colored workflow nets to a BPEL implementation of a new bank system. In: Proceedings of 13th International Cooperative Information Systems Conf., vol. 3760 of LNCS, p. 22-39. Springer, Berlin (2005)
4. van deT Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds). International Conference on Web Services and Formal Methods (WS-FM 2006), vol. 4184 of Lecture Notes in Computer Science, pp. 1-23. Springer, Berlin (2006)
5. van der Aalst W.M.P. and van Hee K. (2002). Workflow Management: Models, Methods and Systems. MIT Press, Cambridge
6. van der Aalst W.M.P., Weske M. and Grünbauer D. (2005). Case handling: A new paradigm for business process support. Data Knowl. Eng. 53(2): 129-162
7. Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Facilitating flexibility and dynamic exception handling in workflows. In: Belo, O., Eder, J., Pastor, O., Falcao e Cunha, J. (eds). Proceedings of the CAiSE'05 Forum, pp. 45-50. FEUP, Porto, Portugal (2005)
8. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)
9. Bossen, C., Jørgensen, J.B.: Context-descriptive Prototypes and Their Application to Medicine Administration. In: Proc. of Designing Interactive Systems (DIS) 2004, pp. 297-306, ACM Press, Cambridge (2004)
10. Cockburn A. (2000). Writing effective use cases. Addison-Wesley, Readings
11. Krav til Fyns Amts EPJ-system (udkast)-Requirements to Fyn County's EPR System (Draft). Fyns Amt (2003)
12. Grünbacher P., Egyed A. and Medvidovic N. (2004). Reconciling software requirements and architectures with intermediate models. Softw. Syst. Model. 3(3): 235-253
13. Harel D. (1987). Statecharts: A visual formalism for complex systems. Sci Comput Program 8: 231-274
14. Jackson M. (2001). Problem Frames-Analyzing and Structuring Software Development Problems. Addison-Wesley, Reading
15. Jensen, K.: Coloured Petri nets-basic concepts, analysis methods and practical use. In: Basic Concepts Vol. 1. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (1992)
16. Jensen K., Kristensen L.M. and Wells L. (2007). Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3-4): 213-254
17. Jørgensen, J.B., Bossen, C.: Executable use cases as links between application domain requirements and machine specifications. In: Proceedings of 3rd International Workshop on Scenarios and State Machines (at ICSE 2004), pp. 8-13. Edinburgh, (2004). IEE
18. Jørgensen J.B. and Bossen C. (2004). Executable use cases: requirements for a pervasive health care system. IEEE Softw. 21(2): 34-41
19. Lauesen S. (2002). Software Requirements-Styles and Techniques. Addison-Wesley, Reading
20. Lauesen S. (2003). Task descriptions as functional requirements. IEEE Softw. 20(2): 58-65
21. Leonardi, G., Panzarasa, S., Quaglini, S., Stefanelli, M., van der Aalst, W.M.P.: Interacting agents through a web-based health serviceflow management system. J. Biomed. Inf. (2007) (in press)
22. OMG Unified Modeling Language Specification, Version 2.0. Object Management Group (OMG); UML Revision Taskforce (2006)
23. Peleg M. (2003). Comparing computer-interpretable guideline models: A case-study approach. J. Am. Med. Inf. Assoc. 10(1): 52-68
24. Pesic M. and van der Aalst W.M.P. (2006). A declarative approach for flexible business processes. In: Eder, J. and Dustdar, S. (eds) Business Process Management Workshops, Workshop on Dynamic Process Management (DPM 2006), volume 4103 of Lecture Notes in Computer Science., pp 169-180. Springer, Berlin
25. Quaglini S., Stefanelli M., Cavallini A., Micieli G., Fassino C. and Mossa C. (2000). Guideline-based careflow systems. Artif. Intell. Med. 20(1): 5-22
26. Quaglini S., Stefanelli M., Lanzola G., Caporusso V. and Panzarasa S. (2001). Flexible guideline-based patient careflow systems. Arti. Intell. Med. 22(1): 65-80
27. Reijers H.A. and van der Aalst W.M.P. (2005). The effectiveness of workflow management systems: Predictions and lessons learned. Int. J. Inf. Manage. 25(5): 458-472
28. Rinderle S., Reichert M. and Dadam P. (2004). Correctness criteria for dynamic changes in workflow systems: A survey. Data Knowl. Eng. 50(1): 9-34
29. Sommerville I. (2004). Software Engineering-7th edn. Addison-Wesley, Reading
30. Wendler T., Meetz K. and Schmidt J. (1998). Workflow automation in Radiology. In: Lemke, H.U. (eds) Proceedings of Computer Assisted Radiology and Surgery (CARb́598)., pp 364-369. Elsevier, Amsterdam
31. Westergaard M. and Bisgaard Lassen K. (2005). Building and deploying visualizations of coloured petri net models using BRITNeY animation and CPN tools. In: Jensen, K. (eds) Procedings of the Sixth CPN Workshop, volume PB-576 of DAIMI., pp 119-136. Arhus, Denmark
32. Westergaard, M., Bisgaard Lassen, K.: The BRITNeY suite animation tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) Proceedings of the 27th International Conference on Application and Theory of Petri Nets and Other Models Of Councurrency, vol. 4042, pp. 331-340, Turku, Finland, Springer, Berlin (2006)