{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:32:43Z","timestamp":1725507163896},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789413"},{"type":"electronic","value":"9783540789420"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78942-0_27","type":"book-chapter","created":{"date-parts":[[2008,4,18]],"date-time":"2008-04-18T02:45:30Z","timestamp":1208486730000},"page":"271-281","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Theory of Services"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Reisig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67485-3","volume-title":"Formale Modelle f\u00fcr Informationssysteme, Informatik-Fachberichte","author":"H.C. Mayr","year":"1979","unstructured":"Mayr, H.C., Meyer, B.E.: Formale Modelle f\u00fcr Informationssysteme, Informatik-Fachberichte Nr. 21. Springer, Heidelberg (1979)"},{"issue":"1","key":"27_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting WSBPEL Processes Using Flexible Model Generation. Data Knowl. Eng. 64(1), 38\u201354 (2008)","journal-title":"Data Knowl. Eng."},{"key":"27_CR3","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic Translation of Open Workflow Net Models into Human-readable Abstract BPEL Processes. In: K\u00fchne, T., Steimann, F. (eds.) Modellierung 2008, Berlin, Germany, M\u00e4rz 12\u201314, 2008. Lecture Notes in Informatics (LNI) GI. (to appear, 2008)"},{"key":"27_CR4","first-page":"28","volume":"70","author":"W. Reisig","year":"2007","unstructured":"Reisig, W., Wolf, K., Bretschneider, J., Kaschner, K., Lohmann, N., Massuthe, P., Stahl, C.: Challenges in a Service-Oriented World. ERCIM News 70, 28\u201329 (2007)","journal-title":"ERCIM News"},{"key":"27_CR5","series-title":"LNCS","volume-title":"WS-FM 2007","author":"N. A. Lohmann","year":"2008","unstructured":"Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, Springer, Heidelberg (2008)"},{"key":"27_CR6","series-title":"LNCS","first-page":"271","volume-title":"BPM 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Behavioral Constraints for Services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 271\u2013287. Springer, Heidelberg (2007)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Moser, S., Martens, A., G\u00f6rlach, K., Amme, W., Godlinski, A.: Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In: IEEE International Conference on Services Computing (SCC 2007), pp. 98\u2013105 (2007)","DOI":"10.1109\/SCC.2007.22"},{"key":"27_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-540-75221-9_25","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"W. Reisig","year":"2007","unstructured":"Reisig, W., Bretschneider, J., Fahland, D., Lohmann, N., Massuthe, P., Stahl, C.: Services as a Paradigm of Computation. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol. 4700, pp. 521\u2013538. Springer, Heidelberg (2007)"},{"key":"27_CR9","series-title":"LNCS","first-page":"17","volume-title":"BPM 2006","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"27_CR10","series-title":"LNCS","first-page":"220","volume-title":"BPM 2005","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220\u2013235. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Business Information Processing","Information Systems and e-Business Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78942-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T14:00:41Z","timestamp":1551448841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78942-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540789413","9783540789420"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78942-0_27","relation":{},"ISSN":["1865-1348"],"issn-type":[{"type":"print","value":"1865-1348"}],"subject":[],"published":{"date-parts":[[2008]]}}}