{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:04:06Z","timestamp":1761807846912},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,10,13]],"date-time":"2013-10-13T00:00:00Z","timestamp":1381622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10766-013-0279-0","type":"journal-article","created":{"date-parts":[[2013,10,12]],"date-time":"2013-10-12T09:55:57Z","timestamp":1381571757000},"page":"339-358","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Composition of Heterogeneous Models Based on Semantic Web Services"],"prefix":"10.1007","volume":"43","author":[{"given":"Hui","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ligang","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xueguang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghui","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,13]]},"reference":[{"key":"279_CR1","unstructured":"Krishnan, R., Chari, K.: Model management: survey, future research directions and a bibliography. Interact. Trans. OR\/MS 3(1) (2000). http:\/\/www.informs.org\/Pubs\/ITORMS\/Archive\/Volume-3\/No.-1-Krishnan-and-Chari"},{"key":"279_CR2","unstructured":"Deokar, A.V., El-Gayar, O.F.: Enabling distributed model management using semantic Web technologies. In: 42nd Hawaii International Conference on System Sciences, 2009 (HICSS \u201909), 5\u20138 Jan. 2009, pp. 1\u20139"},{"issue":"1","key":"279_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10796-006-9015-2","volume":"9","author":"T Madhusudan","year":"2006","unstructured":"Madhusudan, T.: A web services framework for distributed model management. Inf, Syst. Frontiers 9(1), 9\u201327 (2006). doi: 10.1007\/s10796-006-9015-2","journal-title":"Inf, Syst. Frontiers"},{"issue":"3","key":"279_CR4","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0167-9236(02)00116-1","volume":"35","author":"K Chari","year":"2003","unstructured":"Chari, K.: Model composition in a distributed environment. Decis. Support Syst. 35(3), 399\u2013413 (2003). doi: 10.1016\/s0167-9236(02)00116-1","journal-title":"Decis. Support Syst."},{"issue":"2","key":"279_CR5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.dss.2004.07.003","volume":"41","author":"T Madhusudan","year":"2006","unstructured":"Madhusudan, T., Uttamsingh, N.: A declarative approach to composing web services in dynamic environments. Decis. Support Syst. 41(2), 325\u2013357 (2006). doi: 10.1016\/j.dss.2004.07.003","journal-title":"Decis. Support Syst."},{"issue":"8","key":"279_CR6","doi-asserted-by":"crossref","first-page":"11021","DOI":"10.1016\/j.eswa.2009.02.098","volume":"36","author":"E Karakoc","year":"2009","unstructured":"Karakoc, E., Senkul, P.: Composing semantic Web services under constraints. Expert Syst. Appl. 36(8), 11021\u201311029 (2009). doi: 10.1016\/j.eswa.2009.02.098","journal-title":"Expert Syst. Appl."},{"issue":"4","key":"279_CR7","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for Web service composition using SHOP2. Web Semant.: Sci. Serv. Agents World Wide Web 1(4), 377\u2013396 (2004). doi: 10.1016\/j.websem.2004.06.005","journal-title":"Web Semant.: Sci. Serv. Agents World Wide Web"},{"issue":"10","key":"279_CR8","doi-asserted-by":"crossref","first-page":"13024","DOI":"10.1016\/j.eswa.2011.04.102","volume":"38","author":"X Tang","year":"2011","unstructured":"Tang, X., Jiang, C., Zhou, M.: Automatic Web service composition based on Horn clauses and Petri nets. Expert Syst. Appl. 38(10), 13024\u201313031 (2011). doi: 10.1016\/j.eswa.2011.04.102","journal-title":"Expert Syst. Appl."},{"issue":"10","key":"279_CR9","doi-asserted-by":"crossref","first-page":"12772","DOI":"10.1016\/j.eswa.2011.04.068","volume":"38","author":"WL Yeung","year":"2011","unstructured":"Yeung, W.L.: A formal and visual modeling approach to choreography based web services composition and conformance verification. Expert Syst. Appl. 38(10), 12772\u201312785 (2011). doi: 10.1016\/j.eswa.2011.04.068","journal-title":"Expert Syst. Appl."},{"issue":"2","key":"279_CR10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1061\/(ASCE)1527-6988(2008)9:2(70)","volume":"9","author":"A Panakkat","year":"2008","unstructured":"Panakkat, A., Adeli, H.: Recent efforts in earthquake prediction (1990\u20132007). Nat. Hazards Rev. 9(2), 70\u201380 (2008)","journal-title":"Nat. Hazards Rev."},{"issue":"3\u20134","key":"279_CR11","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/j.tecto.2009.06.008","volume":"476","author":"RD Cicerone","year":"2009","unstructured":"Cicerone, R.D., Ebel, J.E., Britton, J.: A systematic compilation of earthquake precursors. Tectonophysics 476(3\u20134), 371\u2013396 (2009). doi: 10.1016\/j.tecto.2009.06.008","journal-title":"Tectonophysics"},{"key":"279_CR12","volume-title":"The \u201cseismic drought\u201d Connection in China","author":"Q Geng","year":"1985","unstructured":"Geng, Q.: The \u201cseismic drought\u201d Connection in China. Ocean Press, Beijing (1985)"},{"issue":"2","key":"279_CR13","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"SA McIlraith","year":"2001","unstructured":"McIlraith, S.A., Son, T.C., Honglei, Z.: Semantic Web services. IEEE Intell. Syst. 16(2), 46\u201353 (2001). doi: 10.1109\/5254.920599","journal-title":"IEEE Intell. Syst."},{"issue":"1","key":"279_CR14","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MIS.2003.1179199","volume":"18","author":"SA McIlraith","year":"2003","unstructured":"McIlraith, S.A., Martin, D.L.: Bringing semantics to Web services. IEEE Intell. Syst. 18(1), 90\u201393 (2003). doi: 10.1109\/mis.2003.1179199","journal-title":"IEEE Intell. Syst."},{"issue":"1","key":"279_CR15","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/5254.747902","volume":"14","author":"B Chandrasekaran","year":"1999","unstructured":"Chandrasekaran, B., Josephson, J.R., Benjamins, V.R.: What are ontologies, and why do we need them? IEEE Intell. Syst. Their Appl. 14(1), 20\u201326 (1999)","journal-title":"IEEE Intell. Syst. Their Appl."},{"key":"279_CR16","unstructured":"Bechhofer, S., Harmelen, F.v., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004). http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/"},{"key":"279_CR17","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services (2004). http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"279_CR18","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Giunchiglia, E., Giunchiglia, F., Traverso, P.: Planning via model checking: a decision procedure for AR. In: Steel, S., Alami, R. (eds.) vol. 1348. Lecture Notes in Computer Science, pp. 130\u2013142. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63912-8_81"},{"key":"279_CR19","unstructured":"Cimatti, A., Roveri, M., Traverso, P.: Automatic OBDD-based generation of universal plans in non-deterministic domains. Paper Presented at the Proceedings of the Fifteenth National\/Tenth Conference on Artificial Intelligence\/Innovative Applications of Artificial Intelligence, Madison, WI, USA"},{"issue":"1\u20132","key":"279_CR20","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1\u20132), 35\u201384 (2003). doi: 10.1016\/s0004-3702(02)00374-0","journal-title":"Artif. Intell."},{"key":"279_CR21","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Roveri, M.: Conformant planning via model checking. In: Biundo, S., Fox, M. (eds.) vol. 1809. Lecture Notes in Computer Science, pp. 21\u201334. Springer, Berlin (2000)","DOI":"10.1007\/10720246_2"},{"key":"279_CR22","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a model based planner. In: IJCAI-2001 Workshop on Planning Under Uncertainty and Incomplete Information, pp. 93\u201397 (2001)"},{"key":"279_CR23","doi-asserted-by":"crossref","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic Web services into executable processes. In: McIlraith, S., Plexousakis, D., van Harmelen, F. (eds.) vol. 3298. Lecture Notes in Computer Science, pp. 380\u2013394. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30475-3_27"},{"key":"279_CR24","unstructured":"Marconi, A., Pistore, M., Poccianti, P.: Automated Web service composition at work: the Amazon\/MPS case study. In: IEEE International Conference on Web Services, 2007 (ICWS 2007), 9\u201313 July 2007, pp. 767\u2013774 (2007)"},{"issue":"3\u20134","key":"279_CR25","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P Bertoli","year":"2010","unstructured":"Bertoli, P., Pistore, M., Traverso, P.: Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3\u20134), 316\u2013361 (2010). doi: 10.1016\/j.artint.2009.12.002","journal-title":"Artif. Intell."},{"issue":"6","key":"279_CR26","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1287\/opre.36.6.849","volume":"36","author":"T-p Liang","year":"1988","unstructured":"Liang, T-p: Development of a knowledge-based model management system. Oper. Res. 36(6), 849\u2013863 (1988). doi: 10.1287\/opre.36.6.849","journal-title":"Oper. Res."},{"issue":"4\u20135","key":"279_CR27","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.artint.2006.01.004","volume":"170","author":"P Bertoli","year":"2006","unstructured":"Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Strong planning under partial observability. Artif. Intell. 170(4\u20135), 337\u2013384 (2006). doi: 10.1016\/j.artint.2006.01.004","journal-title":"Artif. Intell."},{"issue":"1","key":"279_CR28","first-page":"61","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Int. Res. 20(1), 61\u2013124 (2003)","journal-title":"J. Artif. Int. Res."},{"key":"279_CR29","unstructured":"Rintanen, J.: Complexity of planning with partial observability. Paper Presented at the Proceedings of ICAPS 2004"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0279-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-013-0279-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0279-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T19:15:29Z","timestamp":1564514129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-013-0279-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,13]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["279"],"URL":"https:\/\/doi.org\/10.1007\/s10766-013-0279-0","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,13]]}}}