A framework for checking behavioral compatibility for component selection

Wang, L.; Krishnan, Padmanabhan

doi:10.1109/aswec.2006.2

Cited by 11 publications

(4 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This situation is notably critical in component retrieval where selection requires high precision. Existing selection methodologies rely mostly on similarity analysis of component definitions or interface descriptions [10] [11]; others depend solely on keyword querying [12]. While keyword based retrieval methods are the most common systems today, extracted keywords cannot always represent the desired semantics that the document has to provide.…”

Section: Information Extractionmentioning

confidence: 99%

Ontology-guided Conceptual Analysis of Design Specifications

Shankar

Singh

Wolff

et al. 2014

Proceedings of the 51st Annual Design Automation Conference

View full text Add to dashboard Cite

The integration of reusable IP blocks/cores is a common process in system-on-chip design and involves manually comparing/mapping IP specifications against system requirements. The informal nature of specification limits its automatic analysis. Existing techniques fail to utilize the underlying conceptual information embedded in specifications. In this paper, we present a methodology for specification analysis, which involves concept mining of specifications to generate domain ontologies. We employ a semi-supervised expert system with semantic analysis capability to create a collaborative framework for cumulative knowledge acquisition. Our system then uses the generated ontologies to perform component retrieval, drop-in-replacement analysis and design vs. test-plan comparisons. We demonstrate our approach by evaluating several IP specifications.

show abstract

Section: Information Extractionmentioning

confidence: 99%

Ontology-guided Conceptual Analysis of Design Specifications

Shankar

Singh

Wolff

et al. 2014

Proceedings of the 51st Annual Design Automation Conference

View full text Add to dashboard Cite

show abstract

“…There are several other works related to component matching and we provide the references here, Penix and Alexander [15], Morel and Alexander [16] Wang and Krishanan [17], Lau et. al [18] and related to service matching in web services, Heckel et.…”

Section: Component Matchingmentioning

confidence: 99%

Linking Business and Application Architectures

Kamath

2013

Aligning Enterprise, System, and Software Architectures

View full text Add to dashboard Cite

The development of an IT strategy and ensuring that it is the best possible one for business is a key problem many organizations face. This problem is that of linking business architecture to IT architecture in general and application architecture specifically. Without this linkage it is difficult to manage the changes needed by the business and maximize the benefits from the information technology (IT) investments. Linking the two domains requires defining the two architectures using a “common language.” While the application architecture domain has developed tools and processes to define and represent the architecture, the business architecture domain, however, lacks such processes and tools to be useful for linking of the two. The chapter addresses several questions dealing with the linking of the business and the application architectures. The author proposes to use category theory related constructs and notions to represent the business and information architecture and the linkages.

show abstract

“…SCIL is an interface specification language used to capture component behaviours. We have built a framework using SCIL for checking behavioural compatibility for component selection [3].…”

Section: Introductionmentioning

confidence: 99%

“…PROPERTY can be formed by assertions or temporal logic expressions. The more detailed discussions on SCIL can be found in our previous paper [3].…”

Section: Introductionmentioning

confidence: 99%

An Approach to Provisioning E-Commerce Applications with Commercial Components

Lei

Krishnan

2006

2006 IEEE International Conference on E-Business Engineering (ICEBE'06)

View full text Add to dashboard Cite

Abstract-Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to selecting and composing components suffer from the problem that the components retrieved usually do not exactly fit with other components in the system being developed. While formal methods can be used to describe and check semantic characteristics to better match components, there are practical limitations which restrict their adoption.We have proposed a framework to support a semantic description and selection of components. We used Simple Component Interface Language (SCIL) to describe user requirements and pre-built components from the current component sources. Specifications in SCIL can be translated to a variety of models including those that have a formal basis.In this paper, we preform a case study of searching commercial components for a generic e-commerce application. We specify the commercial components in SCIL and use two specific tools: jMocha and Alloy Analyser to identify the correct components that suit a particular task.

show abstract

A framework for checking behavioral compatibility for component selection

Cited by 11 publications

References 26 publications

Ontology-guided Conceptual Analysis of Design Specifications

Ontology-guided Conceptual Analysis of Design Specifications

Linking Business and Application Architectures

An Approach to Provisioning E-Commerce Applications with Commercial Components

Contact Info

Product

Resources

About