A business process design language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 76-95

  Eertink, Henk ^a   Janssen, Wil ^a   Luttighuis, Paul Oude ^a   Teeuw, Wouter ^a   Vissers, Chris ^a  

^a Telematics Institute   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL METHODS; SYSTEMS ENGINEERING;

BUSINESS PROCESS CHANGE; BUSINESS PROCESS DESIGN; BUSINESS PROCESS MODELLING; FORMAL FOUNDATION; GRAPHICAL REPRESENTATIONS; MODELING PROCESS; TESTBED PROJECT; TOOL SUPPORT;

MODELING LANGUAGES;

EID: 84889038153     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_7     Document Type: Conference Paper

References (25)

1. Auramaki, E., E. Lehtinen, and K. Lyytinen, A speech-act-based office modelling approach, ACM Transactions on Office Information Systems, Vol. 6, No. 2, April 1988, 126-152.
2. Browne, J., P. Bradley, S. Jackson, and H. Jagdev, Business process re-engineering (BPR) - A Study of the software tools currently available. Computers in Industry, 25 (1995), p. 309-330.
3. Dahl, O.-J., B. Myrhrhaug, and K. Nygaard. SIMULA 67 Common Base Language. Norwegian Computing Centre, Oslo, 1970, Publication N. S-22.
4. Dur, R.C.J., Business reengineering in information intensive organisations. Ph.D. Thesis, Delft University of Technology, 1992.
5. Franken, H.M., and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Winter 1998.
6. Hansen, G. A., Tools for business process reengineering. IEEE Software, September 1994, p. 131-133.
7. Helton, A., E. Zulaybar, and P. Soper. Business Process Engineering and Beyond. IBM Redbook. Publication No. SG24-2590-00, 1995.
8. Holzman, G.J., The model checker SPIN, IEEE Transactions on Software Engineering, Vol. 23, No. 5, May 1997, 279-295.
9. Jacobson, I., M. Ericsson, and A. Jacobson, The Object Advantage - Business Process Reengineering with Object Technology, ACM Books, 1995.
10. Janssen, W., H. Jonkers, and J.P.C. Verhoosel, What makes business processes special? An evaluation framework for modelling languages and tools in Business Process Redesign. In Siau, Wand and Parsons (eds.), Proceedings 2nd CAiSE/IFIP 8.1 international workshop on evaluation of modelling methods in systems analysis and design, Barcelona, June 1997. (Available as http://www.telin.nl/publicaties/1997/caise97_final.doc)
11. Janssen, W., R. Mateescu, S. Mauw, and J. Springintveld, Verifying Business Processes using Spin. In G. Holzman, E. Najm, and A. Serhrouchni (eds.), Proceedings 4th International SPIN Workshop. Report ENST 98 S 002, pp. 21-36. Ecole Nationale Superieure des Telecommunications, Paris, France. November, 1998.
12. Janssen, W., R. Mateescu, S. Mauw, P. Fennema, and P. van der Stappen, Model checking for managers. In Proceedings 6th International SPIN Workshop on Practical Aspects of Model Checking. Toulouse, France. September 1999.
13. Jonkers, H., W. Janssen, A. Verschut, and E. Wierstra, A unified framework for design and performance analysis of distributed systems. Paper released to IPDS'98, IEEE International Performance and Dependability Symposium, Durham, NC, USA, 7-9 September 1998.
14. Lawrence, P. (Ed.), Workflow Handbook, John Wiley & Sons Ltd, Chichester, UK, 1997.
15. Lazowska, E.D., J. Zahorjan, G. Graham, and K. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, 1984.
16. Medina-Mora, R., T. Winograd, R. Flores, and F. Flores, The action workflow approach to workflow management technology. In Proceedings of CSCW '92, November 1992, pp. 281-288.
17. Ould, M.A., Business Processes: Modelling and analysis for re-engineering and improvement, John Wiley & Sons, Chichester, England, 1995.
18. Pegden, C.D., R.R. Shannon, and R.P. Sadowski, Introduction to Simulation Using SIMAN. Second ed. McGraw-Hill, 1995.
19. Quartel, D.A.C., L. Ferreira Pires, M.J. van Sinderen, H.M. Franken, and C.A. Vissers, On the role of basic design concepts in behaviour structuring, Computer Networks and ISDN Systems 29:4, March 1997, pp. 413-436.
20. Rational Software Corporation, Unified Modeling Language, Version 1.0, 1997 [Unpublished report]. http://www.rational.com/ot/uml/1.0/index.html.
21. Rijst, N.B.J. van der, and J.L.G. Dietz, Expressing production control principles in the DEMO communication model. In: A. Verbraeck, H.G. Sol and P.W.G. Bots (Eds.), Proceedings of the Fourth International Working Conference on Dynamic Modelling of Information Systems, Delft University Press, Delft, The Netherlands, 1994, pp 171-186.
22. Scheer, A.-W., ARIS – Business Process Frameworks. Springer-Verlag, 1998.
23. Scherr, A.L., A new approach to business processes, IBM Systems Journal, Vol. 32, No. 1, 1993, pp. 80-98.
24. Vissers, C.A., Report on the architectural semantics workshop. In: J. de Meer, B. Mahr and S. Storp (eds.), Proceeding of International Conference on Open Distributed Processing, IFIP, pp. 367-386. North-Holland, 1994.
25. Winograd, T., and F. Flores, Understanding computers and cognition: A new foundation for design, Ablex, Norwood, NJ, 1986.