Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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.
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.
Dahl, O.-J., B. Myrhrhaug, and K. Nygaard. SIMULA 67 Common Base Language. Norwegian Computing Centre, Oslo, 1970, Publication N. S-22.
Dur, R.C.J., Business reengineering in information intensive organisations. Ph.D. Thesis, Delft University of Technology, 1992.
Franken, H.M., and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Winter 1998.
Hansen, G. A., Tools for business process reengineering. IEEE Software, September 1994, p. 131–133.
Helton, A., E. Zulaybar, and P. Soper. Business Process Engineering and Beyond. IBM Redbook. Publication No. SG24-2590-00, 1995.
Holzman, G.J., The model checker SPIN, IEEE Transactions on Software Engineering, Vol. 23,No. 5, May 1997, 279–295.
Jacobson, I., M. Ericsson, and A. Jacobson, The Object Advantage-Business Process Reengineering with Object Technology, ACM Books, 1995.
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)
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.
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.
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.
Lawrence, P. (Ed.), Workflow Handbook, John Wiley & Sons Ltd, Chichester, UK, 1997.
Lazowska, E.D., J. Zahorjan, G. Graham, and K. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, 1984.
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.
Ould, M.A., Business Processes: Modelling and analysis for re-engineering and improvement, John Wiley & Sons, Chichester, England, 1995.
Pegden, C.D., R.R. Shannon, and R.P. Sadowski, Introduction to Simulation Using SIMAN. Second ed. McGraw-Hill, 1995.
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.
Rational Software Corporation, Unified Modeling Language, Version 1.0, 1997 [Unpublished report]. http://www.rational.com/ot/uml/1.0/index.html
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.
Scheer, A.-W., ARIS-Business Process Frameworks. Springer-Verlag, 1998.
Scherr, A.L., A new approach to business processes, IBM Systems Journal, Vol. 32, No. 1, 1993, pp. 80–98.
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.
Winograd, T., and F. Flores, Understanding computers and cognition: A new foundation for design, Ablex, Norwood, NJ, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eertink, H., Janssen, W., Luttighuis, P.O., Teeuw, W., Vissers, C. (1999). A Business Process Design Language. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_7
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive