The 8th annual International Conference on Modeling, Simulation and Visualization Methods , 2011-07-18

Title : ( Empirical Evaluation of Modeling Languages Using Multi-Lift System Case Study )

Authors: Abbas Rasoolzadegan , Ahmad Abdollahzadeh Barforoush ,

Citation: BibTeX | EndNote

Abstract

This paper empirically investigates the advantages and limitations of modeling languages by specifying the multi-lift system as a non-trivial case study. The multi-lift system is a suitable test bed to demonstrate the expressive power of modeling languages in specifying such a concurrent, reactive, and complex system. English, UML, and Object-Z have been chosen, respectively, as informal, semi-formal, and formal modeling languages to specify the software requirements of the multi-lift system. These modeling languages are then compared and evaluated based on their likelihood to produce a specification with some defined characteristics. The conclusion is that informal languages such as English cannot be used to produce software models, because they are prone to ambiguity. Each of the formal and semi-formal languages has some unique advantages and limitations. Semi-formal models should be supplemented with formal ones to produce high quality software.

Keywords

, Modeling languages, Object-Z, UML.
برای دانلود از شناسه و رمز عبور پرتال پویا استفاده کنید.

@inproceedings{paperid:1036117,
author = {Rasoolzadegan, Abbas and Ahmad Abdollahzadeh Barforoush},
title = {Empirical Evaluation of Modeling Languages Using Multi-Lift System Case Study},
booktitle = {The 8th annual International Conference on Modeling, Simulation and Visualization Methods},
year = {2011},
location = {Las Vegas, Nevada, USA},
keywords = {Modeling languages; Object-Z; UML.},
}

[Download]

%0 Conference Proceedings
%T Empirical Evaluation of Modeling Languages Using Multi-Lift System Case Study
%A Rasoolzadegan, Abbas
%A Ahmad Abdollahzadeh Barforoush
%J The 8th annual International Conference on Modeling, Simulation and Visualization Methods
%D 2011

[Download]