A Business Process Design Language

  • Henk Eertink
  • Wil Janssen
  • Paul Oude Luttighuis
  • Wouter Teeuw
  • Chris Vissers
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1708)


Business process modelling and analysis puts specific requirements on models used and the language for expressing those models. The models should be easily understandable and analysable. In this paper we study the requirements for such a language and introduce a language that satisfies those requirements to a large extent. It was developed in the Testbed project, which aims at developing a systematic approach to business process change. The language, called AMBER, has a graphical representation, and allows to model processes, data, and the organisation and people involved in a uniform and integrated way. On the basis of a formal foundation of the language, different analyses and tool support are available. We illustrate our approach with a realistic example.


Completion Time Business Process Model Check Operational Semantic Business Process Model 
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.


  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.CrossRefGoogle Scholar
  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.CrossRefGoogle Scholar
  3. Dahl, O.-J., B. Myrhrhaug, and K. Nygaard. SIMULA 67 Common Base Language. Norwegian Computing Centre, Oslo, 1970, Publication N. S-22.Google Scholar
  4. Dur, R.C.J., Business reengineering in information intensive organisations. Ph.D. Thesis, Delft University of Technology, 1992.Google Scholar
  5. Franken, H.M., and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Winter 1998.Google Scholar
  6. Hansen, G. A., Tools for business process reengineering. IEEE Software, September 1994, p. 131–133.Google Scholar
  7. Helton, A., E. Zulaybar, and P. Soper. Business Process Engineering and Beyond. IBM Redbook. Publication No. SG24-2590-00, 1995.Google Scholar
  8. Holzman, G.J., The model checker SPIN, IEEE Transactions on Software Engineering, Vol. 23,No. 5, May 1997, 279–295.CrossRefGoogle Scholar
  9. Jacobson, I., M. Ericsson, and A. Jacobson, The Object Advantage-Business Process Reengineering with Object Technology, ACM Books, 1995.Google Scholar
  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
  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.Google Scholar
  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.Google Scholar
  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.Google Scholar
  14. Lawrence, P. (Ed.), Workflow Handbook, John Wiley & Sons Ltd, Chichester, UK, 1997.Google Scholar
  15. Lazowska, E.D., J. Zahorjan, G. Graham, and K. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, 1984.Google Scholar
  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.Google Scholar
  17. Ould, M.A., Business Processes: Modelling and analysis for re-engineering and improvement, John Wiley & Sons, Chichester, England, 1995.Google Scholar
  18. Pegden, C.D., R.R. Shannon, and R.P. Sadowski, Introduction to Simulation Using SIMAN. Second ed. McGraw-Hill, 1995.Google Scholar
  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.CrossRefGoogle Scholar
  20. Rational Software Corporation, Unified Modeling Language, Version 1.0, 1997 [Unpublished report].
  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.Google Scholar
  22. Scheer, A.-W., ARIS-Business Process Frameworks. Springer-Verlag, 1998.Google Scholar
  23. Scherr, A.L., A new approach to business processes, IBM Systems Journal, Vol. 32, No. 1, 1993, pp. 80–98.CrossRefGoogle Scholar
  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.Google Scholar
  25. Winograd, T., and F. Flores, Understanding computers and cognition: A new foundation for design, Ablex, Norwood, NJ, 1986.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Henk Eertink
    • 1
  • Wil Janssen
    • 1
  • Paul Oude Luttighuis
    • 1
  • Wouter Teeuw
    • 1
  • Chris Vissers
    • 1
  1. 1.Telematics InstituteAN EnschedeThe Netherlands

Personalised recommendations