The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
At present, most scholars know the important of requirements evolution, however, efficient methods to guide are still lacked. The paper presents the modeling of reflection requirement based on the ??-calculus to capture the requirements evolution, and makes it carry out efficiently and controllable. Aimed at the evolution issues of OWL-S requirements specification, this paper proposes a ??-Calculus...
Web services are widely applied in web applications. In order to achieve the goals of automation and inter-operation, the idea of semantic web service was introduced, and OWL-S is proposed as the description language of semantic web services. As the requirement of the customer changes frequently, the composition of semantic web service should be correspondently modified. However, modifying the composition...
The classic requirement engineering provides limited technology and inefficient methods for requirements evolution, which leads to great restriction on finish the task of requirements evolution with high-efficiency and high-quality. For resolving above problem, this paper presents a reflective requirements specification for requirements evolution. The reflective requirements specification divides...
As to a reflective information model for reusing software architecture(RIM4RSA) which is constructed and designed on the basis of architectural reflection theory, this paper proposes the way of specification by which the interaction in the RIM4RSA can be formally described in the pi-calculus. RIM4RSA is logically divided into meta-level and base-level. When RIM4RSA is used to support reusing of software...
Reusing software architecture, which is a kind of coarse-grained software resources at design time, is always a very difficult problem in the realm of software engineer. We consider that there are two fundamental reasons for this problem: one is the lack of information which supports the process of reusing software architecture; another is the lack of effective reusing approach. So this paper proposes...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.