{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T16:50:48Z","timestamp":1790787048551,"version":"4.1.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T00:00:00Z","timestamp":1575676800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T00:00:00Z","timestamp":1575676800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11704-018-7395-3","type":"journal-article","created":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T08:02:37Z","timestamp":1575705757000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Connection models for the Internet-of-Things"],"prefix":"10.1007","volume":"14","author":[{"given":"Kangli","family":"He","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hengyang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,12,7]]},"reference":[{"key":"7395_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.comcom.2014.09.008","volume":"54","author":"E Borgia","year":"2014","unstructured":"Borgia E. The Internet of Things vision: key features, applications and open issues. Computer Communications, 2014, 54: 1\u201331","journal-title":"Computer Communications"},{"key":"7395_CR2","unstructured":"Lanese I, Bedogni L, Felice M D. Internet of Things: a process calculus approach. In: Proceedings of Annual ACM Symposium on Applied Computing. 2013, 1339\u20131346"},{"issue":"1","key":"7395_CR3","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.ic.2018.01.001","volume":"259","author":"R Lanotte","year":"2018","unstructured":"Lanotte R, Merro M. A semantic theory of the internet of things. Information and Computation, 2018, 259(1): 72\u2013101","journal-title":"Information and Computation"},{"issue":"3","key":"7395_CR4","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab F. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 2004, 14(3): 329\u2013366","journal-title":"Mathematical Structures in Computer Science"},{"key":"7395_CR5","first-page":"301","volume-title":"Lecture Notes in Computer Science","author":"Sun Meng","year":"2007","unstructured":"Meng S, Arbab F. On resource-sensitive timed component connectors. In: Proceedings of International Conference on Formal Methods for Open Object-Based Distributed Systems. 2007, 301\u2013316"},{"key":"7395_CR6","doi-asserted-by":"crossref","unstructured":"Arbab F, Chothia T, Meng S, Moon Y J. Component connectors with QoS guarantees. In: Proceedings of International Conference on Coordination Models and Languages. 2007, 286\u2013304","DOI":"10.1007\/978-3-540-72794-1_16"},{"issue":"2","key":"7395_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier C, Sirjani M, Arbab F, Rutten J. Modeling component connectors in Reo by constraint automata. Science of Computer Programming, 2006, 61(2): 75\u2013113","journal-title":"Science of Computer Programming"},{"issue":"1","key":"7395_CR8","doi-asserted-by":"publisher","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","volume":"22","author":"S S T Q Jongmans","year":"2012","unstructured":"Jongmans S S T Q, Arbab F. Overview of thirty semantic formalisms for Reo. Scientific Annals of Computer Science, 2012, 22(1): 201\u2013251","journal-title":"Scientific Annals of Computer Science"},{"issue":"1","key":"7395_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10270-006-0009-9","volume":"6","author":"F Arbab","year":"2007","unstructured":"Arbab F, Baier C, de Boer F, Rutten J. Models and temporal logical specifications for timed component connectors. Software and System Modeling, 2007, 6(1): 59\u201382","journal-title":"Software and System Modeling"},{"issue":"10","key":"7395_CR10","first-page":"1718","volume":"11","author":"C Baier","year":"2005","unstructured":"Baier C. Probabilistic models for Reo connector circuits. Journal of Universal Computer Science, 2005, 11(10): 1718\u20131748","journal-title":"Journal of Universal Computer Science"},{"key":"7395_CR11","doi-asserted-by":"crossref","unstructured":"Aziz A, Singhal V, Balarin F. It usually works: the temporal logic of stochastic systems. In: Proceedings of International Conference on Computer Aided Verification. 1995, 155\u2013165","DOI":"10.1007\/3-540-60045-0_48"},{"key":"7395_CR12","doi-asserted-by":"crossref","unstructured":"He K, Hermanns H, Chen Y. Models of connected things: on priced probabilistic timed Reo. In: Proceedings of IEEE Annual Computer Software and Applications Conference. 2017, 234\u2013243","DOI":"10.1109\/COMPSAC.2017.172"},{"key":"7395_CR13","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab F, Rutten J J M M. A coinductive calculus of component connectors. In: Proceedings of International Workshop on Recent Trends in Algebraic Development Techniques. 2002, 34\u201355"},{"issue":"2","key":"7395_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill D L. A theory of timed automata. Theoretical Computer Science, 1994, 126(2): 183\u2013235","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"7395_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T A Henzinger","year":"1994","unstructured":"Henzinger T A, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation, 1994, 111(2): 193\u2013244","journal-title":"Information and Computation"},{"issue":"2","key":"7395_CR16","first-page":"250","volume":"2","author":"R Segala","year":"1995","unstructured":"Segala R, Lynch N A. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing, 1995, 2(2): 250\u2013273","journal-title":"Nordic Journal of Computing"},{"issue":"4","key":"7395_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-10(4:11)2014","volume":"10","author":"A Turrini","year":"2014","unstructured":"Turrini A, Hermanns H. Cost preserving bisimulations for probabilistic automata. Logical Methods in Computer Science, 2014, 10(4): 1\u201358","journal-title":"Logical Methods in Computer Science"},{"key":"7395_CR18","series-title":"PhD Thesis","volume-title":"Modelling and verification of randomized distributed real time systems","author":"R Segala","year":"1995","unstructured":"Segala R. Modelling and verification of randomized distributed real time systems. PhD Thesis, Cambridge: Massachusetts Institute of Technology, 1995"},{"key":"7395_CR19","unstructured":"Glabbeek R V, Smolka S A, Steffen B, Tofts C M N. Reactive, generative, and stratified models of probabilistic processes. In: Proceedings of Annual Symposium on Logic in Computer Science. 1990, 130\u2013141"},{"issue":"1","key":"7395_CR20","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R V Glabbeek","year":"1995","unstructured":"Glabbeek R V, Smolka S A, Steffen B. Reactive, generative and stratified models of probabilistic processes. Information and Computation, 1995, 121(1): 59\u201380","journal-title":"Information and Computation"},{"key":"7395_CR21","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/S1571-0661(05)80596-1","volume":"22","author":"P R D\u2019 Argenio","year":"1999","unstructured":"D\u2019 Argenio P R, Hermanns H, Katoen J P. On generative parallel composition. Electronic Notes in Theoretical Computer Science, 1999, 22: 30\u201354","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"2","key":"7395_CR22","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"121","author":"J C M Baeten","year":"1995","unstructured":"Baeten J C M, Bergstra J A, Smolka S A. Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation, 1995, 121(2): 234\u2013255","journal-title":"Information and Computation"},{"issue":"1","key":"7395_CR23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"M Z Kwiatkowska","year":"2006","unstructured":"Kwiatkowska M Z, Norman G, Parker D, Sproston J. Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design, 2006, 29(1): 33\u201378","journal-title":"Formal Methods in System Design"},{"key":"7395_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9440-2","volume-title":"Measure Theory","author":"P R Halmos","year":"1950","unstructured":"Halmos P R. Measure Theory. Berlin: Springer-Verlag, 1950"},{"key":"7395_CR25","doi-asserted-by":"crossref","unstructured":"Clarke E M, Emerson E A. Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Proceedings of Workshop on Logics of Programs. 1981, 52\u201371","DOI":"10.1007\/BFb0025774"},{"issue":"2","key":"7395_CR26","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10703-012-0177-x","volume":"43","author":"G Norman","year":"2013","unstructured":"Norman G, Parker D, Sproston J. Model checking for probabilistic timed automata. Formal Methods in System Design, 2013, 43(2): 164\u2013190","journal-title":"Formal Methods in System Design"},{"issue":"9","key":"7395_CR27","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1810891.1810912","volume":"53","author":"C Baier","year":"2010","unstructured":"Baier C, Haverkort B R, Hermanns H, Katoen J P. Performance evaluation and model checking join forces. Communications of the ACM, 2010, 53(9): 76\u201385","journal-title":"Communications of the ACM"},{"key":"7395_CR28","first-page":"499","volume-title":"Lecture Notes in Computer Science","author":"Andrea Bianco","year":"1995","unstructured":"Bianco A, Alfaro L D. Model checking of probabilistic and nondeterministic systems. In: Proceedings of International Conference on Foundations of Software Technology and Theoretical Computer Science. 1995, 499\u2013513"},{"issue":"2","key":"7395_CR29","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E Asarin","year":"2002","unstructured":"Asarin E, Caspi P, Maler O. Timed regular expressions. Journal of the ACM, 2002, 49(2): 172\u2013206","journal-title":"Journal of the ACM"},{"issue":"5","key":"7395_CR30","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson H, Jonsson B. A logic for reasoning about time and reliability. Formal Aspects of Computing, 1994, 6(5): 512\u2013535","journal-title":"Formal Aspects of Computing"},{"key":"7395_CR31","first-page":"499","volume-title":"Lecture Notes in Computer Science","author":"Andrea Bianco","year":"1995","unstructured":"Bianco A, Alfaro L D. Model checking of probabalistic and nondeterministic systems. In: Proceedings of International Conference on Foundations of Software Technology and Theoretical Computer Science. 1995, 499\u2013513"},{"key":"7395_CR32","doi-asserted-by":"crossref","unstructured":"Li L, Jin Z, Li G, Zheng L, Wei Q. Modeling and analyzing the reliability and cost of service composition in the IoT: a probabilistic approach. In: Proceedings of International Conference on Web Services. 2012, 584\u2013591","DOI":"10.1109\/ICWS.2012.25"},{"issue":"10","key":"7395_CR33","first-page":"1198","volume":"43","author":"G Li","year":"2013","unstructured":"Li G, Wei Q, Li X, Jin Z, Xu Y, Zheng L. Environment based modeling approach for services in the internet of things. Scientia Sinica, 2013, 43(10): 1198\u20131218","journal-title":"Scientia Sinica"},{"issue":"10","key":"7395_CR34","doi-asserted-by":"publisher","first-page":"5777","DOI":"10.1109\/JSEN.2015.2445094","volume":"15","author":"B Martinez","year":"2015","unstructured":"Martinez B, Mont\u00f3n M, Vilajosana I, Prades J D. The power of models: modeling power consumption for IoT devices. IEEE Sensors Journal, 2015, 15(10): 5777\u20135789","journal-title":"IEEE Sensors Journal"},{"key":"7395_CR35","doi-asserted-by":"crossref","unstructured":"Costa B, Pires P F, Delicato F C, Li W, Zomaya A Y. Design and analysis of iot applications: a model-driven approach. In: Proceedings of the 14th International Conference on Dependable, Autonomic and Secure Computing, the 14th International Conference on Pervasive Intelligence and Computing, the 2nd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress. 2016, 392\u2013399","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2016.81"},{"key":"7395_CR36","doi-asserted-by":"crossref","unstructured":"Lee E A. Cyber physical systems: design challenges. In: Proceedings of IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. 2008, 363\u2013369","DOI":"10.1109\/ISORC.2008.25"},{"issue":"11","key":"7395_CR37","doi-asserted-by":"publisher","first-page":"1810","DOI":"10.3390\/s16111810","volume":"16","author":"E Palomar","year":"2016","unstructured":"Palomar E, Chen X, Liu Z, Maharjan S, Bowen J P. Component-based modelling for scalable smart city systems interoperability: a case study on integrating energy demand response systems. Sensors, 2016, 16(11): 1810","journal-title":"Sensors"},{"key":"7395_CR38","doi-asserted-by":"crossref","unstructured":"Baier C, Wolf V. Stochastic reasoning aboutchannel-based component connectors. In: Proceedings of International Conference on Coordination Models and Languages. 2006, 1\u201315","DOI":"10.1007\/11767954_1"},{"key":"7395_CR39","doi-asserted-by":"publisher","first-page":"93","DOI":"10.4204\/EPTCS.30.7","volume":"30","author":"Young-Joo Moon","year":"2010","unstructured":"Moon Y J, Silva A, Krause C, Arbab F. A compositional semantics for stochastic Reo connectors. In: Proceedings of International Workshop on the Foundations of Coordination Languages and Software Architectures. 2010, 93\u2013107","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"1","key":"7395_CR40","first-page":"3","volume":"5","author":"N Oliveira","year":"2015","unstructured":"Oliveira N, Silva A, Barbosa L A. IMCReo: interactive Markov chains for stochastic Reo. Journal of Internet Services and Information Security, 2015, 5(1): 3\u201328","journal-title":"Journal of Internet Services and Information Security"},{"key":"7395_CR41","doi-asserted-by":"crossref","unstructured":"Pnueli A. The temporal logic of programs. In: Proceedings of Annual Symposium on Foundations of Computer Science. 1977, 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"issue":"10","key":"7395_CR42","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H C Bohnenkamp","year":"2006","unstructured":"Bohnenkamp H C, D\u2019Argenio P R, Hermanns H, Katoen J P. Modest: a compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering, 2006, 32(10): 812\u2013830","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"7395_CR43","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"E M Hahn","year":"2013","unstructured":"Hahn E M, Hartmanns A, Hermanns H, Katoen J P. A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design, 2013, 43(2): 191\u2013232","journal-title":"Formal Methods in System Design"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-018-7395-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-018-7395-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-018-7395-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,6]],"date-time":"2020-12-06T00:09:42Z","timestamp":1607213382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-018-7395-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,7]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["7395"],"URL":"https:\/\/doi.org\/10.1007\/s11704-018-7395-3","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12,7]]},"assertion":[{"value":"10 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"143401"}}