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

Full description

Bibliographic Details
Main Author: F. Rodrigues, Nuno (author)
Other Authors: Barbosa, Luís S. (author)
Format: article
Language:eng
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/11110/519
Country:Portugal
Oai:oai:ciencipca.ipca.pt:11110/519
Description
Summary: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