Knowledge representation of the software architecture design process based on situation calculus

Roldán, María Luciana; Gonnet, Silvio; Leone, Horacio Pascual

doi:10.1111/j.1468-0394.2012.00620.x

Cited by 4 publications

(5 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed model for AK documentation is based on a versioning scheme (Figure ), which provides the capabilities for documenting architectural design knowledge . The versioning scheme has been introduced and formalized in our previous work (Roldán et al ., ), using first order logic and situation calculus. In the present work, the versioning scheme is introduced through object‐oriented models in UML notation, in order to set the basis for the development of a computational environment for documenting AK.…”

Section: Operation‐based Model For Documenting Architectural Knowledgementioning

confidence: 99%

“…Then, a new model version m q is generated by applying the sequence of operations ϕ q on Model Version m k , which embodies in this case the application of the The proposed model for AK documentation is based on a versioning scheme ( Figure 3), which provides the capabilities for documenting architectural design knowledge. The versioning scheme has been introduced and formalized in our previous work (Roldán et al, 2013), using first order logic and situation calculus. In the present work, the versioning scheme is introduced through object-oriented Tang et al, 2010).…”

Section: Operation-based Model For Documenting Architectural Knowledgementioning

confidence: 99%

“…In previous works (Roldán et al, 2010;Roldán et al, 2013), a possible generic software architectural domain has been defined, which includes several concepts from the IEEE 1471 Standard (IEEE, 2000), V&B approach (Clements et al, 2010), and Attribute Driven Design method (Bass et al, 2003). Attribute Driven Design method (ADD) proposes describing an architecture by means of the views proposed by the V&B approach (Clements et al, 2010), which are Module, Component-and-Connector (C&C) and Allocation.…”

Section: Definition Of Concepts Of a Domain: Documenting General Knowmentioning

confidence: 99%

“…The work described in this paper is a continuation of our former work presented in Roldán et al . (), where we used situation calculus for representing SADP. In such a work, situation calculus allows us to formalize the evolution of SADP by means of the specification of a set of actions, fluents, state successor axioms and action preconditions.…”

Section: Related Workmentioning

confidence: 99%

See 3 more Smart Citations

Operation‐based approach for documenting software architecture knowledge

2016

Self Cite

View full text Add to dashboard Cite

Documenting architectural knowledge is a tedious and time‐consuming task from the knowledge producer's point of view. As a consequence, design decisions, the underlying rationale, and the resulting designs are poorly documented. We propose to alleviate this problem by introducing an operation‐based model for documenting software architecture design processes, which makes possible to capture architectural knowledge in a non‐intrusive way as the design process takes place. By means of a flexible model that makes possible the definition and execution of different level's operations, such as operations that enclose patterns and tactics semantics, we ensure codification of general architectural knowledge and enable its recovering to use it in several design projects. From the knowledge consumers' point of view, the model provides tracing capabilities and useful mechanisms for architectural knowledge recovering.

show abstract

Section: Operation‐based Model For Documenting Architectural Knowledgementioning

confidence: 99%

Section: Operation-based Model For Documenting Architectural Knowledgementioning

confidence: 99%

Section: Definition Of Concepts Of a Domain: Documenting General Knowmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Operation‐based approach for documenting software architecture knowledge

2016

Self Cite

View full text Add to dashboard Cite

show abstract

“…Domain experts know the causal relationships between variables and know the conditional independence (Heckerman, ). Causation knowledge from experts deserves further emphasis because of its potential to provide a link that can correctly induce causal relationships between variables (Hurt, ; Roldán, Gonnet, & Leone, ). Therefore, the quality of causal analysis can be significantly enhanced by inclusion of the appropriate expert knowledge.…”

Section: Introductionmentioning

confidence: 99%

Identification of I‐equivalent subnetworks in Bayesian networks to incorporate experts' knowledge

Lee

Kim

2018

Expert Systems

View full text Add to dashboard Cite

Bayesian networks (BNs) have been widely used in causal analysis because they can express the statistical relationship between significant variables. To gain superior causal analysis results, numerous studies have emphasized the importance of combining a knowledge‐based approach and a data‐based approach. However, combining these two approaches is a difficult task because it can reduce the effectiveness of the BN structure learning. Further, the learning schemes of BNs for computational efficiency can cause an inadequate causal analysis. To address these problems, we propose a knowledge‐driven BN structure calibration algorithm for rich causal semantics. We first present an algorithm that can efficiently identify the subnetworks that can be altered to satisfy the learning condition of the BNs. We then reflect experts' knowledge to reduce erroneous causalities from the learned network. Experiments on various simulation and benchmark data sets were conducted to examine the properties of the proposed method and to compare its performance with an existing method. Further, an experimental study with real data from semiconductor fabrication plants demonstrated that the proposed method provided superior performance in improving structural accuracy.

show abstract