Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HASLab

2005

Specifying software connectors

Autores
Barbosa, MA; Barbosa, LS;

Publicação
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004

Abstract
Orchestrating software components, often from independent suppliers, became a central concern in software construction. Actually, as relevant as components themselves, are the ways in which they can be put together to interact and cooperate in order to achieve some common goal. Such is the role of the so-called software connectors: external coordination devices which ensure the flow of data and enforce synchronization constraints within a component's network. This paper introduces a new model for software connectors, based on relations extended in time, which aims to provide support for light inter-component dependency and effective external control.

2005

Bandwidth boosting in transimpedance amplifiers for optical LANs, using delayed feedback

Autores
Martins, N; Barbosa, L; Alves, LN; Aguiar, RL;

Publicação
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

Abstract
Delayed-feedback amplifiers are composed of, a forward gain amplifier, a feedback network and a time-delay element. Recently published results [1] claim the possibility of bandwidth enhancement for this type of systems, simply by a judicious choice of loop-gain, open loop poles and the net time-delay. This paper describes the design steps for a shunt-shunt feedback amplifier with an active delay on the feedback loop. The designed circuit was optimized for Free-Space Optical (FSO) line-of-sight receivers. Achieved results show that the inclusion of the active delay, improve bandwidth in a maximum of 60%. A maximum of 1.5THzO. GBW (11kO. transimpedance gain) was achieved with a photodiode having intrinsic capacitance of 100pF.

2005

Architectural prototyping: From CCS to. Net

Autores
Rodrigues, NF; Barbosa, LS;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components gbecame a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft. Net framework, in the form of executable C# and C? code. The prototyping process is fully supported by a specific tool developed in Haskell.

2005

A coalgebraic semantic framework for component-based development in UML

Autores
Meng, S; Aichernig, BK; Barbosa, LS; Naixiao, Z;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract
This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components. © 2005 Published by Elsevier B.V.

2005

A perspective on component refinement

Autores
Barbosa, LS;

Publicação
FORMAL METHODS FOR COMPONENTS AND OBJECTS

Abstract
This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a discussion on the interplay between behavioural and classical data refinement. The approach builds on coalgebra theory as a suitable tool to capture observational semantics and to base an abstract characterisation of possible behaviour models for components (from partiality to different degrees of non-determinism).

2005

On refinement of software architectures

Autores
Meng, S; Barbosa, LS; Zhang, NX;

Publicação
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005

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.

  • 240
  • 262