Abstract
With the new vision of the Internet of Things, physical world entities are integrated into virtual world things. Then, the Internet of Things could benefit from the Web Service architecture like today’s Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in previous work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for representing such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynamically possible invalid invocations provoked by changes of behaviour. Here, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations. The solution automatically generates the required elements to perform run-time validation of invocations. It may be extended to validate other issues.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Guinard, D., Ion, I., Mayer, S.: In Search of an Internet of Things Service Architecture: REST or WS-*? A Developers’ Perspective. In: Puiatti, A., Gu, T. (eds.) MobiQuitous 2011. LNICST, vol. 104, pp. 326–337. Springer, Heidelberg (2012)
Pautasso, C., et al.: RESTful Web Services vs. “big” Web Services: Making the Right Architectural Decision. In: Proc. of WWW 2008, pp. 805–814. ACM (2008)
de Souza, L.M.S., Spiess, P., Guinard, D., Köhler, 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. 4952, pp. 50–67. Springer, Heidelberg (2008)
Jammes, F., Smit, H.: Service-Oriented Paradigms in Industrial Automation. IEEE Trans. Ind. Informatics 1(1), 62–70 (2005)
Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prent Hall (2005)
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–1735. IEEE CS (2010)
Cubo, J., Brogi, A., Pimentel, E.: Behaviour-Aware Compositions of Things. In: Proc. of iThings 2012 in conjunction with GreenCom 2012, pp. 1–8. IEEE CS (2012)
Cubo, J., González, 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–154 (2013)
Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley (2002)
Brand, D., et al.: On Communicating Finite-State Machines. J. ACM 30(2), 323–342 (1983)
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. 347, pp. 47–70. Springer, Heidelberg (2011)
Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications (2010)
Wylie, H., Lambros, P.: Enterprise Connectivity Patterns: Implementing integration solutions with IBM’s Enterprise Service Bus products. Accessible at IBM website
Chappell, D.: Enterprise Service Bus: Theory in Practice. O’Reilly Media (2004)
Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Professional (2003)
Jeyaraman, R., Modi, V., Driscoll, D., Bullen, G., Nixon, T.: Understanding Devices Profile for Web Services, WS-Discovery, and SOAP-over-UDP. Microsoft (2008)
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. 7084, pp. 601–609. Springer, Heidelberg (2011)
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–583. IEEE CS (2011)
Parra, J., et al.: Flexible Smart Home Architecture using Device Profile for Web Services: A Peer-to-Peer Approach. International Journal of Smart Home 3, 39–55 (2009)
Baouab, A., et al.: An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. In: Proc. of SCC 2011, pp. 640–647. IEEE CS (2011)
Birukou, A., D’Andrea, 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. 6470, pp. 122–136. Springer, Heidelberg (2010)
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–1222 (2013)
Wang, W., Guo, D.: Towards Unified Heterogeneous Event Processing for the Internet of Things. In: Proc. of IOT 2012, pp. 84–91 (2012)
Wu, Z., et al.: Gateway as a Service: A Cloud Computing Framework for Web of Things. In: Proc. of ICT 2012, pp. 1–6 (2012)
Ben Hamida, A., Kon, F., Ansaldi Oliva, G., Dos Santos, C.E.M., Lorré, 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: Álvarez, F., et al. (eds.) FIA 2012. LNCS, vol. 7281, pp. 81–92. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
González, L., Cubo, J., Brogi, A., Pimentel, E., Ruggia, R. (2013). Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. In: Canal, C., Villari, M. (eds) Advances in Service-Oriented and Cloud Computing. ESOCC 2013. Communications in Computer and Information Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45364-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-45364-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45363-2
Online ISBN: 978-3-642-45364-9
eBook Packages: Computer ScienceComputer Science (R0)