{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:49Z","timestamp":1725551749186},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_30","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"435-449","source":"Crossref","is-referenced-by-count":2,"title":["Visualizing and Simulating Semantic Web Services Ontologies"],"prefix":"10.1007","author":[{"given":"Jun","family":"Sun","sequence":"first","affiliation":[]},{"given":"Yuan Fang","family":"Li","sequence":"additional","affiliation":[]},{"given":"Hai","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"30_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American\u00a0284(5), 35\u201343 (2001)","journal-title":"Scientific American"},{"key":"30_CR2","unstructured":"Booth, D., Champion, M., Ferris, C., McCabe, F., Newcomer, E., Orchard, D.: Web Services Architecture (February 2004), http:\/\/www.w3.org\/TR\/2004\/NOTE-ws-arch-20040211\/"},{"key":"30_CR3","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1. W3C, 1.1 edn. (March 2001), http:\/\/www.w3c.org\/TR\/wsdl"},{"key":"30_CR4","first-page":"451","volume-title":"Proceedings of the IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)","author":"W. Damm","year":"1999","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. In: Proceedings of the IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), p. 451. Kluwer, B.V (1999)"},{"key":"30_CR5","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER User\u2019s Guide and Reference Manual: Version 1.7.6 (December 2002)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out. In: OOPSLA Companion, pp. 68\u201369 (2003)","DOI":"10.1145\/949344.949353"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Specifying and Executing Behavioral Requirements: The Play-In\/Play-Out Approach. Technical Report MCS01-15, The Weizmann Institute of Science Rehovot, Israel (2002)","DOI":"10.1145\/985072.985115"},{"key":"30_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"30_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"issue":"5","key":"30_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker spin. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997); Special issue on Formal Methods in Software Practice","journal-title":"IEEE Trans. on Software Engineering"},{"key":"30_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"30_CR12","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (May 2004), http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/"},{"key":"30_CR13","unstructured":"ITU: Message Sequence Chart(MSC), Series Z: Languages and general software aspects for telecommunication systems (November 1999)"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-30475-3_17","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"H. Knublauch","year":"2004","unstructured":"Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Prot\u00e9g\u00e9 OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"30_CR15","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L. (eds.): OWL Web Ontology Language Guide (2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-guide-20040210\/"},{"key":"30_CR16","series-title":"International Series in Computer Science","volume-title":"Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"30_CR17","unstructured":"The OWL Services Coalition. OWL-S: Semantic Markup for Web Services (2004), http:\/\/www.daml.org\/services\/owl-s\/"},{"key":"30_CR18","unstructured":"UDDI. Universal Description, Discovery, and Integration of Business for the Web (October 2001), http:\/\/www.uddi.org"},{"key":"30_CR19","unstructured":"W3C. Simple Object Access Protocol (SOAP) 1.1 (2000), http:\/\/www.w3c.org\/TR\/SOAP"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:35Z","timestamp":1605643175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11576280_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}