Treffer: Reliable yet flexible software through formal model transformation (rule definition)

Title:
Reliable yet flexible software through formal model transformation (rule definition)
Authors:
RASOOLZADEGAN, Abbas, AHMAD ABDOLLAHZADEH BARFOROUSH
Source:
Knowledge and information systems (Print). 40(1):79-126
Publisher Information:
London: Springer, 2014.
Publication Year:
2014
Physical Description:
print, 67 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Logiciel, Software, Génie logiciel, Software engineering, Performances des systèmes informatiques. Fiabilité, Computer systems performance. Reliability, Automatique théorique. Systèmes, Control theory. Systems, Commande des processus. Productique, Process control. Computer integrated manufacturing, Architecture basée modèle, Model driven architecture, Arquitectura basada modelo, Article synthèse, Review, Artículo síntesis, Développement logiciel, Software development, Desarrollo logicial, Echelle grande, Large scale, Escala grande, Esthétique, Aesthetics, Estética, Faisabilité, Feasibility, Practicabilidad, Fiabilité logiciel, Software reliability, Fiabilidad logicial, Information incomplète, Incomplete information, Información incompleta, Langage modélisation unifié, Unified modelling language, Lenguaje UML, Modélisation, Modeling, Modelización, Méthode formelle, Formal method, Método formal, Méthode itérative, Iterative method, Método iterativo, Méthode raffinement, Refinement method, Método afinamiento, Patron conception, Design pattern, Patrón Concepción, Réutilisation, Reuse, Reutilización, Spécification formelle, Formal specification, Especificación formal, Transformation programme, Program transformation, Transformación programa, Langage Z, Z language, Design patterns, Flexibility, Model transformation, Object-Z, Reliability, UML
Document Type:
Fachzeitschrift Article
File Description:
text
Language:
English
Author Affiliations:
Intelligent Systems Laboratory, Information Technology and Computer Engineering Faculty, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran, Islamic Republic of
ISSN:
0219-1377
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=28535887
Rights:
Copyright 2015 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.28535887
Database:
PASCAL Archive

Weitere Informationen

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.