{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:49:33Z","timestamp":1649101773456},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2009,6,1]],"date-time":"2009-06-01T00:00:00Z","timestamp":1243814400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["DuD"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s11623-009-0073-8","type":"journal-article","created":{"date-parts":[[2009,7,16]],"date-time":"2009-07-16T01:27:28Z","timestamp":1247707648000},"page":"359-363","source":"Crossref","is-referenced-by-count":0,"title":["Modellgest\u00fctzte Validierung von WebService-Ketten"],"prefix":"10.1007","volume":"33","author":[{"given":"Martin","family":"Rost","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,17]]},"reference":[{"key":"73_CR1","unstructured":"Bizer, J.; Grimm, R.; Staab, S.: SOAinVO \u2014 Chancen und Risiken von Service-orientierten Architekturen in Virtuellen Organisationen, Version 1.0, 2007 https:\/\/www.datenschutzzentrum.de\/soa\/SOAinVO-Analyse.pdf"},{"key":"73_CR2","unstructured":"Clark, E.M.; Grumberg, O.; Peled, D.A.: Model Checking, The MIT Press, 1999."},{"key":"73_CR3","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/280277.280280","volume":"30","author":"R. Conradi","year":"1998","unstructured":"Conradi, R.; Westfechtel, B.: Version Models for Software Configuration Management. ACM Surveys, 30, 1998; S. 232\u2013282.","journal-title":"ACM Surveys"},{"key":"73_CR4","volume-title":"Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress","author":"S. Feja","year":"2007","unstructured":"Feja, S.: Service-orientierte Integration im Ecommerce. In: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, B-IT Bonn-Aachen, International Center for Information Technology: Bonn, 2007."},{"key":"73_CR5","unstructured":"F\u00f6tsch, D.; Pulverm\u00fcller; E.; Rossak, W.: Modeling and Verifying Workflow-based Regulations, In: Proceedings of International Workshop on Regulations Modelling and their Validation and Verification (REMO2V\u2019 06) in conjunction with CAiSE\u2019 06, Luxemburg, 2006, S. 825\u2013830."},{"key":"73_CR6","unstructured":"Meyer-Spasche, G.; St\u00f6ring, M.: Dienstbar \u2014 Rechtliche Risiken bei SOA-Projekten managen, in: iX, Mai 2009, S. 134\u2013135."},{"key":"73_CR7","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-44800-4_7","volume-title":"Proceedings of 3rd International Symposium of Generative and Componentbased Software Engineering (GCSE 2001)","author":"E. Pulverm\u00fcller","year":"2001","unstructured":"Pulverm\u00fcller, E.; Speck, A.; Coplien, J. O.: A Version Model for Aspect Dependency Management. In: Proceedings of 3rd International Symposium of Generative and Componentbased Software Engineering (GCSE 2001), LNCS 1241, Erfurt, Springer 2001, S. 70\u201379."},{"key":"73_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"McMillan","year":"1993","unstructured":"McMillan: Symbolic Model Checking. Kluwer, Academic Publishers, 1993."},{"key":"73_CR9","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1007\/s11623-007-0240-8","volume":"10","author":"Chr. Ringelstein","year":"2007","unstructured":"Ringelstein, Chr.: Protokollierung in serviceorientierten Architekturen. In: Datenschutz und Datensicherheit (DuD), Vieweg-Verlag, 10\/2007, S. 736\u2013739.","journal-title":"Datenschutz und Datensicherheit (DuD)"},{"key":"73_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s002870000101","volume":"06","author":"G. Wolf","year":"2000","unstructured":"Wolf, G.; Pfitzmann, A.: Charakteristika von Schutzzielen und Konsequenzen f\u00fcr Benutzungsschnittstellen. In: Informatik Spektrum, 06\/2000, S. 173\u2013191.","journal-title":"Informatik Spektrum"}],"container-title":["Datenschutz und Datensicherheit - DuD"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11623-009-0073-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11623-009-0073-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11623-009-0073-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T18:20:54Z","timestamp":1559413254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11623-009-0073-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":10,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["73"],"URL":"https:\/\/doi.org\/10.1007\/s11623-009-0073-8","relation":{},"ISSN":["1614-0702","1862-2607"],"issn-type":[{"value":"1614-0702","type":"print"},{"value":"1862-2607","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6]]}}}