{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:04:17Z","timestamp":1743005057724,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252549"},{"type":"electronic","value":"9783642252556"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25255-6_69","type":"book-chapter","created":{"date-parts":[[2011,12,7]],"date-time":"2011-12-07T12:24:03Z","timestamp":1323260643000},"page":"545-552","source":"Crossref","is-referenced-by-count":0,"title":["Verification Tool of Software Requirement for Network Software"],"prefix":"10.1007","author":[{"given":"Tao","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liping","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huazhong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"S6","key":"69_CR1","first-page":"293","volume":"14","author":"K. He","year":"2007","unstructured":"He, K., Liang, P., Li, B., et al.: Meta-modeling of Requirement for Networked Software, An Open Hierarchical & Cooperative Unified Requirement Framework URF. DCDIS2B\u00a014(S6), 293\u2013298 (2007)","journal-title":"DCDIS2B"},{"key":"69_CR2","doi-asserted-by":"crossref","unstructured":"Wang, J., He, K., Li, B., et al.: Meta-models of Domain Modeling Framework for Networked Software. In: Proceedings of The Sixth International Conference on Grid and Cooperative Computing, GCC 2007, Urumchi, China, pp. 878\u2013885 (August 2007)","DOI":"10.1109\/GCC.2007.84"},{"issue":"2","key":"69_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.websem.2008.10.001","volume":"7","author":"K. Matthias","year":"2009","unstructured":"Matthias, K., Benedikt, F., Katia, S.: OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services. Web Semantics: Science, Services and Agents on the World Wide Web\u00a07(2), 121\u2013133 (2009)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"69_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S. Morimoto","year":"2008","unstructured":"Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol.\u00a05102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"Qi, G., Tianshi, C., Haihua, S., Yunji, C., Weiwu, H.: On-the-Fly Reduction of Stimuli for Functional Verification, ats. In: 2010 19th IEEE Asian Test Symposium, pp. 448\u2013454 (2010)","DOI":"10.1109\/ATS.2010.82"},{"key":"69_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-540-73011-8_29","volume-title":"Technologies for E-Learning and Digital Entertainment","author":"F. He","year":"2007","unstructured":"He, F., Le, J.: Hierarchical Petri-Nets Model for the Design of E-Learning System. In: Hui, K.-c., Pan, Z., Chung, R.C.-k., Wang, C.C.L., Jin, X., G\u00f6bel, S., Li, E.C.-L. (eds.) EDUTAINMENT 2007. LNCS, vol.\u00a04469, pp. 283\u2013292. Springer, Heidelberg (2007)"},{"key":"69_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-642-10383-4_38","volume-title":"Service-Oriented Computing","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Hughes, G., Bultan, T., Alkhalaf, M.: Generating Interface Grammars from WSDL for Automated Verification of Web Services. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 516\u2013530. Springer, Heidelberg (2009)"},{"key":"69_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-24721-0_15","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Moldt","year":"2004","unstructured":"Moldt, D., Ortmann, J.: DaGen: A Tool for Automatic Translation from\u00a0DAML-S\u00a0to\u00a0High-Level\u00a0Petri\u00a0Nets. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 209\u2013213. Springer, Heidelberg (2004); Kornack, D., Rakic, P.: Cell Proliferation without Neurogenesis in Adult Primate Neocortex. Science\u00a0294, 2127\u20132130 (2001)"},{"key":"69_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-88194-0_15","volume-title":"Formal Methods and Software Engineering","author":"M. Staats","year":"2008","unstructured":"Staats, M., Heimdahl, M.P.E.: Partial Translation Verification for Untrusted Code-Generators. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 226\u2013237. Springer, Heidelberg (2008)"},{"issue":"4","key":"69_CR10","first-page":"591","volume":"19","author":"O. Emilia","year":"2008","unstructured":"Emilia, O., Tomi, J.: A Translation-based Approach to the Verification of Modular Equivalence. Journal of Logic and Computation\u00a019(4), 591\u2013613 (2008)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Information Computing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25255-6_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T01:53:51Z","timestamp":1742003631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25255-6_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252549","9783642252556"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25255-6_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}