{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:52:21Z","timestamp":1761706341927,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662505380"},{"type":"electronic","value":"9783662505397"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-50539-7_7","type":"book-chapter","created":{"date-parts":[[2016,4,25]],"date-time":"2016-04-25T15:17:30Z","timestamp":1461597450000},"page":"79-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["S-PDH: A CPS Service Contract Framework for Composition"],"prefix":"10.1007","author":[{"given":"Lin","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaiyu","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,26]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/JPROC.2011.2167449","volume":"100","author":"R Poovendran","year":"2012","unstructured":"Poovendran, R., et al.: Special issue on cyber - physical systems. Proc. IEEE 100, 6\u201312 (2012)","journal-title":"Proc. IEEE"},{"unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: ACyber-Physical Systems Approach. Lee and Seshia (2011). http:\/\/LeeSeshia.org","key":"7_CR2"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1142\/S0218843008001816","volume":"17","author":"MP Papazoglou","year":"2008","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: a research roadmap. Int. J. Coop. Inf. Syst. 17, 223\u2013255 (2008)","journal-title":"Int. J. Coop. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Jian, H., et al.: Real-time service-oriented distributed governance. In: 6th World Congress on Services, Miami, pp. 479\u2013484 (2010)","key":"7_CR4","DOI":"10.1109\/SERVICES.2010.100"},{"doi-asserted-by":"crossref","unstructured":"Wang, T., Niu, C., Cheng, L.: A two-phase context-sensitive service composition method with the workflow model in cyber-physical systems. In: 2014 IEEE 17th International Conference on Computational Science and Engineering (CSE), pp. 1475\u20131482 (2014)","key":"7_CR5","DOI":"10.1109\/CSE.2014.275"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TSC.2010.3","volume":"3","author":"D Guinard","year":"2010","unstructured":"Guinard, D., Trifa, V., Karnouskos, S., Spiess, P., Savio, D.: Interacting with the soa-based internet of things: discovery, query, selection, and on-demand provisioning of web services. IEEE Trans. Serv. Comput. 3, 223\u2013235 (2010)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"7_CR7","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-35852-4_14","volume-title":"Service Orientation in Holonic and Multi Agent Manufacturing and Robotics","author":"A Theorin","year":"2013","unstructured":"Theorin, A., Ollinger, L., Johnsson, C.: Service-oriented process control with grafchart and the devices profile for web services. In: Borangiu, T., Thomas, A., Trentesaux, D. (eds.) Service Orientation in Holonic and Multi Agent. SCI, vol. 472, pp. 213\u2013228. Springer, Heidelberg (2013)"},{"unstructured":"Haber, A., Ringert, J.O., Rumpe, B.: Montiarc-architectural modeling of interactivedistributed and cyber-physical systems (2014). arXiv preprint arXiv:1409.6578","key":"7_CR8"},{"doi-asserted-by":"crossref","unstructured":"Peng, W., Yang, X., Shao, H.Z.: Cyber-physical system components composition analysis and formal verification based on service-oriented architecture. In: IEEE Ninth International Conference on e-Business Engineering (ICEBE), Hangzhou, pp. 327\u2013332 (2012)","key":"7_CR9","DOI":"10.1109\/ICEBE.2012.60"},{"unstructured":"Ringert, J.O., Rumpe, B., Wortmann, A.: A requirements modeling language for the componentbehavior of cyber physical robotics systems (2014). arXiv preprint arXiv:1409.0394","key":"7_CR10"},{"key":"7_CR11","volume-title":"Modern Control Systems","author":"RC Dorf","year":"2011","unstructured":"Dorf, R.C., Bishop, R.H.: Modern Control Systems, 12th edn. Pearson, Boston (2011)","edition":"12"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyberphysical systems. Proc. IEEE 100, 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"unstructured":"Wikipedia. Hybrid system. http:\/\/en.wikipedia.org\/wiki\/Hybrid-system","key":"7_CR13"},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, Heidelberg (2010)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-71070-7_15","volume-title":"Automated Reasoning","author":"A Platzer","year":"2008","unstructured":"Platzer, A., Quesel, J.-D.: KeYmaera: a hybrid theorem prover for hybrid systems (system description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 171\u2013178. Springer, Heidelberg (2008)"},{"unstructured":"Qian, K.Y., Ye, L., Zhang, L.: A collaborative smart car system based on CPS services. In: Proceedings of National Conference on Services Computing 2015, Xianning, China (in Chinese)","key":"7_CR16"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"LG Meredith","year":"2003","unstructured":"Meredith, L.G., Bjorg, S.: Contracts and types. Commun. ACM 46, 41\u201347 (2003)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: ACM SIGPLAN Notices, vol. 43, pp. 261\u2013272. ACM (2008)","key":"7_CR18","DOI":"10.1145\/1328897.1328471"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2010.01.001","volume":"80","author":"A Brogi","year":"2011","unstructured":"Brogi, A.: On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. J. Logic Algebraic Program. 80, 3\u201312 (2011)","journal-title":"J. Logic Algebraic Program."},{"key":"7_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19157-2","volume-title":"Architecting the Internet of Things","author":"D Uckelmann","year":"2011","unstructured":"Uckelmann, D., Harrison, M., Michahelles, F.: Architecting the Internet of Things. Springer, Heidelberg (2011)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TETC.2013.2273359","volume":"1","author":"X Hu","year":"2013","unstructured":"Hu, X., Chu, T.H., Chan, H.C., Leung, V.C.: Vita: a crowdsensing-oriented mobile cyber-physical system. IEEE Trans. Emerg. Top. Comput. 1, 148\u2013165 (2013)","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/TII.2012.2198662","volume":"9","author":"M Garcia Valls","year":"2013","unstructured":"Garcia Valls, M., Lopez, I.R., Villar, L.F.: iLAND: an enhanced middleware for real-time reconfiguration of service oriented distributed real-time systems. IEEE Trans. Ind. Inform. 9, 228\u2013236 (2013)","journal-title":"IEEE Trans. Ind. Inform."},{"unstructured":"Thramboulidis, K.: An open distributed architecture for flexible hybridassembly systems: a model driven engineering approach (2014). arXiv preprint arXiv:411.1307","key":"7_CR23"},{"key":"7_CR24","first-page":"2663","volume":"34","author":"L Ye","year":"2013","unstructured":"Ye, L., Tang, P., Guo, L.P., Zhang, L.: Modeling and verifying services of internet of things based on hybrid system methodology. J. Chin. Comput. Syst. 34, 2663\u20132668 (2013). (in Chinese)","journal-title":"J. Chin. Comput. Syst."},{"key":"7_CR25","first-page":"45","volume":"39","author":"P Tang","year":"2013","unstructured":"Tang, P., Ye, L., Guo, L.P., Zhang, L.: Composition and verifying of internet of things system. Comput. Eng. 39, 45\u201348 (2013). (in Chinese)","journal-title":"Comput. Eng."}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2015 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-50539-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T21:40:02Z","timestamp":1748900402000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-50539-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662505380","9783662505397"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-50539-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"26 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Goa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}