Mostrar el registro sencillo del ítem
dc.contributor.author | Cuesta, Carlos E. | |
dc.contributor.author | Romay Rodríguez, María Pilar | |
dc.contributor.author | Fuente, Pablo de la | |
dc.contributor.author | Barrio-Solórzano, Manuel | |
dc.contributor.other | Gorrieri, Roberto | |
dc.contributor.other | Wehrheim, Heike | |
dc.date.accessioned | 2016-08-09T10:00:59Z | |
dc.date.available | 2016-08-09T10:00:59Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Cuesta, C. E., Romay, M. P., de la Fuente, P., & Barrio-Solórzano, M. (2006). Temporal superimposition of aspects for dynamic software architecture. In R. Gorrieri & H. Wehrheim, International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006) (pp. 93-107). Berlin: Springer. | spa |
dc.identifier.isbn | 9783540348931 | |
dc.identifier.isbn | 9783540348955 | |
dc.identifier.issn | 03029743 | |
dc.identifier.uri | http://hdl.handle.net/11268/5592 | |
dc.description.abstract | The well-known Separation of Concerns Principle has been revisited by recent research, suggesting to go beyond the limits of traditional modularization. This has led to the definition of an orthogonal,invasive composition relationship, which can be used all along the software development process, taking several different forms. The object-like entity known as aspect is the best known among them, but in the most general case it can be defined as a new kind of structure. Software Architecture must be able to describe such a structure. Moreover, as most ADLs have a formal foundation, this can be used to provide an adequate formalization for the aspectual composition relationship, which is still under discussion. In this paper, we propose to base this architecture-level definition in the concept of superimposition, integrating the resulting framework into the process-algebraic, dynamic ADL named PiLar. This language has a reflective design, which allows us to define that extension without redefining the semantics; in addition, the extended syntax can be used to avoid the use of reflective notions. Nevertheless, the language must provide the means to define general patterns to guide the weaving. Such patterns must not only identify locations in the architecture, but also the adequate states of the corresponding process structure. Therefore, we suggest to use temporal logic, specifically the μ-calculus, as the quantification mechanism. To illustrate this approach, we expose a case study in which all these ideas are used, and conclude by discussing how the combination of temporal logic and aspect superimposition, in this context, provides also an alternative way to describe architectural dynamism. | spa |
dc.description.sponsorship | Sin financiación | spa |
dc.language.iso | eng | spa |
dc.publisher | Springer | spa |
dc.title | Temporal superimposition of aspects for dynamic software architecture | spa |
dc.type | conferenceObject | spa |
dc.description.impact | 0.292 SJR (2006) Q2, 78/200 Computer Science (miscellaneous); Q4, 77/115 Theoretical Computer Science | spa |
dc.identifier.doi | 10.1007/11768869_9 | |
dc.rights.accessRights | closedAccess | en |
dc.subject.uem | Ingeniería del software | spa |
dc.subject.unesco | Programa de ordenador | spa |
dc.description.filiation | UEM | spa |
dc.relation.publisherversion | http://ezproxy.universidadeuropea.es/login?url=http:/ /dx.doi.org/10.1007/11768869_9 | spa |
dc.peerreviewed | Si | spa |
Ficheros | Tamaño | Formato | Ver |
---|---|---|---|
No hay ficheros asociados a este ítem. |