Por favor, use este identificador para citar o enlazar este ítem:
http://repository.icesi.edu.co/biblioteca_digital/handle/10906/78336
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Tamura Morimitsu, Gabriel | spa |
dc.contributor.author | Cleve, Anthony | spa |
dc.contributor.author | Duchien, Laurence | spa |
dc.contributor.author | Casallas, Rubby | spa |
dc.coverage.spatial | Netherlands de Lat: 52 30 00 N degrees minutes Lat: 52.5000 decimal degrees Long: 005 45 00 E degrees minutes Long: 5.7500 decimal degrees | - |
dc.date.accessioned | 2015-09-30T22:24:06Z | - |
dc.date.available | 2015-09-30T22:24:06Z | - |
dc.date.issued | 2014-11-15 | - |
dc.identifier.issn | 0167-6423 | - |
dc.identifier.other | http://www.scopus.com/inward/record.url?eid=2-s2.0-84908214736&partnerID=tZOtx3y1 | spa |
dc.identifier.other | http://www.sciencedirect.com/science/article/pii/S0167642313003390 | - |
dc.identifier.other | http://www.sciencedirect.com/science/article/pii/S0167642313003390 | - |
dc.identifier.uri | http://hdl.handle.net/10906/78336 | - |
dc.description.abstract | The increasing pervasiveness of computing services in everyday life, combined with the dynamic nature of their execution contexts, constitutes a major challenge in guaranteeing theexpected quality of such services at runtime. Quality of Service (QoS) contracts have been proposed to specify expected quality levels (QoS levels) on different context conditions, with different enforcing mechanisms. In this paper we present a definition for QoS contracts as a high-level policy for governing the behavior of software systems that self-adapt at runtime in response to context changes. To realize this contract definition, we specify its formal semantics and implement it in a software framework able to execute and reconfigure software applications, in order to maintain fulfilled their associated QoS contracts. The contribution of this paper is threefold. First, we extend typed-attributed graph transformation systems and finite-state machines, and use them as denotations to specify the semantics of QoS contracts. Second, this semantics makes it possible to systematically exploit design patterns at runtime by dynamically deploying them in the managed software applicaion. Third, our semantics guarantees self-adaptive properties suchas reliability and robustness in the contract satisfaction. Finally, we evaluate the applicability of our semantics implementation by integrating and executing it in FraSCAti, amulti-scale component-based middleware, in three case studies. | eng |
dc.format.extent | 25 páginas | - |
dc.format.medium | Digital | spa |
dc.language | eng | eng |
dc.language.iso | eng | eng |
dc.publisher | Elsevier | spa |
dc.relation.ispartof | Science of Computer Programming, Vol. 94, No. 3 | - |
dc.rights | EL AUTOR, expresa que la obra objeto de la presente autorización es original y la elaboró sin quebrantar ni suplantar los derechos de autor de terceros, y de tal forma, la obra es de su exclusiva autoría y tiene la titularidad sobre éste. PARÁGRAFO: en caso de queja o acción por parte de un tercero referente a los derechos de autor sobre el artículo, folleto o libro en cuestión, EL AUTOR, asumirá la responsabilidad total, y saldrá en defensa de los derechos aquí autorizados; para todos los efectos, la Universidad Icesi actúa como un tercero de buena fe. Esta autorización, permite a la Universidad Icesi, de forma indefinida, para que en los términos establecidos en la Ley 23 de 1982, la Ley 44 de 1993, leyes y jurisprudencia vigente al respecto, haga publicación de este con fines educativos. Toda persona que consulte ya sea la biblioteca o en medio electrónico podrá copiar apartes del texto citando siempre la fuentes, es decir el título del trabajo y el autor. | spa |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | - |
dc.subject | QoS (Calidad de servicio) | spa |
dc.subject | Contratos de software | spa |
dc.subject | Semántica del contrato | spa |
dc.subject | Quality-of-Service (QoS) | spa |
dc.subject | Software contracts | spa |
dc.subject | Contract semantics | spa |
dc.subject | Automatización y sistemas de control | spa |
dc.subject | Automation | spa |
dc.subject | Control system | spa |
dc.subject | Ingeniería de sistemas y comunicaciones | spa |
dc.subject | Telecommunication | spa |
dc.title | QoS contract preservation through dynamic reconfiguration: A formal semantics approach | spa |
dc.type | info:eu-repo/semantics/article | eng |
dc.audience | Comunidad Universidad Icesi – Investigadores | spa |
dc.publisher.faculty | Facultad de Ingeniería | - |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.publisher.program | Ingeniería Telemática | spa |
dc.publisher.department | Departamento Tecnologías de Información y Comunicaciones | spa |
dc.creator.email | gtamura@icesi.edu.co | - |
dc.citation.volume | 94 | spa |
dc.citation.issue | 3 | spa |
dc.citation.spage | 307 | - |
dc.citation.epage | 332 | - |
dc.identifier.doi | https://doi.org/10.1016/j.scico.2013.12.003 | - |
dc.rights.license | Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) | - |
dc.publisher.place | Netherlands | - |
dc.type.coar | http://purl.org/coar/resource_type/c_2df8fbb1 | - |
dc.type.local | Artículo | spa |
dc.identifier.instname | instname: Universidad Icesi | - |
dc.identifier.reponame | reponame: Biblioteca Digital | - |
dc.identifier.repourl | repourl: https://repository.icesi.edu.co/ | - |
dc.rights.coar | http://purl.org/coar/access_right/c_abf2 | - |
dc.type.version | info:eu-repo/semantics/publishedVersion | - |
dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 | - |
Aparece en las colecciones: | Nuevo conocimiento - i2T |
Ficheros en este ítem:
Fichero | Tamaño | Formato | |
---|---|---|---|
Documento.html | 279 B | HTML | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons