{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T20:03:21Z","timestamp":1791144201673,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540730934","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73094-1_20","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T01:53:56Z","timestamp":1183168436000},"page":"321-341","source":"Crossref","is-referenced-by-count":58,"title":["Operating Guidelines for Finite-State Services"],"prefix":"10.1007","author":[{"given":"Niels","family":"Lohmann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Massuthe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","first-page":"452","volume-title":"QSIC 2005","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Schmidt, K.: Operating guidelines \u2013 An automata-theoretic foundation for the service-oriented architecture. In: QSIC 2005, pp. 452\u2013457. IEEE Computer Society Press, Washington (2005)"},{"issue":"3","key":"20_CR2","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating guideline approach to the SOA. Annals of Mathematics, Computing and Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing and Teleinformatics"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/773153.773154","volume-title":"PODS \u201903","author":"R. Hull","year":"2003","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: A look behind the curtain. In: PODS \u201903, pp. 1\u201314. ACM Press, New York (2003)"},{"issue":"4","key":"20_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/367211.367268","volume":"44","author":"M.P. Papazoglou","year":"2001","unstructured":"Papazoglou, M.P.: Agent-oriented technology in support of e-business. Communications of the ACM\u00a044(4), 71\u201377 (2001)","journal-title":"Communications of the ACM"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","first-page":"140","volume-title":"Advanced Information Systems Engineering","author":"W.v.d. Aalst","year":"2001","unstructured":"Aalst, W.v.d., Weske, M.: The P2P approach to interorganizational workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 140\u2013156. Springer, Berlin (2001)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Leymann, F., Roller, D., Schmidt, M.: Web services and business process management. IBM Systems Journal, vol. 41(2) (2002)","DOI":"10.1147\/sj.412.0198"},{"issue":"1","key":"20_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.v.d. Aalst","year":"1998","unstructured":"Aalst, W.v.d.: The application of petri nets to workflow management. Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"20_CR8","unstructured":"Alves, A. et al.: Web Services Business Process Execution Language Version 2.0. Committee Draft, 25 January, 2007, OASIS (2007)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","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.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","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. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-24773-9_7","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 78\u201394. Springer, Heidelberg (2004)"},{"key":"20_CR12","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In: Proceedings of the 12th International Workshop on Abstract State Machines (ASM\u201905), Paris XII, pp. 131\u2013151 (2005)"},{"key":"20_CR13","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J. Arias-Fisteus","year":"2004","unstructured":"Arias-Fisteus, J., Fern\u00e1ndez, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 76\u201385. Springer, Heidelberg (2004)"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"WWW\u00a0\u201904: Proceedings of the 13th international conference on World Wide Web","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW\u00a0\u201904: Proceedings of the 13th international conference on World Wide Web, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: ICSOC, ACM 2004, pp. 242\u2013251, ACM (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of regions. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"20_CR19","unstructured":"Weinberg, D.: Reduction Rules for Interaction Graphs. Techn. Report 198, Humboldt-Universit\u00e4t zu Berlin (2006)"},{"issue":"8","key":"20_CR20","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"20_CR21","unstructured":"Kaschner, K., Massuthe, P., Wolf, K.: Symbolische Repr\u00e4sentation von Bedienungsanleitungen f\u00fcr Services. In: AWPN Workshop 2006, Universit\u00e4t Hamburg (in German) pp. 54\u201361(2006)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Arias-Fisteus, J., Fern\u00e1ndez, L.S., Kloos, C.D.: Applying model checking to BPEL4WS business collaborations. In: Proceedings of the, ACM Symposium on Applied Computing (SAC), pp. 826\u2013830, ACM (2005)","DOI":"10.1145\/1066677.1066866"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Postel, J.B.: Simple Mail Transfer Protocol. RFC 821, Information Sciences Institute, University of Southern California, Network Working Group (1982)","DOI":"10.17487\/rfc0821"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:11:47Z","timestamp":1605744707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730934"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_20","relation":{},"subject":[]}}