{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T05:10:08Z","timestamp":1746076208528,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642453632"},{"type":"electronic","value":"9783642453649"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45364-9_26","type":"book-chapter","created":{"date-parts":[[2013,12,13]],"date-time":"2013-12-13T03:41:52Z","timestamp":1386906112000},"page":"318-330","source":"Crossref","is-referenced-by-count":6,"title":["Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things"],"prefix":"10.1007","author":[{"given":"Laura","family":"Gonz\u00e1lez","sequence":"first","affiliation":[]},{"given":"Javier","family":"Cubo","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[]},{"given":"Ra\u00fal","family":"Ruggia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-30973-1_32","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"D. Guinard","year":"2012","unstructured":"Guinard, D., Ion, I., Mayer, S.: In Search of an Internet of Things Service Architecture: REST or WS-*? A Developers\u2019 Perspective. In: Puiatti, A., Gu, T. (eds.) MobiQuitous 2011. LNICST, vol.\u00a0104, pp. 326\u2013337. Springer, Heidelberg (2012)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Pautasso, C., et al.: RESTful Web Services vs. \u201cbig\u201d Web Services: Making the Right Architectural Decision. In: Proc. of WWW 2008, pp. 805\u2013814. ACM (2008)","DOI":"10.1145\/1367497.1367606"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-78731-0_4","volume-title":"The Internet of Things","author":"L.M.S. Souza de","year":"2008","unstructured":"de Souza, L.M.S., Spiess, P., Guinard, D., K\u00f6hler, M., Karnouskos, S., Savio, D.: SOCRADES: A Web Service Based Shop Floor Integration Infrastructure. In: Floerkemeier, C., Langheinrich, M., Fleisch, E., Mattern, F., Sarma, S.E. (eds.) IOT 2008. LNCS, vol.\u00a04952, pp. 50\u201367. Springer, Heidelberg (2008)"},{"issue":"1","key":"26_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/TII.2005.844419","volume":"1","author":"F. Jammes","year":"2005","unstructured":"Jammes, F., Smit, H.: Service-Oriented Paradigms in Industrial Automation. IEEE Trans. Ind. Informatics\u00a01(1), 62\u201370 (2005)","journal-title":"IEEE Trans. Ind. Informatics"},{"key":"26_CR5","unstructured":"Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prent Hall (2005)"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Zinn, M., et al.: Device Services as Reusable Units of Modelling in a Service-Oriented Environment-An Analysis Case Study. In: Proc. of ISIE 2010, pp. 1728\u20131735. IEEE CS (2010)","DOI":"10.1109\/ISIE.2010.5636313"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Cubo, J., Brogi, A., Pimentel, E.: Behaviour-Aware Compositions of Things. In: Proc. of iThings 2012 in conjunction with GreenCom 2012, pp. 1\u20138. IEEE CS (2012)","DOI":"10.1109\/GreenCom.2012.11"},{"key":"26_CR8","unstructured":"Cubo, J., Gonz\u00e1lez, L., Brogi, A., Pimentel, E., Ruggia, R.: Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing. In: Proc. of JCIS 2013 in Conjunction with CEDI 2013, pp. 147\u2013154 (2013)"},{"key":"26_CR9","unstructured":"Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley (2002)"},{"issue":"2","key":"26_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., et al.: On Communicating Finite-State Machines. J. ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"26_CR11","series-title":"SCI","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-19724-6_3","volume-title":"Reasoning in Event-Based Distributed Systems","author":"M. Eckert","year":"2011","unstructured":"Eckert, M., Bry, F., Brodt, S., Poppe, O., Hausmann, S.: A CEP Babelfish: Languages for Complex Event Processing and Querying Surveyed. In: Helmer, S., Poulovassilis, A., Xhafa, F., et al. (eds.) Reasoning in Event-Based Distributed Systems. SCI, vol.\u00a0347, pp. 47\u201370. Springer, Heidelberg (2011)"},{"key":"26_CR12","unstructured":"Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications (2010)"},{"key":"26_CR13","unstructured":"Wylie, H., Lambros, P.: Enterprise Connectivity Patterns: Implementing integration solutions with IBM\u2019s Enterprise Service Bus products. Accessible at IBM website"},{"key":"26_CR14","unstructured":"Chappell, D.: Enterprise Service Bus: Theory in Practice. O\u2019Reilly Media (2004)"},{"key":"26_CR15","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Professional (2003)"},{"key":"26_CR16","unstructured":"Jeyaraman, R., Modi, V., Driscoll, D., Bullen, G., Nixon, T.: Understanding Devices Profile for Web Services, WS-Discovery, and SOAP-over-UDP. Microsoft (2008)"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-25535-9_46","volume-title":"Service-Oriented Computing","author":"Y. Taher","year":"2011","unstructured":"Taher, Y., Parkin, M., Papazoglou, M.P., van den Heuvel, W.-J.: Adaptation of Web Service Interactions Using Complex Event Processing Patterns. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. LNCS, vol.\u00a07084, pp. 601\u2013609. Springer, Heidelberg (2011)"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Nakamura, M., et al.: Application Framework for Efficient Development of Sensor as a Service for Home Network System. In: Proc. of SCC 2011, pp. 576\u2013583. IEEE CS (2011)","DOI":"10.1109\/SCC.2011.18"},{"key":"26_CR19","first-page":"39","volume":"3","author":"J. Parra","year":"2009","unstructured":"Parra, J., et al.: Flexible Smart Home Architecture using Device Profile for Web Services: A Peer-to-Peer Approach. International Journal of Smart Home\u00a03, 39\u201355 (2009)","journal-title":"International Journal of Smart Home"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Baouab, A., et al.: An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. In: Proc. of SCC 2011, pp. 640\u2013647. IEEE CS (2011)","DOI":"10.1109\/SCC.2011.55"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-17358-5_9","volume-title":"Service-Oriented Computing","author":"A. Birukou","year":"2010","unstructured":"Birukou, A., D\u2019Andrea, V., Leymann, F., Serafinski, J., Silveira, P., Strauch, S., Tluczek, M.: An Integrated Solution for Runtime Compliance Governance in SOA. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M., et al. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 122\u2013136. Springer, Heidelberg (2010)"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Fengjuan, W., Xiaoming, Z., Yongheng, W., Kening, C.: The Research on Complex Event Processing Method of Internet of Things. In: Proc. ICMTMA 2013, pp. 1219\u20131222 (2013)","DOI":"10.1109\/ICMTMA.2013.299"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Wang, W., Guo, D.: Towards Unified Heterogeneous Event Processing for the Internet of Things. In: Proc. of IOT 2012, pp. 84\u201391 (2012)","DOI":"10.1109\/IOT.2012.6402308"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Wu, Z., et al.: Gateway as a Service: A Cloud Computing Framework for Web of Things. In: Proc. of ICT 2012, pp. 1\u20136 (2012)","DOI":"10.1109\/ICTEL.2012.6221246"},{"key":"26_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-642-30241-1_8","volume-title":"The Future Internet","author":"A. Ben Hamida","year":"2012","unstructured":"Ben Hamida, A., Kon, F., Ansaldi Oliva, G., Dos Santos, C.E.M., Lorr\u00e9, J.-P., Autili, M., De Angelis, G., Zarras, A., Georgantas, N., Issarny, V., Bertolino, A.: An Integrated Development and Runtime Environment for the Future Internet. In: \u00c1lvarez, F., et al. (eds.) FIA 2012. LNCS, vol.\u00a07281, pp. 81\u201392. Springer, Heidelberg (2012)"}],"container-title":["Communications in Computer and Information Science","Advances in Service-Oriented and Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45364-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:44:20Z","timestamp":1746074660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45364-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642453632","9783642453649"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45364-9_26","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}