{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:58:21Z","timestamp":1725551901063},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305101"},{"type":"electronic","value":"9783540322771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11590354_8","type":"book-chapter","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T11:20:28Z","timestamp":1132053628000},"page":"71-76","source":"Crossref","is-referenced-by-count":1,"title":["Model Transformation Based Verification of Web Services Composition"],"prefix":"10.1007","author":[{"given":"YanPing","family":"Yang","sequence":"first","affiliation":[]},{"given":"QingPing","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Xiao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, 2nd edn. EATCS Monographs on Theoretical Computer Science, vol.\u00a01, 2, 3. Springer, Heidelberg (1997)","edition":"2"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/ASE.2003.1240303","volume-title":"proceedings of the Eighteenth IEEE International Conference on Automated Software Engineering (ASE 2003)","author":"H. Foster","year":"2003","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service composition. In: Proceedings of the Eighteenth IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 152\u2013162. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/CW.2002.1180904","volume-title":"proceedings of the First International Symposium on Cyber Worlds (CW 2002)","author":"S. Nakajima","year":"2002","unstructured":"Nakajima, S.: Verification of Web Service Flows with Model-Checking Techniques. In: Proceedings of the First International Symposium on Cyber Worlds (CW 2002), pp. 378\u2013385. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1109\/EDOC.2000.882357","volume-title":"proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000)","author":"C. Karamanolis","year":"2000","unstructured":"Karamanolis, C., Giannakopoulou, D., Magee, J., Wheater, S.M.: Model checking of workflow schemas. In: Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), pp. 170\u2013179. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"8_CR5","first-page":"203","volume-title":"proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000)","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G., Spark, S., Lerda, F.: Model checking programs. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pp. 203\u2013232. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/EDOC.2002.1137700","volume-title":"Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002)","author":"J. Koehler","year":"2002","unstructured":"Koehler, J., Tirenni, G., Kumaran, S.: From business process model to consistent implementation: a case study for formal verification methods. In: Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), pp. 96\u2013106. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"8_CR7","unstructured":"Koshkina, M.: Verification of business processes for web services. Master\u2019s thesis, York University (2003)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"8_CR9","unstructured":"Martens, A.: Distributed Business Processes \u2013 Modeling and Verification by help of Web Services. PhD thesis, Humboldt-Universit\u00e4t zu Berlin (July 2003), Available at \n                    \n                      http:\/\/www.informatik.hu-berlin.de\/top\/download\/documents\/pdf\/Mar03.pdf"},{"key":"8_CR10","first-page":"675","volume":"42","author":"S. Narayanan","year":"2003","unstructured":"Narayanan, S., McIlraith, S.: Analysis and simulation of Web services. Special issue: The Semantic Web: an evolution for a revolution. Computer Networks: The International Journal of Computer and Telecommunications Networking\u00a042, 675\u2013693 (2003)","journal-title":"The International Journal of Computer and Telecommunications Networking"},{"key":"8_CR11","unstructured":"Stahl, C.: Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universit\u00c4at zu Berlin (April 2004)"},{"key":"8_CR12","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated Formal Verification of Model Transformations. In: Proceedings of Workshop on Critical Systems Development with UML (CSDUML 2003), Technische Universitat Munchen, pp. 63\u201378 (2003)"},{"key":"8_CR13","volume-title":"To appear in proceedings of the International Conference on Next generation Web services Practices (NWeSP 2005)","author":"Y. Yang","year":"2005","unstructured":"Yang, Y., Tan, Q., Yu, J., Liu, F.: Transformation BPEL to CP-Nets for Verifying Web services Composition. To appear in proceedings of the International Conference on Next generation Web services Practices (NWeSP 2005). IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"8_CR14","first-page":"358","volume-title":"To appear in proceedings of eCOMO workshop of the 24th International Conference on Conceptual Modeling (ER 2005)","author":"Y. Yang","year":"2005","unstructured":"Yang, Y., Tan, Q., Xiao, Y.: Verifying Web Services Composition. To appear in proceedings of eCOMO workshop of the 24th International Conference on Conceptual Modeling (ER 2005), pp. 358\u2013367. Springer, Heidelberg (2005)"},{"key":"8_CR15","volume-title":"To appear in proceedings of IHIS workshop of the 14th ACM Conference on Information and Knowledge Management (CIKM 2005)","author":"Y. Yang","year":"2005","unstructured":"Yang, Y., Tan, Q., Xiao, Y.: Verifying Web Services Composition Based on Hierarchical Colored Petri Nets. To appear in proceedings of IHIS workshop of the 14th ACM Conference on Information and Knowledge Management (CIKM 2005). ACM, New York (2005)"},{"key":"8_CR16","first-page":"120","volume-title":"Proceedings of the 19th Very Large Data Bases Conference","author":"R.J. Miller","year":"1993","unstructured":"Miller, R.J., Ioannidis, Y.E., Ramakrishnan, R.: The Use of Information Capacity in Schema Integration and Translation. In: Agrawal, R., Baker, S., Bell, D.A. (eds.) Proceedings of the 19th Very Large Data Bases Conference, pp. 120\u2013133. Morgan Kaufmann, San Francisco (1993)"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing - GCC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11590354_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:08Z","timestamp":1619506268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11590354_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305101","9783540322771"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11590354_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}