Software System Model Correctness using Graph Theory: A Review

The Unified Modeling Language UML is the de facto standard for object-oriented software model development The UML class diagram plays an essential role in design and specification of software systems The purpose of a class diagram is to display classes with their attributes and methods hierarchy generalization class relationships and associations general aggregation and composition between classes in one mode

Towards Verification of UML Class Models using Formal Specification Methods: A Review

Abstract In today s world many elements of our lives are being affected by software and for that we are in greater need of high-quality software The Unified Modeling Language UML is considered the de facto standard for object-oriented software model development UML class diagram plays an important role in the design and specification of software systems A class diagram provides a static description of system component

e-Participation of Faculty Members in Decision Making in School of Computing in UUM (FMDM)

e-Participation has gained increasing significance within the information society. Generally, participation means to take part or to be involved in it; with the exploitation of ICT. e-Participation will improve better decision making process in public sector by speed, reduced costs, reach more people. In this case, the School of Computing in UUM has many faculty members, which make it difficult to hold meetings and access to all the problems and suggest ideas and discussed by all. Through this study will design participatory management prototype for faculty members of School of Computing to improve and accelerate decision-making process through access to all the problems at hand. Contain the opinions, distribute new ideas between the faculty members for easier discussion, and reduce meeting time; this prototype will develop via using C# language as the solution we present in this study by following the spiral development methodology. The evaluation of prototype based on usability testing by using Computer Usability Satisfaction Questionnaires (CUSQ), psychometric evaluation and prototype was assessed through a sample consists of twenty eight employees from UUM; and the results have been positive

Design of Tender Management System

One of the E-government initiatives is the development of the government-to-business (G2B) system, which is an agenda sets to promote a higher service quality between government entities and the business sector. In Jordan, the vision of E-government would be an essential and active participant in the social development and economic with ICT to enable easy access to government services and information. The tender process in Jordan will be assessing based on the capital of the enterprises in order to be tender. However, the main user is the problem of corruption in the selection of tender. This proposal is to develop tender management system for public sector in Jordan, as well as to reduce corruption. The prototype will develop by using C# language , and the research design adopted the general methodology. The evaluation was based on usability testing with the System Usability Scale (SUS) proposed by Brooke. The prototype was assessed by a sample consists of thirty eight respondents. The results have been positive; when the respondents should that they are able to use the system

Verifying UML/OCL operation contracts

In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to ensure the quality of the final application. Research on model consistency has focused mostly on the models' static aspects. Instead, this paper addresses the verification of their dynamic aspects, expressed as a set of operations defined by means of pre/postcondition contracts. This paper presents an automatic method based on Constraint Programming to verify UML models extended with OCL constraints and operation contracts. In our approach, both static and dynamic aspects are translated into a Constraint Satisfaction Problem. Then, compliance of the operations with respect to several correctness properties such as operation executability or determinism are formally verified

Sharing Medical Profiles for International Students in UUM

One of the most common information technology activities is improvement of healthcare and clinical management systems including personal healthcare records. Personal healthcare records have the potential to help individuals to do a more active role in their health care. It plays a main key in medical diagnosis and therapy. International students in UUM do not have personal healthcare records, which can be shared among medical centers. The aim of this study is to develop a prototype for sharing medical profiles; the prototype is developed by using C# language, and the research design based on general methodology. The evaluation was based on user perception through the use of System Usability Scale (SUS), and the prototype was assessed through a sample questionnaire that consists of thirty-three respondents and the results have been positive

Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller

A unified modelling language (UML) based formal verification methodology that can be easily integrated into an embedded system software development life cycle is suggested. The approach augments UML diagrams with formal models through an interfacing domain and adds semantics to these diagrams. The suggested methodology; commences from functional specification and use case modelling, selects the most critical behaviour where formal verification can add value to the development cycle, analyses the selected behaviour using UML state transition diagram, derives a state chart matrix from the same, and a high level language software translates the state chart matrix to a labelled transition system. Safety properties are derived from system specifications and are expressed as computation tree logic (CTL) formulae. CTL model-checking algorithm from the literature is used for model- checking. The applicability of the suggested approach is established using a safety critical embedded controller used for deployment and recovery of sensor structures from an airborne platform