Pushouts in software architecture design

Bibliographic Details
Main Author: Riché, T. L.
Publication Date: 2012
Other Authors: Gonçalves, Rui, Marker, B., Batory, D.
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://hdl.handle.net/1822/23923
Summary: A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures.
id RCAP_0bb6d3bc16c252406adab7513c01cc52
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/23923
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Pushouts in software architecture designMDESoftware architecturesProgram derivationPushoutsDesignTheoryScience & TechnologyA classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures.We gratefully acknowledge helpful feedback from E. Torlak (MIT), G. Heineman (WPI), G. Karsai (Vanderbilt), E. Hehner (Toronto), H. Vin (Tata Consulting), and A. Clement (Texas). Batory and Riche are supported by the NSF's Science of Design Project CCF 0724979 and NSF's Computer Systems Research Grant CNS 0509338. Marker was supported by sponsored by NSF grant CCF-0917167, a fellowship from Sandia National Laboratories, and an NSF Graduate Research Fellowship under grant DGE-1110007. Goncalves is supported by Portuguese Science Foundation (FCT) grant SFRH/BD/47800/2008 and FCT project UTAustin/CA/0056/2008.Association for Computing Machinery (ACM)Universidade do MinhoRiché, T. L.Gonçalves, RuiMarker, B.Batory, D.20122012-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/1822/23923engT. L. Riché, R. Gonçalves, B. Marker, and D. Batory. 2012. Pushouts in software architecture design. In Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE '12). Association for Computing Machinery, New York, NY, USA, 84–92. https://doi.org/10.1145/2371401.2371415978-1-4503-1129-80362-134010.1145/2371401.2371415info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-11-02T01:19:34Zoai:repositorium.sdum.uminho.pt:1822/23923Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:52:21.010869Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Pushouts in software architecture design
title Pushouts in software architecture design
spellingShingle Pushouts in software architecture design
Riché, T. L.
MDE
Software architectures
Program derivation
Pushouts
Design
Theory
Science & Technology
title_short Pushouts in software architecture design
title_full Pushouts in software architecture design
title_fullStr Pushouts in software architecture design
title_full_unstemmed Pushouts in software architecture design
title_sort Pushouts in software architecture design
author Riché, T. L.
author_facet Riché, T. L.
Gonçalves, Rui
Marker, B.
Batory, D.
author_role author
author2 Gonçalves, Rui
Marker, B.
Batory, D.
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Riché, T. L.
Gonçalves, Rui
Marker, B.
Batory, D.
dc.subject.por.fl_str_mv MDE
Software architectures
Program derivation
Pushouts
Design
Theory
Science & Technology
topic MDE
Software architectures
Program derivation
Pushouts
Design
Theory
Science & Technology
description A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures.
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/23923
url https://hdl.handle.net/1822/23923
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv T. L. Riché, R. Gonçalves, B. Marker, and D. Batory. 2012. Pushouts in software architecture design. In Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE '12). Association for Computing Machinery, New York, NY, USA, 84–92. https://doi.org/10.1145/2371401.2371415
978-1-4503-1129-8
0362-1340
10.1145/2371401.2371415
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Association for Computing Machinery (ACM)
publisher.none.fl_str_mv Association for Computing Machinery (ACM)
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833594945286438912

Similar Items