Wyniki wyszukiwania - BazTech

1

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Mu K., Jin Z., Yue A., Liu W., Lu R., Bell D.

Fundamenta Informaticae

|

2009

|

Vol. 91, nr 3-4

631-670

EN

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving conflicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

2

A New Practical Limited Identity-Based Encryption Scheme

Lu R., Cao Z., Dong X.

Fundamenta Informaticae

|

2007

|

Vol. 80, nr 4

461-474

EN

Identity based cryptography was introduced by Shamir in 1984, which avoids the trust problems encountered in the traditional Public Key Infrastructures. After Boneh and Franklin proposed the first full functional identity based encryption scheme from the bilinear pairings in 2001, many other identity based schemes using pairings have been proposed. However, how to design a practical identity based encryption scheme that avoids using the pairings is still an open problem today. In this paper, after studying and combining the advantages of the traditional public key system and identity based system, we formally define a new Limited identity based system and present a concrete Limited identity based encryption scheme on a different complexity assumption. The resulting scheme is not only provably secure against the chosen plaintext attack in the random oracle, but also especially suitable for some practical system, such as an email system.

3

Determination of Thermodynamic and Kinetic Parameters of Inclusion Comnplex Formation of 2-Mercaptobenzothiazole with beta-Cyclodextrin

Zha F., Lu R.

Polish Journal of Chemistry

|

2005

|

Vol. 79 / nr 9

1461-1467

EN

The inclusion of 2-mercaptobenzothiazole by beta-cyclodextrin was studied by spectrophotometry. The absorbance of inclusion complex decreased when _-cyclodextrin was dissolved in water and the complex was diluted with ethanol. The same result was obtained by using water as the solvent and diluent. The absorbance decrease in ethanol was greater than that in water. The absorbance increased with the increase of the content of _-cyclodextrin when DMSO was used both as the solvent and diluent. Although the absorbance of the complex was higher than that of the guest when beta-cyclodextrin was dissolved inDMSOand inclusion complex was diluted with water, the absorption decreased when the concentration of beta-cyclodextrin was increased. Stability constants of the inclusion complex in different solvents changed in the order KDMSO < KH2O < KEtOH. Further studies showed that formation of the inclusion complex was spontaneous and exothermic. Thermodynamic parameters and the rate constants of the inclusion reaction were determined.