Publicação
Prototyping a calculus of QoS : aware software components
| Resumo: | Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. Such components typically encapsulate a number of services through a public interface which provides limited access to a private state space, paying tribute to the nowadays widespread object-oriented programming principles. This work is based on the calculus developed by L.S. Barbosa over several years and it aims at helping the development of formal software component solutions and to explain how they can be related, reducing their complexity. SHACC is a prototyping system for component-based systems in which components are modeled coinductively as generalized Mealy machines incorporating the ideas above. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing. |
|---|---|
| Autores principais: | Martins, André Batista |
| Assunto: | Software composition Mealy machines Prototyping |
| Ano: | 2011 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
Registos relacionados
article Shacc: a functional prototyper for a component calculus
por: Martins, André Batista
Publicado em: (2011)
por: Martins, André Batista
Publicado em: (2011)
article A type-level approach to component prototyping
por: Barbosa, L. S.
Publicado em: (2007)
por: Barbosa, L. S.
Publicado em: (2007)
article A calculus for generic, QoS-aware component composition
por: Barbosa, L. S.
Publicado em: (2012)
por: Barbosa, L. S.
Publicado em: (2012)
article QoS-aware component composition
por: Barbosa, L. S.
Publicado em: (2010)
por: Barbosa, L. S.
Publicado em: (2010)
article Architectural prototyping: from ccs to .net
por: Rodrigues, Nuno F.
Publicado em: (2005)
por: Rodrigues, Nuno F.
Publicado em: (2005)
article Towards a calculus of state-based software components
por: Barbosa, L. S.
Publicado em: (2003)
por: Barbosa, L. S.
Publicado em: (2003)
school Software development for monitoring and supporting intralogistics vehicles: From a laboratory prototype to an industrial prototype
por: Fernandes, Ana Esmeralda Alves
Publicado em: (2019)
por: Fernandes, Ana Esmeralda Alves
Publicado em: (2019)
article On QoS-Aware Publish-Subscribe
por: F. Araújo
Publicado em: (2002)
por: F. Araújo
Publicado em: (2002)
article QoS-aware architecture for FHMIP micromobility
por: Lopes, Nuno Vasco
Publicado em: (2009)
por: Lopes, Nuno Vasco
Publicado em: (2009)
school A QoS-aware architecture for mobile internet
por: Lopes, Nuno Vasco
Publicado em: (2011)
por: Lopes, Nuno Vasco
Publicado em: (2011)
assignment On QoS-Aware Publish-Subscribe - Position Paper
por: Araújo, Filipe
Publicado em: (2002)
por: Araújo, Filipe
Publicado em: (2002)
article Automatic provisioning of QoS aware OSPF configurations
por: Sousa, Pedro
Publicado em: (2007)
por: Sousa, Pedro
Publicado em: (2007)
article Policy aware QoS inter-domain multicast
por: Costa, António
Publicado em: (2003)
por: Costa, António
Publicado em: (2003)
article A QoS/mobility-aware model for mobile internet
por: Lopes, Nuno Vasco
Publicado em: (2011)
por: Lopes, Nuno Vasco
Publicado em: (2011)
article Towards the introduction of QoS information in a component model
por: Sun, Meng
Publicado em: (2010)
por: Sun, Meng
Publicado em: (2010)
article Performance analysis of a new mobility/QoS-aware architecture
por: Lopes, Nuno Vasco
Publicado em: (2011)
por: Lopes, Nuno Vasco
Publicado em: (2011)
article Evaluation of a mobility/QoS-aware architecture for mobile internet
por: Lopes, Nuno Vasco
Publicado em: (2012)
por: Lopes, Nuno Vasco
Publicado em: (2012)
article A reification calculus for model-oriented software specification
por: Oliveira, José Nuno Fonseca
Publicado em: (1990)
por: Oliveira, José Nuno Fonseca
Publicado em: (1990)
article QoS aware multicast routing protocols evaluation through simulation
por: Costa, António
Publicado em: (2008)
por: Costa, António
Publicado em: (2008)
article Welds prototype rapid exhaust parts: the latest technique for rapid prototyping builds up parts in welded metal
por: Ribeiro, A. Fernando
Publicado em: (1997)
por: Ribeiro, A. Fernando
Publicado em: (1997)
article Evaluating rate-estimation for a mobility and QoS-aware network architecture
por: Lopes, Nuno Vasco
Publicado em: (2009)
por: Lopes, Nuno Vasco
Publicado em: (2009)
article A multiconstrained QoS aware scheduler for class-based IP networks
por: Sousa, Pedro
Publicado em: (2005)
por: Sousa, Pedro
Publicado em: (2005)
article A multi-constrained QoS aware scheduler for class-based IP networks
por: Sousa, Pedro
Publicado em: (2004)
por: Sousa, Pedro
Publicado em: (2004)
article Prototyping processes
por: Barbosa, L. S.
Publicado em: (1999)
por: Barbosa, L. S.
Publicado em: (1999)
article Digital fabrication and crafting for flexible building wall components: design and development of prototypes
por: Naqeshbandi, Nzar F.
Publicado em: (2019)
por: Naqeshbandi, Nzar F.
Publicado em: (2019)
article Wireless in geotechnical engineering: a CPTUwl prototype
por: Martins, Júlio Barreiros
Publicado em: (2013)
por: Martins, Júlio Barreiros
Publicado em: (2013)
groups A 802.11p prototype implementation
por: Carona, Duarte
Publicado em: (2010)
por: Carona, Duarte
Publicado em: (2010)
article Metal based rapid prototyping for more complex shapes
por: Ribeiro, A. Fernando
Publicado em: (1996)
por: Ribeiro, A. Fernando
Publicado em: (1996)
article Components as processes: an exercise in coalgebraic modeling
por: Barbosa, L. S.
Publicado em: (2000)
por: Barbosa, L. S.
Publicado em: (2000)
article CAMILA: prototyping and refinement of constructive specifications
por: Almeida, José João
Publicado em: (1997)
por: Almeida, José João
Publicado em: (1997)
article Smart context-aware QoS-based admission control for biomedical wireless sensor networks
por: Abreu, Carlos
Publicado em: (2017)
por: Abreu, Carlos
Publicado em: (2017)
article Enabling self-adaptive QoE/QoS control
por: Lima, Solange
Publicado em: (2011)
por: Lima, Solange
Publicado em: (2011)
article A compositional model to reason about end-to-end QoS in stochastic reo connectors
por: Arbab, Farhad
Publicado em: (2014)
por: Arbab, Farhad
Publicado em: (2014)
article Prototype effects behind French loans in middle English: a cognitive account of lexical borrowing
por: Mevis, Alice
Publicado em: (2021)
por: Mevis, Alice
Publicado em: (2021)
article An empirical study on immersive prototyping dimensions
por: Moreira, Samuel
Publicado em: (2013)
por: Moreira, Samuel
Publicado em: (2013)
school Formal models based interactive prototypes
por: Solino, Miguel André da Silva
Publicado em: (2022)
por: Solino, Miguel André da Silva
Publicado em: (2022)
article A 'Square to Round' shape made using metal based rapid prototyping
por: Ribeiro, A. Fernando
Publicado em: (1996)
por: Ribeiro, A. Fernando
Publicado em: (1996)
article Practical case of rapid prototyping using gas metal arc welding
por: Ribeiro, A. Fernando
Publicado em: (1994)
por: Ribeiro, A. Fernando
Publicado em: (1994)
article Software components as invariant-typed arrows
por: Barbosa, L. S.
Publicado em: (2012)
por: Barbosa, L. S.
Publicado em: (2012)
article An orchestrator for dynamic interconnection of software components
por: Barbosa, L. S.
Publicado em: (2007)
por: Barbosa, L. S.
Publicado em: (2007)
Registos relacionados
-
article Shacc: a functional prototyper for a component calculus
por: Martins, André Batista
Publicado em: (2011) -
article A type-level approach to component prototyping
por: Barbosa, L. S.
Publicado em: (2007) -
article A calculus for generic, QoS-aware component composition
por: Barbosa, L. S.
Publicado em: (2012) -
article QoS-aware component composition
por: Barbosa, L. S.
Publicado em: (2010) -
article Architectural prototyping: from ccs to .net
por: Rodrigues, Nuno F.
Publicado em: (2005)