Knowledge Representation of the Software Architecture Design Process based on Situation Calculus
| Autor: | María Luciana Roldán, Silvio Gonnet, Horacio Pascual Leone |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2013 |
| Předmět: |
Ingeniería de Sistemas y Comunicaciones
Theoretical computer science business.industry Computer science SOFTWARE ARCHITECTURES SITUATION CALCULUS INGENIERÍAS Y TECNOLOGÍAS Design language DESIGN PROCESS REPRESENTATION Theoretical Computer Science Object-oriented design High-level design Computational Theory and Mathematics Artificial Intelligence Control and Systems Engineering Design education Interaction design pattern Design process Software design Generative Design Software engineering business Ingeniería Eléctrica Ingeniería Electrónica e Ingeniería de la Información |
| DOI: | 10.1111/j.1468-0394.2012.00620.x/abstract |
| Popis: | 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|