{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:31:18Z","timestamp":1761597078397},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-79230-7_10","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T06:53:23Z","timestamp":1207983203000},"page":"139-153","source":"Crossref","is-referenced-by-count":26,"title":["From Public Views to Private Views \u2013 Correctness-by-Design for Services"],"prefix":"10.1007","author":[{"given":"Wil M. P.","family":"van der Aalst","sequence":"first","affiliation":[]},{"given":"Niels","family":"Lohmann","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Massuthe","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1025182201690","volume":"4","author":"W. Aalst van der","year":"2003","unstructured":"van der Aalst, W.: Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control? Information Technology and Management Journal\u00a04(4), 345\u2013389 (2003)","journal-title":"Information Technology and Management Journal"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45341-5_10","volume-title":"Advanced Information Systems Engineering","author":"W. Aalst van der","year":"2001","unstructured":"van der Aalst, W., 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, Heidelberg (2001)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1109\/ICWS.2007.59","volume-title":"Proceedings of the IEEE International Conference on Web Services (ICWS 2007)","author":"G. Decker","year":"2007","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2007), pp. 296\u2013303. IEEE Computer Society, Los Alamitos (2007)"},{"key":"10_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)"},{"issue":"3","key":"10_CR5","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 & Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"van der Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"1-2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W. Aalst van der","year":"2002","unstructured":"van der Aalst, W., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theor. Comput. Sci.\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.: Inheritance of Behavior. Journal of Logic and Algebraic Programming\u00a047(2), 47\u2013145 (2001)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10_CR9","unstructured":"van der Aalst, W., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universit\u00e4t zu Berlin (2007)"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/367211.367268","volume":"44","author":"M. Papazoglou","year":"2001","unstructured":"Papazoglou, M.: Agent-oriented technology in support of e-business. Commun. ACM\u00a044(4), 71\u201377 (2001)","journal-title":"Commun. ACM"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek","year":"1996","unstructured":"Glabbeek, R., van Weijland, W.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T17:24:10Z","timestamp":1551461050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540792291","9783540792307"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}