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.
Software system have been faced challenge such as change of business rules, software resources and system context environment, software requirements must support sustainable evolution. We presented a logical model for reasoning about requirements evolution in the construction of software systems. Our model defined the π-Calculus semantics of OWL-S, giving the formal description methods for requirements...
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...
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...
The process of traditional requirements acquisition and analysis is generally completed by domain experts and requirements analysts, which will greatly restrict the requirements modeling automatization degree and userpsilas participation degree in the requirements process. This paper presents a reflective mechanism for evolution of requirements specifications (RMERS) that supports OWL-S. In the phase...
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...
Crosscutting behaviors and features of architectural units have always been a tricky issue in software architecture design. If not well treated, they may cause some unnecessary coupling among architectural units and hamper maintenance, evolution and reusability of software products. Appropriate modeling approaches and expressions contribute to the solution of these problems. This paper proposes an...
Semantic Web service matchmaking is the process of searching the space of possible matches between demands and supplies, and finds the best available ones. To achieve this, the semantic Web service matchmaking framework is one of the absolutely necessary components of service oriented architecture. This paper proposes a matchmaking framework based on Description Logic for semantic Web service described...
Reusing software architecture and its constituents, which are a kind of coarse-grained software resources, are confronted with great difficulty. Reflection mechanism has been successfully applied in the reuse of code component, but scarcely applied in the reuse of architecture and its constituents. Architectural reflection is the computation performed by a system about its own architecture, and currently...
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.