We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Reliable yet flexible software through formal model transformation (rule definition).
- Authors
Rasoolzadegan, Abbas; Barforoush, Ahmad
- Abstract
The results of literature review show that the need for both reliability and flexibility is increasingly becoming important among the various classes of software applications. Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability. However, lack of knowledge and high cost practically force developers to use semi-formal methods instead. Semi-formal (visual) modeling methods, which are widely used in practical large-scale software development, are not good enough for reliable software development. This paper proposes a new practical approach to the development of reliable yet flexible software. In the proposed approach, formal (Object-Z) and semi-formal (UML) models are transformed into each other using a set of bidirectional formal rules. Formal modeling and refinement ensure the reliability of software. Visual models facilitate the interactions among stakeholders who are not familiar enough with the complex mathematical concepts of formal methods. Visual models help detect the unexpected behavior and inconsistencies of software. Applying design patterns to visual models improves the flexibility of software. The transformation of formal and visual models into each other through the iterative and evolutionary process, proposed in this paper, helps develop the software applications that need to be highly reliable yet flexible. The feasibility of the proposed approach is evaluated using the multi-lift case study.
- Subjects
SOFTWARE engineering; UNIFIED modeling language; STAKEHOLDERS; COMPUTER software development; FEASIBILITY studies
- Publication
Knowledge & Information Systems, 2014, Vol 40, Issue 1, p79
- ISSN
0219-1377
- Publication type
Article
- DOI
10.1007/s10115-013-0621-2