Knowledge Representation of the Software Architecture Design Process based on Situation Calculus

Autores
Roldán, María Luciana; Gonnet, Silvio Miguel; Leone, Horacio Pascual
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration,evaluation, and composition of design alternatives. Increasingly, new computer-aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer-supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.
Fil: Roldán, María Luciana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Materia
Design Process Representation
Software Architectures
Situation Calculus
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/6916
Acceder
id CONICETDig_53d57a0adcbfb4cd7dd374ee0a8b9a99
oai_identifier_str oai:ri.conicet.gov.ar:11336/6916
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Knowledge Representation of the Software Architecture Design Process based on Situation CalculusRoldán, María LucianaGonnet, Silvio MiguelLeone, Horacio PascualDesign Process RepresentationSoftware ArchitecturesSituation Calculushttps://purl.org/becyt/ford/2.2https://purl.org/becyt/ford/2Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration,evaluation, and composition of design alternatives. Increasingly, new computer-aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer-supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.Fil: Roldán, María Luciana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaWiley2013-02info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/6916Roldán, María Luciana; Gonnet, Silvio Miguel; Leone, Horacio Pascual; Knowledge Representation of the Software Architecture Design Process based on Situation Calculus; Wiley; Expert Systems; 30; 1; 2-2013; 34-530266-4720enginfo:eu-repo/semantics/altIdentifier/doi/10.1111/j.1468-0394.2012.00620.xinfo:eu-repo/semantics/altIdentifier/doi/info:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1111/j.1468-0394.2012.00620.x/abstractinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:56:12Zoai:ri.conicet.gov.ar:11336/6916instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:56:12.209CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
title Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
spellingShingle Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
Roldán, María Luciana
Design Process Representation
Software Architectures
Situation Calculus
title_short Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
title_full Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
title_fullStr Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
title_full_unstemmed Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
title_sort Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
dc.creator.none.fl_str_mv Roldán, María Luciana
Gonnet, Silvio Miguel
Leone, Horacio Pascual
author Roldán, María Luciana
author_facet Roldán, María Luciana
Gonnet, Silvio Miguel
Leone, Horacio Pascual
author_role author
author2 Gonnet, Silvio Miguel
Leone, Horacio Pascual
author2_role author
author
dc.subject.none.fl_str_mv Design Process Representation
Software Architectures
Situation Calculus
topic Design Process Representation
Software Architectures
Situation Calculus
purl_subject.fl_str_mv https://purl.org/becyt/ford/2.2
https://purl.org/becyt/ford/2
dc.description.none.fl_txt_mv Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration,evaluation, and composition of design alternatives. Increasingly, new computer-aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer-supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.
Fil: Roldán, María Luciana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
description Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration,evaluation, and composition of design alternatives. Increasingly, new computer-aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer-supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.
publishDate 2013
dc.date.none.fl_str_mv 2013-02
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/6916
Roldán, María Luciana; Gonnet, Silvio Miguel; Leone, Horacio Pascual; Knowledge Representation of the Software Architecture Design Process based on Situation Calculus; Wiley; Expert Systems; 30; 1; 2-2013; 34-53
0266-4720
url http://hdl.handle.net/11336/6916
identifier_str_mv Roldán, María Luciana; Gonnet, Silvio Miguel; Leone, Horacio Pascual; Knowledge Representation of the Software Architecture Design Process based on Situation Calculus; Wiley; Expert Systems; 30; 1; 2-2013; 34-53
0266-4720
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1111/j.1468-0394.2012.00620.x
info:eu-repo/semantics/altIdentifier/doi/
info:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1111/j.1468-0394.2012.00620.x/abstract
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Wiley
publisher.none.fl_str_mv Wiley
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269390083457024
score 13.13397

Publicaciones similares