Software configuration management in the support of formal software development

1998 ◽  
Author(s):  
Kelvin Ross
2020 ◽  
Vol 10 (10) ◽  
pp. 2369-2377
Author(s):  
Waqar Mehmood ◽  
Hassan Jari ◽  
Ali Tahir ◽  
Waqar Aslam ◽  
Muhammad Kamran

Development of large-scale healthcare software projects essentially need the efficient management of the created software artifacts during software development process. In such projects different versions of an artifact are created at different times. Traditional software configuration management systems, such as Git, Subversion (SVN), etc., are designed for later phases of software development, which mainly handle the source code document. These systems are unable to perform difference detection and version management tasks on models such as unified modeling language diagrams. UML use case model is used for capturing functional requirements at analyses phase. Different versions of the use case model are created during analyses phase. This paper addresses the detection of differences between two versions of a use case model. In order to perform difference detection, we need to perform three main tasks, i. e., extract the contents of the model, comparison of models and difference representation. Most of the existing approaches in literature of model comparison deal with UML class diagrams. To the best of our knowledge, so far no appropriate approach addresses difference computation of use case model. Existing approaches are not applicable on use case model due to different semantics of use case model. In this research, the concept of model-based software configuration management (SCM) for use case difference detection is proposed. The use case models are created in an open source tool, starUML. The proposed difference algorithm is applied on intermediate tree structure representation of models. As a case study, different versions of a patient appointment healthcare system is used to evaluate different evaluation parameters, such as accuracy, domain independence, high conceptual level and tool independence.


2020 ◽  
Vol 10 (10) ◽  
pp. 2369-2377
Author(s):  
Waqar Mehmood ◽  
Hassan Jari ◽  
Ali Tahir ◽  
Waqar Aslam ◽  
Muhammad Kamran

Development of large-scale healthcare software projects essentially need the efficient management of the created software artifacts during software development process. In such projects different versions of an artifact are created at different times. Traditional software configuration management systems, such as Git, Subversion (SVN), etc., are designed for later phases of software development, which mainly handle the source code document. These systems are unable to perform difference detection and version management tasks on models such as unified modeling language diagrams. UML use case model is used for capturing functional requirements at analyses phase. Different versions of the use case model are created during analyses phase. This paper addresses the detection of differences between two versions of a use case model. In order to perform difference detection, we need to perform three main tasks, i. e., extract the contents of the model, comparison of models and difference representation. Most of the existing approaches in literature of model comparison deal with UML class diagrams. To the best of our knowledge, so far no appropriate approach addresses difference computation of use case model. Existing approaches are not applicable on use case model due to different semantics of use case model. In this research, the concept of model-based software configuration management (SCM) for use case difference detection is proposed. The use case models are created in an open source tool, starUML. The proposed difference algorithm is applied on intermediate tree structure representation of models. As a case study, different versions of a patient appointment healthcare system is used to evaluate different evaluation parameters, such as accuracy, domain independence, high conceptual level and tool independence.


1999 ◽  
Vol 28 (540) ◽  
Author(s):  
Henrik Bærbak Christensen

The Ragnarok project is an experimental computer science project within the field of software development environments. Taking current problems in software engineering as starting point, a small set of hypotheses are proposed, outlining plausible solutions for problems concerning the management of the development process and its associated data, and outlining how these solutions can be supported directly in a development environment. These hypotheses are all deeply rooted in the viewpoint that the logical software architecture forms a natural and powerful framework for handling essential aspects of the development process. <br /> <br /> The main contributions presented in the thesis have evolved from work with two of the hypotheses: These address the problems of management of evolution, and overview, comprehension and navigation respectively. <br /> <br /> The first main contribution is the Architectural Software Configuration Management Model: A software configuration management model where the abstractions and hierarchy of the logical aspect of software architecture forms the basis for version control and configuration management. The second main contribution is the Geographic Space Architecture Visualisation Model: A visualisation model where entities in a software architecture are organised geographically in a two-dimensional plane, their visual appearance determined by processing a subset of the data in the entities, and interaction with the project's underlying data performed by direct manipulation of the landscape entities. <br /> <br /> A major effort has been invested in the design, development and deployment of a prototype software development environment, Ragnarok, that implements the core of these models. The Ragnarok prototype has been used in three, small- to medium-sized, real development projects for nearly three years. <br /> <br /> The main results from the three case studies are the following: The architectural software configuration management model is a natural and viable model for configuration management, at least for small- to medium-sized systems. The model's main assets are that it minimises the gap between the concepts used in the development domain and configuration domain; and its emphasis on bound configurations ensures traceability and reproducibility of configurations and architectural changes. The geographic space architecture visualisation model is a viable model for visualising the logical aspect of an architecture. The model's main assets are enhanced navigational abilities as the focus is shifted from name-based to location-based search which allows humans' fine spatial memory to be exploited; and strengthened overview as the architecture is visible and readily accessible in a compact form.


2017 ◽  
Vol 21 (1) ◽  
pp. 5-12
Author(s):  
Artūrs Bartusevičs ◽  
Andrejs Lesovskis ◽  
Viktorija Ponomarenko

Abstract Large software development projects with high levels of agility require several IT operations: software configuration management, bug tracking management, making software builds and deployments. Due to high agility in projects, the starting phases are very chaotic and sometimes in a few days customer is willing to get the first release of software. It means that all IT operations should be automated as soon as possible. The study presents a model-driven approach for automation of IT operations through the reuse of the existing source code. In addition, it presents a method for the development of library of reusable source code. The paper contains a brief description of the model-driven approach, library of source code and meta-models developed for a new methodology. The paper ends with the results of the practical experiments and conclusions on how this approach could be improved in the future.


Sign in / Sign up

Export Citation Format

Share Document