Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6292
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Meng, Sun | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.contributor.author | Naixiao, Zhang | - |
dc.date.accessioned | 2007-04-13T19:25:52Z | - |
dc.date.available | 2007-04-13T19:25:52Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | “Lecture notes in computer science”. ISSN 0302-9743. 3722 (Oct. 2005) 469-484. | eng |
dc.identifier.isbn | 3540291075 | por |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/6292 | - |
dc.description.abstract | Although increasingly popular, software component techniques still lack suitable formal foundations on top of which rigorous methodologies for the description and analysis of software architectures could be built. This paper aims to contribute in this direction: building on previous work by the authors on coalgebraic semantics, it discusses component refinement at three different but interrelated levels: behavioural, syntactic, i.e., relative to component interfaces, and architectural. Software architectures are defined through component aggregation. On the other hand, such aggregations, no matter how large and complex they are, can also be dealt with as components themselves, which paves the way to a discipline of hierarchical design. In this context, a major contribution of this paper is the introduction of a set of rules for architectural refinement. Keywords: Software component, software architecture, refinement, coalgebra. | eng |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | eng |
dc.publisher | Springer Verlag | eng |
dc.rights | openAccess | eng |
dc.subject | Software component | eng |
dc.subject | Software architecture | eng |
dc.subject | Refinement | eng |
dc.subject | Coalgebra | eng |
dc.title | On refinement of software architectures | eng |
dc.type | conferencePaper | eng |
dc.peerreviewed | yes | eng |
oaire.citationStartPage | 469 | por |
oaire.citationEndPage | 484 | por |
oaire.citationVolume | 3722 | por |
dc.identifier.doi | 10.1007/11560647_31 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005 | por |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MBZ05_lsb.pdf | Documento principal | 286,91 kB | Adobe PDF | Ver/Abrir |