On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Architectural prototyping: from CCS to .Net

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 became 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

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and 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 behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and 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 behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Design e responsabilidade social: cooperação entre escola e movimento de solidariedade social

Durante os anos lectivos de 2004/05 desenvolveu-se uma parceria entre a Escola Superior Artística do Porto (ESAP) e a Associação Conversas de Rua, de Lisboa, esta última com um grande trabalho pedagógico junto de um público jovem, consumidor de substância psicoactivas em contextos de diversão. Desta parceria resultou um projecto de Design Gráfico no âmbito de uma cadeira do 2º ano do Curso de Arte e Comunicação, envolvendo todos os seus alunos. Este foi o início de outras parcerias que os professores envolvidos estabeleceram entre a Escola e a Sociedade Civil. A actual marca gráfica da Associação SOS Racismo, foi igualmente fruto dessa intenção. Deste primeiro projecto pretendia-se a criação de diversos suportes gráficos essenciais para os educadores da Associação Conversas de Rua nas suas acções sociais de informação. Como conteúdos programáticos era fundamental para os alunos apreenderem as diversas fases de uma metodologia de projecto no âmbito do design de comunicação. A metodologia apoiou-se nas três etapas estruturantes (macroestrutura) comuns a todos os projectos de design, sendo elas, tal como o designer Gui Bonsiepe as denomina: estruturação do problema projectual; projecto e, finalmente, realização do projecto. Dentro da macroestrutura desenvolveram-se etapas particulares e inerentes à natureza deste projecto específico (microestrutura). A qualidade do resultado e o significado desta primeira parceria levou a que algumas entidades financiassem a produção da maior parte dos projectos. Além das exposições daí originadas, alguns dos flyers e produtos concebidos pelos alunos encontrando-se actualmente em circulação. Com estes projectos, reconhecemos e comprovamos que a Escola pode ser um local ideal para cruzar intenções pedagógicas a diversos níveis. Os frutos destas parcerias permitem apresentá-los hoje como paradigmas de sucesso na relação da Escola com movimentos de cariz social e por isso, como um exemplo pedagógico que outras Instituições de Ensino poderiam promover. Acreditamos que o envolvimento emocional do aluno e a utilidade das propostas dadas em aula podem ser os principais potenciadores da sua aprendizagem.

Design e responsabilidade social: cooperação entre escola e movimento de solidariedade social

Durante os anos lectivos de 2004/05 desenvolveu-se uma parceria entre a Escola Superior Artística do Porto e a Instituição Particular de Solidariedade Social: Conversas de Rua – Associação, de Lisboa. Desta parceria resultou um projecto no âmbito de uma cadeira do 2º ano do Curso de Arte e Comunicação, envolvendo todos os seus alunos. A qualidade do resultado e o significado desta parceria levou a que as Câmaras Municipais de Sintra e Cascais, e a própria Associação, aceitassem financiar a produção da maior parte dos projectos. Fizeram-se 2 exposições e alguns dos flyers e produtos concebidos pelos alunos encontrando-se actualmente em vigor. Pretendemos partilhar esta experiência educativa pois reconhecemos que a Escola pode ser um local ideal para cruzar intenções pedagógicas. Ao mesmo tempo que desenvolve competências técnicas e criativas nos alunos pode dar-lhes, também, a oportunidade de contacto directo com a sociedade civil nos aspectos onde o seu trabalho é de grande utilidade, desenvolvendo assim o sentido da responsabilidade e ética profissional. Este projecto foi o início de outros, nomeadamente com a Associação SOS Racismo. Acreditamos no envolvimento emocional do aluno e na utilidade das propostas dadas em aula como principais potenciadores da aprendizagem.