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.
The current implementation of quality assurance system in higher education is guided through general documentation provided by quality assurance agency which might interpreted differently by different people. This will lead to misunderstanding during preparation of the quality assurance document and the audit process. Therefore, there is a need to establish a well-structured knowledge and shared concept...
Self-adaptive systems are able to modify their behavior and/or structure to deal with their continuously changing environment and internal dynamics. MAPE control loops, based on these four steps: Monitoring, Analysis, Planning, and Execution, have been identified as crucial elements in realizing self-adaptation of software systems. Adaptive systems are generally more difficult to design, specify and...
Self-healing system attempt to enable computing systems to automatically discover, diagnose, and repair (or at least mitigate) faults without human intervention, thus it is a potential approach to improve the dependability and autonomy of computing system. A model-driven approach for modeling and analyzing the self-healing computing system is proposed in this paper. In our approach, the function part...
Internet and World Wide Web foster the innovation of software. Networked software (or applications) has gradually been a promising form of Internet-based software, which would have a profound effect on human society. It is a hard task for software engineers to build rapid on-demand services of networked software in terms of personalized requirements. However, requirement evolution has received little...
The promise of formal verification of system-of-systems is in harnessing the power and accuracy of modern day computers to create trust-worthy systems. The success of formal verification techniques depends, to large degree, on the existence of a sound and complete collection of formally written requirements. To date, there is no known methodology for assuring that a collection of requirements, formal...
UML is the de-facto industry standard to design object-oriented software. UML provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between the models. Today, most of the effort is applied on creating accurate and consistent UML models rather than implementing the design. Automatic code...
We present a method for (1) specifying high-level security policies using UML sequence diagrams and (2) transforming high-level sequence diagram policies into low-level state machine policies that can be enforced by monitoring mechanisms. We believe that the method is both easy to use and useful since it automates much of the policy formalization process.
This paper describes a benchmarking workload model for business process execution language (BPEL) engines for Web services. The proposed model is based on simulation of real world traffic conditions by defining a set of requirements which best characterize the end-users. The performance characteristics are evaluated on top of collected measurements such as success/fail rate, response times or round-trip...
Requirements modeling has been recently introduced in the UML world with the form of a new profile called SysML. This paper explores the possibility to link concepts used to describe requirements with those of the enterprise language of RM-ODP. Some correspondence rules are proposed and illustrated on a case study.
An important issue to the adoption of any enterprise architectural approach is the availability of tools to support the development, storage, presentation, analysis, improvement and evolution of enterprise architecture representations. As with enterprise architecture methodologies, enterprise architecture tools to support the architectural development process are still emerging. Most important software...
We developed a quality of service (QoS) management system to support service level management (SLM) for global enterprise services. The QoS management system is integrated with one of our enterprise services in a preproduction system, an identical system as the production system but in a test environment. Lab experiments showed that our integrated solution helps global enterprise services to better...
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.