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

ver descrição completa

Detalhes bibliográficos
Autor principal: F. Rodrigues, Nuno (author)
Outros Autores: Barbosa, Luís S. (author)
Formato: article
Idioma:eng
Publicado em: 2013
Assuntos:
Texto completo:http://hdl.handle.net/11110/519
País:Portugal
Oai:oai:ciencipca.ipca.pt:11110/519
Descrição
Resumo: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