Mostrar el registro sencillo del ítem

dc.contributor.authorCubo, Javier
dc.contributor.authorGonzález, Laura
dc.contributor.authorBrogi, Antonio
dc.contributor.authorPimentel, Ernesto 
dc.contributor.authorRuggia, Raúl
dc.date.accessioned2013-07-30T07:09:10Z
dc.date.available2013-07-30T07:09:10Z
dc.date.issued2013-07-30
dc.identifier.urihttp://hdl.handle.net/10630/5666
dc.description.abstractFollowing the vision of the Internet of Things, physical world entities are integrated into virtual world things. Things are expected to become active participants in business and social processes. Then, the Internet of Things could benefit from the Web Service architecture like today’s Web does, so Future ser-vice-oriented Internet things will offer their functionality via service-enabled in-terfaces. In previous work, we demonstrated the need of considering the behav-iour of things to develop applications in a more rigorous way, and we proposed a lightweight model for representing such behaviour. Our methodology relies on the service-oriented paradigm and extends the DPWS profile to specify the order with which things can receive messages. We also proposed a static verifi-cation technique to check whether a mashup of things respects the behaviour, specified at design-time, of the composed things. However, a change in the be-haviour of a thing may cause that some compositions do not fulfill its behaviour anymore. Moreover, given that a thing can receive requests from instances of different mashups at run-time, these requests could violate the behaviour of that thing, even though each mashup fulfills such behaviour, due to the change of state of the thing. To address these issues, we present a proposal based on me-diation techniques and complex event processing to detect and inhibit invalid invocations, so things only receive requests compatible with their behaviour.es_ES
dc.description.sponsorshipWork partially supported by projects TIN2008-05932, TIN2012-35669, CSD2007-0004 funded by Spanish Ministry MINECO and FEDER; P11-TIC-7659 funded by Andalusian Government; and Universidad de Málaga, Campus de Excelencia Internacional Andalucía Teches_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectInternet de las cosases_ES
dc.subject.otherCompositiones_ES
dc.subject.otherMashupes_ES
dc.subject.otherVerificationes_ES
dc.subject.otherInternet of Thingses_ES
dc.subject.otherMediation Patternses_ES
dc.titleTowards Run-Time Verification of Compositions in the Web of Things using Complex Event Processinges_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.centroE.T.S.I. Informáticaes_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem