Home // ICSEA 2011, The Sixth International Conference on Software Engineering Advances // View article
Authors:
Abbas Rasoolzadegan
Ahmad Abdollahzadeh Barfourosh
Keywords: Formalization; visualization; design patterns; formal modeling methods; semi-formal modeling methods
Abstract:
This work investigates the advantages and limitations of various modeling methods. Despite of their advantages, due to some limitations of each modeling method, using only one of them as the sole approach will not ensure high quality software. This work proposes a new feasible approach to improve the software development process by integrating semi-formal and formal modeling methods. In this approach, software is initially modeled using the formal specification language Object-Z. The formal models, produced by Object-Z, are formally refined to ensure correctness. Then, software behavior is extracted and visualized in specific intervals using UML. Applying design patterns to the visualized models increases reusability and flexibility. The newly improved models are then re-formalized. Such an iterative and evolutionary process continues until developing the software with the desired quality. This paper proposes a new approach to develop reliable, yet flexible software.
Pages: 104 to 111
Copyright: Copyright (c) IARIA, 2011
Publication date: October 23, 2011
Published in: conference
ISSN: 2308-4235
ISBN: 978-1-61208-165-6
Location: Barcelona, Spain
Dates: from October 23, 2011 to October 29, 2011