The quality evaluation of transactional calculus for semi-structured database system develops metrics for data quality. A conceptual data model of higher quality leads to a higher quality information system. Quality of a data model may affect with effectiveness i.e. the quality of results and the efficiency like time, effort etc. of development of information system. Hence, boosting up the data model quality is also prone to improve quality of delivered system. An array of metrics for quality has been proposed for the semi-structured data model with proper blend of metrics framework suitable for transactional calculus for data model of semi-structured. This paper proposes a framework for quality evaluation of transactional calculus for semi-structured database system using TCSS X-Query. In the proposed quality evaluation, the viewpoint has been described using a set of proposed quality measurements. Each of these quality measurements is linked with set of related metrics. The framework comprised of direct and indirect metrics for the purpose of quality evaluation. The framework facilities a double-fold view point using a set of quality measurement. In quality evaluation two viewpoint quality dimensions are focused: like designer level viewpoint and user level viewpoint. The proposed metrics set and measurements have been validated empirically. The purpose of empirical validation is to establish the metrics are practically useful for the assessment of quality measurements and operability factor.

Traditional database system forces all data to adhere to an explicitly specified, rigid schema and most of the limitations of traditional database may be overcome by semi-structured database. Whereas a traditional transaction system guarantee that either all modifications are done or none of these i.e. the database must be atomic (either occurs all or occurs nothing) in nature. In this paper transaction is treating as a mapping from its environment to compensable programs and provides a transaction refinement calculus. The motivation of the Transactional Calculus for Semi Structured Database System (TCSS) is-finally, on a highly distributed network, it is desirable to provide some amount of fault tolerance. The paper proposes a mathematical framework for transactions where a transaction is treated as a mapping from its environment to compensable programs and also provides a transaction refinement calculus. It proposes to show that most of the semi structured transaction can be converted to a calculus based model which is simply consists of a forward activity and a compensation module of CAP (consistency, availability, and partition tolerance) [12] and BASE (basic availability, soft state and eventually consistent) [45] theorem. It proposes to show that most of the semi-structured transaction can be converted to a calculus based model which is simply consists of a forward activity and a compensation module of CAP and BASE theorem. It is important that the service still perform as expected if some nodes crash or communication links fail, Verification of several useful properties of the proposed TCSS includes in this article. Moreover, a detailed comparative analysis has been providing towards evaluation of the proposed TCSS.

In recent days, component-based software engineering has become popular in the software industry for its reuse property. A suitable component-based software model is crucial for the effective design of the component-based software engineering. Quality assessment, evaluation, and analysis of a component model are highly essential to maintain the efficient design in the development of such system. Quality measurement for the component model will be more accurate, if it can be measured by a set of valid and meaningful metrics. This paper has proposed an empirical approach to validate a set of quality metrics along with a set of quality attributes for the design model of component-based software. In the proposed approach, metrics interdependencies have described using a Chi-Square non-parametric test. This paper has considered six different case studies of a well-known library management system to establish the metrics interdependency along with several quality attributes of a component model. This helps to identify the practically useful set of metrics for the quality assessment of high cohesive and low coupling metrics of the component-based system. A massive dataset has been collected from the 34 students of the institute on these six case studies. The Pearson's correlation method has been applied on the collected data set to identify the several correlations between the set of metrics and the set of quality attributes in terms of operation time. This facilitates to assess different crucial quality attributes of component-based system (CBS) design like complexity, analyzability, expressiveness etc.