{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:24Z","timestamp":1774915524547,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540388623","type":"print"},{"value":"9783540388654","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841197_1","type":"book-chapter","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T07:59:47Z","timestamp":1157961587000},"page":"1-23","source":"Crossref","is-referenced-by-count":201,"title":["DecSerFlow: Towards a Truly Declarative Service Flow Language"],"prefix":"10.1007","author":[{"given":"W. M. P.","family":"van der Aalst","sequence":"first","affiliation":[]},{"given":"M.","family":"Pesic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11575771_11","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03760, pp. 130\u2013147. Springer, Heidelberg (2005)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11549970_4","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life After BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 35\u201350. Springer, Heidelberg (2005)"},{"key":"1_CR3","unstructured":"van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version), BPM Center Report BPM-05-25, BPMcenter.org (2005)"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"1_CR5","unstructured":"van der Aalst, W.M.P., Pesic, M.: Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware, BPM Center Report BPM-06-09, BPM Center, BPMcenter.org (2006), \n                    \n                      http:\/\/www.BPMcenter.org\/reports\/2006\/BPM-06-09.pdf"},{"issue":"9","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"1_CR7","unstructured":"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)"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software through Process Technology","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, Chichester (2005)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"ICSE 1999: Proceedings of the 21st international conference on Software engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-34892-6_1","volume-title":"Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV","author":"R. Gerth","year":"1996","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple On-The-Fly Automatic Verification of Linear Temporal Logic. In: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pp. 3\u201318. Chapman & Hall, Ltd., London (1996)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1109\/ASE.2001.989841","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001)","author":"D. Giannakopoulou","year":"2001","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 412\u2013416. IEEE Computer Society Press, Providence (2001)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/ASE.2001.989799","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001)","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring Programs Using Rewriting. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 135\u2013143. IEEE Computer Society Press, Providence (2001)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing Monitors for Safety Properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"1_CR14","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2003)"},{"key":"1_CR15","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"1_CR16","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web Services Choreography Description Language, Version 1.0. W3C Working Draft 17-12-04 (2004)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"BPM 2006 Workshops: International Workshop on Dynamic Process Management (DPM 2006)","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: BPM 2006 Workshops: International Workshop on Dynamic Process Management (DPM 2006). LNCS. Springer, Heidelberg (2006)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"key":"1_CR19","unstructured":"Snell, J.: Automating business processes and transactions in Web services: An introduction to BPELWS, WS-Coordination, and WS-Transaction (June 2006), \n                    \n                      http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-autobp\/"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-39648-2_18","volume-title":"Conceptual Modeling - ER 2003","author":"P. Wohed","year":"2003","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 200\u2013215. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841197_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T02:17:06Z","timestamp":1552270626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841197_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388623","9783540388654"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11841197_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}