{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T18:29:14Z","timestamp":1687804154913},"reference-count":37,"publisher":"Zhejiang University Press","issue":"1","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Zhejiang Univ. - Sci. C"],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1631\/jzus.c1300089","type":"journal-article","created":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T22:44:33Z","timestamp":1389221073000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph"],"prefix":"10.1631","volume":"15","author":[{"given":"Lin-jun","family":"Fan","sequence":"first","affiliation":[]},{"given":"Yun-xiang","family":"Ling","sequence":"additional","affiliation":[]},{"given":"Xing-tao","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Tang","sequence":"additional","affiliation":[]}],"member":"635","published-online":{"date-parts":[[2014,1,9]]},"reference":[{"issue":"1","key":"1461_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/j.jnca.2011.07.013","volume":"35","author":"J Al-Jaroodi","year":"2012","unstructured":"Al-Jaroodi, J., Mohamed, N., 2012. Service-oriented middleware: a survey. J. Network Comput. Appl., 35(1):211\u2013220. [doi:10.1016\/j.jnca.2011.07.013]","journal-title":"J. Network Comput. Appl."},{"issue":"4","key":"1461_CR2","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1016\/j.future.2008.09.005","volume":"25","author":"A Asiki","year":"2009","unstructured":"Asiki, A., Doka, K., Konstantinou, I., et al., 2009. A grid middleware for data management exploiting peer-to-peer techniques. Future Gener. Comput. Syst., 25(4):426\u2013435. [doi:10.1016\/j.future.2008.09.005]","journal-title":"Future Gener. Comput. Syst."},{"issue":"15","key":"1461_CR3","doi-asserted-by":"crossref","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G., 2010. The Internet of Things: a survey. Comput. Networks, 54(15):2787\u20132805. [doi:10. 1016\/j.comnet.2010.05.010]","journal-title":"Comput. Networks"},{"key":"1461_CR4","first-page":"118","volume-title":"Proc. Int. Conf. on Systems Engineering and Modeling","author":"D Beimel","year":"2007","unstructured":"Beimel, D., Galanti, L., 2007. A consistency-preserving protocol for distributed collaborative model authoring. Proc. Int. Conf. on Systems Engineering and Modeling, p.118\u2013126. [doi:10.1109\/ICSEM.2007.373341]"},{"key":"1461_CR5","first-page":"339","volume-title":"Proc. 10th Int. Workshop on Business Process Modeling, Development and Support","author":"C Brandt","year":"2009","unstructured":"Brandt, C., Hermann, F., Engel, T., 2009. Security and consistency of it and business models at Credit Suisse realized by graph constraints, transformation and integration using algebraic graph theory. Proc. 10th Int. Workshop on Business Process Modeling, Development and Support, p.339\u2013352. [doi:10.1007\/978-3-642-01862-6_28]"},{"key":"1461_CR6","first-page":"143","volume-title":"Proc. Spring Simulation Interoperability Workshop","author":"A Ceranowicz","year":"2012","unstructured":"Ceranowicz, A., Cutts, D.E., Graff, J., et al., 2012. A proposal for a data exchange model representation standard. Proc. Spring Simulation Interoperability Workshop, p.143\u2013155."},{"key":"1461_CR7","first-page":"232","volume-title":"Proc. Int. Conf. on Electric Information and Control Engineering","author":"JW Chen","year":"2011","unstructured":"Chen, J.W., 2011. Comparison analysis for validating methods of system simulation models. Proc. Int. Conf. on Electric Information and Control Engineering, p.232\u2013235. [doi:10.1109\/ICEICE.2011.5778078]"},{"issue":"5","key":"1461_CR8","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1631\/jzus.C1100359","volume":"13","author":"DW Cheun","year":"2012","unstructured":"Cheun, D.W., La, H.J., Kim, S.D., 2012. A taxonomic framework for autonomous service management in service-oriented architecture. J. Zhejiang Univ.-Sci. C (Comput. & Electron.), 13(5):339\u2013354. [doi:10.1631\/jzus.C1100359]","journal-title":"J. Zhejiang Univ.-Sci. C (Comput. & Electron.)"},{"issue":"2","key":"1461_CR9","first-page":"685","volume":"19","author":"F Cicirelli","year":"2011","unstructured":"Cicirelli, F., Furfaro, A., Nigro, L., 2011. Modelling and simulation of complex manufacturing systems using statechart-based actors. IEEE Trans. Softw. Eng., 19(2): 685\u2013703. [doi:10.1016\/j.simpat.2010.10.010]","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1461_CR10","first-page":"121","volume-title":"Proc. 12th Int. Workshop on Principles on Software Evolution","author":"HK Dam","year":"2011","unstructured":"Dam, H.K., Ghose, A., 2011. An agent-based framework for distributed collaborative model evolution. Proc. 12th Int. Workshop on Principles on Software Evolution, p.121\u2013130. [doi:10.1145\/2024445.2024468]"},{"issue":"11","key":"1461_CR11","doi-asserted-by":"crossref","first-page":"1868","DOI":"10.1360\/jos161868","volume":"16","author":"J Ding","year":"2005","unstructured":"Ding, J., Chen, L., Zhou, F., et al., 2005. Consistency analysis of complex declarative simulation models. J. Softw., 16(11):1868\u20131875 (in Chinese). [doi:10.1360\/jos161868]","journal-title":"J. Softw."},{"key":"1461_CR12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/512035.512066","volume-title":"Proc. 5th Int. Workshop on Principles of Software Evolution","author":"G Engels","year":"2002","unstructured":"Engels, G., Kuster, J.M., Heckel, R., et al., 2002. Towards consistency-preserving model evolution. Proc. 5th Int. Workshop on Principles of Software Evolution, p.129\u2013132. [doi:10.1145\/512035.512066]"},{"issue":"6","key":"1461_CR13","doi-asserted-by":"crossref","first-page":"1474","DOI":"10.1016\/j.comnet.2013.02.004","volume":"57","author":"L Fan","year":"2013","unstructured":"Fan, L., Ling, Y., Wang, T., et al., 2013. Novel clock synchronization algorithm of parametric difference for parallel and distributed simulations. Comput. Networks, 57(6): 1474\u20131487. [doi:10.1016\/j.comnet.2013.02.004]","journal-title":"Comput. Networks"},{"issue":"2","key":"1461_CR14","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1049\/ess:20030209","volume":"1","author":"H Foster","year":"2003","unstructured":"Foster, H., 2003. Semantic inconsistency and its effect on simulation. IEE Electron. Syst. Softw., 1(2):18\u201321. [doi:10. 1049\/ess:20030209]","journal-title":"IEE Electron. Syst. Softw."},{"issue":"5","key":"1461_CR15","doi-asserted-by":"crossref","first-page":"4987","DOI":"10.1016\/j.eswa.2011.10.014","volume":"39","author":"J Guo","year":"2012","unstructured":"Guo, J., Wang, Y., Trinidad, P., et al., 2012. Consistency maintenance for evolving feature models. Expert Syst. Appl., 39(5):4987\u20134998. [doi:10.1016\/j.eswa.2011.10.014]","journal-title":"Expert Syst. Appl."},{"key":"1461_CR16","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1007\/978-3-642-24485-8_49","volume-title":"Proc. 14th Int. Conf. on Model Driven Engineering Languages and Systems","author":"F Hermann","year":"2011","unstructured":"Hermann, F., Ehrig, H., Orejas, F., et al., 2011. Correctness of model synchronization based on triple graph grammars. Proc. 14th Int. Conf. on Model Driven Engineering Languages and Systems, p.668\u2013682. [doi:10.1007\/978-3-642-24485-8_49]"},{"key":"1461_CR17","volume-title":"Proc. Winter Simulation Conf.","author":"AM Law","year":"2005","unstructured":"Law, A.M., 2005. How to build valid and credible simulation models. Proc. Winter Simulation Conf. [doi:10.1109\/WSC.2005.1574236]"},{"key":"1461_CR18","first-page":"249","volume-title":"Proc. 8th ACIS Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing","author":"Y Lu","year":"2007","unstructured":"Lu, Y., Hao, Z.X., Dai, R., 2007. A sufficient and necessary condition for the absolute consistency of XML DTDs. Proc. 8th ACIS Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing, p.249\u2013254. [doi:10.1109\/SNPD.2007.104]"},{"key":"1461_CR19","first-page":"13","volume-title":"Proc. 8th Int. Workshop on Principles of Software Evolution","author":"T Mens","year":"2005","unstructured":"Mens, T., Wermelinger, M., Ducasse, S., et al., 2005. Challenges in software evolution. Proc. 8th Int. Workshop on Principles of Software Evolution, p.13\u201322. [doi:10.1109\/IWPSE.2005.7]"},{"key":"1461_CR20","volume-title":"XMSF profile study group final report. Technical Report No. 05F-SIW-013. Science Applications International Corporation, San Diego, CA, United States","author":"KL Morse","year":"2005","unstructured":"Morse, K.L., 2005. XMSF profile study group final report. Technical Report No. 05F-SIW-013. Science Applications International Corporation, San Diego, CA, United States."},{"key":"1461_CR21","first-page":"71","volume-title":"Proc. 19th IEEE Virtual Reality Conf.","author":"HL Singh","year":"2012","unstructured":"Singh, H.L., Gracanin, D., 2012. An approach to distributed virtual environment performance modeling: addressing system complexity and user behavior. Proc. 19th IEEE Virtual Reality Conf., p.71\u201372. [doi:10.1109\/VR.2012. 6180887]"},{"key":"1461_CR22","first-page":"777","volume-title":"Proc. Winter Simulation Conf.","author":"S Strassburger","year":"2008","unstructured":"Strassburger, S., Schulze, T., Fujimoto, R.M., 2008. Future trends in distributed simulation and distributed virtual environments: results of a peer study. Proc. Winter Simulation Conf., p.777\u2013785. [doi:10.1109\/WSC.2008.4736 140]"},{"key":"1461_CR23","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/j.simpat.2011.09.002","volume":"25","author":"C Swinerd","year":"2012","unstructured":"Swinerd, C., McNaught, K.R., 2012. Design classes for hybrid simulations involving agent-based and system dynamics models. Simul. Model. Pract. Theory, 25:118\u2013133. [doi:10. 1016\/j.simpat.2011.09.002]","journal-title":"Simul. Model. Pract. Theory"},{"key":"1461_CR24","first-page":"105","volume-title":"Proc. 10th World Multi-conf. on Systemics, Cybernetics and Informatics","author":"A Tolk","year":"2006","unstructured":"Tolk, A., Turnitsa, C.D., Diallo, S.Y., 2006. Ontological implications of the levels of conceptual interoperability model. Proc. 10th World Multi-conf. on Systemics, Cybernetics and Informatics, p.105\u2013111."},{"key":"1461_CR25","first-page":"74","volume-title":"Time. Proc. ACM\/IEEE 15th Int. Conf. on Model Driven Engineering Languages and Systems","author":"F Trollmann","year":"2011","unstructured":"Trollmann, F., Albayrak, S., 2011. Expressing model relations as basis for structural consistency analysis in Models@Run. Time. Proc. ACM\/IEEE 15th Int. Conf. on Model Driven Engineering Languages and Systems, p.74\u201375. [doi:10.1145\/2422518.2422530]"},{"key":"1461_CR26","first-page":"78","volume-title":"Proc. Int. Conf. on Computer Applications in Shipbuilding","author":"A Uhlig","year":"2009","unstructured":"Uhlig, A., Rude, E., 2009. Semi automatic reliability analysis based on simulation models. Proc. Int. Conf. on Computer Applications in Shipbuilding, p.78\u2013116."},{"issue":"12","key":"1461_CR27","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1631\/jzus.C1100097","volume":"12","author":"JZ Wang","year":"2011","unstructured":"Wang, J.Z., Varman, P., Xie, C.S., 2011. Optimizing storage performance in public cloud platforms. J. Zhejiang Univ.-Sci. C (Comput. & Electron.), 12(12):951\u2013964. [doi:10. 1631\/jzus.C1100097]","journal-title":"J. Zhejiang Univ.-Sci. C (Comput. & Electron.)"},{"issue":"1","key":"1461_CR28","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/j.ic.2010.08.001","volume":"209","author":"O Wei","year":"2011","unstructured":"Wei, O., Gurfinkel, A., Chechik, M., 2011. On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput., 209(1):20\u201347. [doi:10.1016\/j.ic. 2010.08.001]","journal-title":"Inf. Comput."},{"issue":"3","key":"1461_CR29","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TSE.2010.96","volume":"37","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Mendling, J., Weske, M., 2011. Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Softw. Eng., 37(3):410\u2013429. [doi:10.1109\/TSE.2010.96]","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"1461_CR30","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1631\/jzus.C1101006","volume":"13","author":"ZH Wu","year":"2012","unstructured":"Wu, Z.H., Chen, H.J., 2012. From semantic grid to knowledge service cloud. J. Zhejiang Univ.-Sci. C (Comput. & Electron.), 13(4):253\u2013256. [doi:10.1631\/jzus.C1101006]","journal-title":"J. Zhejiang Univ.-Sci. C (Comput. & Electron.)"},{"key":"1461_CR31","first-page":"595","volume-title":"Proc. 12th Asia-Pacific Software Engineering Conf.","author":"J Yan","year":"2005","unstructured":"Yan, J., 2005. Consistency and interoperability checking for component interaction rules. Proc. 12th Asia-Pacific Software Engineering Conf., p.595\u2013602. [doi:10.1109\/APSEC.2005.55]"},{"issue":"3","key":"1461_CR32","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1145\/566340.566342","volume":"20","author":"H Yu","year":"2002","unstructured":"Yu, H., Vahdat, A., 2002. Design and evaluation of a conit-based continuous consistency model for replicated services. ACM Trans. Comput. Syst., 20(3):239\u2013282. [doi:10. 1145\/566340.566342]","journal-title":"ACM Trans. Comput. Syst."},{"issue":"1","key":"1461_CR33","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.pmcj.2012.07.009","volume":"9","author":"P Yu","year":"2013","unstructured":"Yu, P., Ma, X., Cao, J., et al., 2013. Application mobility in pervasive computing: a survey. Perv. Mob. Comput., 9(1):2\u201317. [doi:10.1016\/j.pmcj.2012.07.009]","journal-title":"Perv. Mob. Comput."},{"key":"1461_CR34","first-page":"121","volume-title":"Proc. 13th IEEE\/ACM Symp. on Distributed Simulation and Real-Time Applications","author":"X Zhang","year":"2009","unstructured":"Zhang, X., Ward, T., McLoone, S., 2009. Exploring an information framework for consistency maintenance in distributed interactive applications. Proc. 13th IEEE\/ACM Symp. on Distributed Simulation and Real-Time Applications, p.121\u2013128. [doi:10.1109\/DS-RT.2009.23]"},{"key":"1461_CR35","first-page":"1189","volume-title":"Proc. 2nd Int. Conf. on Computer Application and System Modeling","author":"W Zhong","year":"2012","unstructured":"Zhong, W., Huang, K., 2012. Research on OWL-based BOM ontology model. Proc. 2nd Int. Conf. on Computer Application and System Modeling, p.1189\u20131193."},{"issue":"8","key":"1461_CR36","first-page":"1819","volume":"19","author":"DX Zhou","year":"2007","unstructured":"Zhou, D.X., Zhong, H., Deng, R., et al., 2007. Survey of simulation composability of complex systems. J. Syst. Simul., 19(8):1819\u20131823 (in Chinese).","journal-title":"J. Syst. Simul."},{"issue":"1","key":"1461_CR37","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/974734.974736","volume":"14","author":"SP Zhou","year":"2004","unstructured":"Zhou, S.P., Cai, W.T., Lee, B.S., et al., 2004. Time-space consistency in large-scale distributed virtual environments. ACM Trans. Model Comput. Simul., 14(1):31\u201347. [doi:10.1145\/974734.974736]","journal-title":"ACM Trans. Model Comput. Simul."}],"container-title":["Journal of Zhejiang University SCIENCE C"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/jzus.C1300089.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1631\/jzus.C1300089\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/jzus.C1300089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T05:00:24Z","timestamp":1559624424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1631\/jzus.C1300089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["1461"],"URL":"https:\/\/doi.org\/10.1631\/jzus.c1300089","relation":{},"ISSN":["1869-1951","1869-196X"],"issn-type":[{"value":"1869-1951","type":"print"},{"value":"1869-196X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]}}}