{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:20Z","timestamp":1760586440490},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_7","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:23:00Z","timestamp":1188336180000},"page":"76-95","source":"Crossref","is-referenced-by-count":14,"title":["A Business Process Design Language"],"prefix":"10.1007","author":[{"given":"Henk","family":"Eertink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil","family":"Janssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul Oude","family":"Luttighuis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Teeuw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Vissers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1145\/45941.214328","volume":"6","author":"E. Auramaki","year":"1988","unstructured":"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\u2013152.","journal-title":"ACM Transactions on Office Information Systems"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0166-3615(94)00035-O","volume":"25","author":"J. Browne","year":"1995","unstructured":"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\u2013330.","journal-title":"Computers in Industry"},{"key":"7_CR3","volume-title":"SIMULA 67 Common Base Language","author":"O.-J. Dahl","year":"1970","unstructured":"Dahl, O.-J., B. Myrhrhaug, and K. Nygaard. SIMULA 67 Common Base Language. Norwegian Computing Centre, Oslo, 1970, Publication N. S-22."},{"key":"7_CR4","unstructured":"Dur, R.C.J., Business reengineering in information intensive organisations. Ph.D. Thesis, Delft University of Technology, 1992."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Franken, H.M., and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Winter 1998.","DOI":"10.1002\/(SICI)1099-1441(199812)5:4<208::AID-KPM27>3.0.CO;2-9"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Hansen, G. A., Tools for business process reengineering. IEEE Software, September 1994, p. 131\u2013133.","DOI":"10.1109\/52.311102"},{"key":"7_CR7","unstructured":"Helton, A., E. Zulaybar, and P. Soper. Business Process Engineering and Beyond. IBM Redbook. Publication No. SG24-2590-00, 1995."},{"issue":"5","key":"7_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzman","year":"1997","unstructured":"Holzman, G.J., The model checker SPIN, IEEE Transactions on Software Engineering, Vol. 23,No. 5, May 1997, 279\u2013295.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR9","unstructured":"Jacobson, I., M. Ericsson, and A. Jacobson, The Object Advantage-Business Process Reengineering with Object Technology, ACM Books, 1995."},{"key":"7_CR10","unstructured":"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 )"},{"key":"7_CR11","series-title":"Report ENST 98 S 002","first-page":"21","volume-title":"Proceedings 4th International SPIN Workshop","author":"W. Janssen","year":"1998","unstructured":"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\u201336. Ecole Nationale Superieure des Telecommunications, Paris, France. November, 1998."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-48234-2_7"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Jonkers, H., W. Janssen, A. Verschut, and E. Wierstra, A unified framework for design and performance analysis of distributed systems. Paper released to IPDS\u201998, IEEE International Performance and Dependability Symposium, Durham, NC, USA, 7-9 September 1998.","DOI":"10.1109\/IPDS.1998.707714"},{"volume-title":"Workflow Handbook","year":"1997","key":"7_CR14","unstructured":"Lawrence, P. (Ed.), Workflow Handbook, John Wiley & Sons Ltd, Chichester, UK, 1997."},{"key":"7_CR15","unstructured":"Lazowska, E.D., J. Zahorjan, G. Graham, and K. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, 1984."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Medina-Mora, R., T. Winograd, R. Flores, and F. Flores, The action workflow approach to workflow management technology. In Proceedings of CSCW\u2019 92, November 1992, pp. 281\u2013288.","DOI":"10.1145\/143457.143530"},{"key":"7_CR17","volume-title":"Business Processes: Modelling and analysis for re-engineering and improvement","author":"M.A. Ould","year":"1995","unstructured":"Ould, M.A., Business Processes: Modelling and analysis for re-engineering and improvement, John Wiley & Sons, Chichester, England, 1995."},{"key":"7_CR18","unstructured":"Pegden, C.D., R.R. Shannon, and R.P. Sadowski, Introduction to Simulation Using SIMAN. Second ed. McGraw-Hill, 1995."},{"issue":"4","key":"7_CR19","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/S0169-7552(97)83471-X","volume":"29","author":"D.A.C. Quartel","year":"1997","unstructured":"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\u2013436.","journal-title":"Computer Networks and ISDN Systems"},{"key":"7_CR20","unstructured":"Rational Software Corporation, Unified Modeling Language, Version 1.0, 1997 [Unpublished report]. http:\/\/www.rational.com\/ot\/uml\/1.0\/index.html"},{"key":"7_CR21","first-page":"171","volume-title":"Proceedings of the Fourth International Working Conference on Dynamic Modelling of Information Systems","author":"N.B.J. Rijst van der","year":"1994","unstructured":"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\u2013186."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Scheer, A.-W., ARIS-Business Process Frameworks. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-642-97738-1"},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1147\/sj.321.0080","volume":"32","author":"A.L. Scherr","year":"1993","unstructured":"Scherr, A.L., A new approach to business processes, IBM Systems Journal, Vol. 32, No. 1, 1993, pp. 80\u201398.","journal-title":"IBM Systems Journal"},{"key":"7_CR24","unstructured":"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\u2013386. North-Holland, 1994."},{"key":"7_CR25","volume-title":"Understanding computers and cognition: A new foundation for design","author":"T. Winograd","year":"1986","unstructured":"Winograd, T., and F. Flores, Understanding computers and cognition: A new foundation for design, Ablex, Norwood, NJ, 1986."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:26:58Z","timestamp":1556803618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}