Prototyping Behavioural Specifications in the.NET framework
Autor(a) principal: | |
---|---|
Data de Publicação: | 2004 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/11110/523 |
Resumo: | 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 |
id |
RCAP_98c1111301e880d7fa1e0009c4c0397b |
---|---|
oai_identifier_str |
oai:ciencipca.ipca.pt:11110/523 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Prototyping Behavioural Specifications in the.NET frameworkSoftware architectureSoftware engineeringPrototyping behaviouralNet FrameworkOver 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 Haskell2013-12-20T17:25:12Z2004-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/11110/523oai:ciencipca.ipca.pt:11110/523enghttp://hdl.handle.net/11110/523metadata only accessinfo:eu-repo/semantics/openAccessF. Rodrigues, NunoBarbosa, Luís S.reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-05T12:52:07Zoai:ciencipca.ipca.pt:11110/523Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T15:01:00.061726Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Prototyping Behavioural Specifications in the.NET framework |
title |
Prototyping Behavioural Specifications in the.NET framework |
spellingShingle |
Prototyping Behavioural Specifications in the.NET framework F. Rodrigues, Nuno Software architecture Software engineering Prototyping behavioural Net Framework |
title_short |
Prototyping Behavioural Specifications in the.NET framework |
title_full |
Prototyping Behavioural Specifications in the.NET framework |
title_fullStr |
Prototyping Behavioural Specifications in the.NET framework |
title_full_unstemmed |
Prototyping Behavioural Specifications in the.NET framework |
title_sort |
Prototyping Behavioural Specifications in the.NET framework |
author |
F. Rodrigues, Nuno |
author_facet |
F. Rodrigues, Nuno Barbosa, Luís S. |
author_role |
author |
author2 |
Barbosa, Luís S. |
author2_role |
author |
dc.contributor.author.fl_str_mv |
F. Rodrigues, Nuno Barbosa, Luís S. |
dc.subject.por.fl_str_mv |
Software architecture Software engineering Prototyping behavioural Net Framework |
topic |
Software architecture Software engineering Prototyping behavioural Net Framework |
description |
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 |
publishDate |
2004 |
dc.date.none.fl_str_mv |
2004-01-01T00:00:00Z 2013-12-20T17:25:12Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/11110/523 oai:ciencipca.ipca.pt:11110/523 |
url |
http://hdl.handle.net/11110/523 |
identifier_str_mv |
oai:ciencipca.ipca.pt:11110/523 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
http://hdl.handle.net/11110/523 |
dc.rights.driver.fl_str_mv |
metadata only access info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
metadata only access |
eu_rights_str_mv |
openAccess |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799129879907663872 |