ATAM-based Architecture Evaluation Using LOTOS Formal Method

Автор: Muhammad Usman Ashraf, Wajdi Aljedaibi

Журнал: International Journal of Information Technology and Computer Science(IJITCS) @ijitcs

Статья в выпуске: 3 Vol. 9, 2017 года.

Бесплатный доступ

System Architecture evaluation and formal specification are the significant processes and practical endeavors in all domains. Many methods and formal descriptive techniques have been proposed to make a comprehensive analysis and formal representation of a system architecture. This paper consists of two main parts, in first we evaluated system performance, quality attribute in Remote Temperature Sensor clients-Server architecture by implementing an ATAM model, which provides a comprehensive support for evaluation of architecture designs by considering design quality attributes and how they can be represented in the architecture. In the second part, we computed the selected system architecture in ISO standards formal description technique LOTOS with which a system can be specified by the temporal relation between interactions and behavior of the system. Our proposed approach improves on factors such as ambiguity, inconsistency and incompleteness in current system architecture.

Еще

ATAM, Architecture, LOTOS, CADP, Software Quality Attributes Evaluation, Software Quality Assurance

Короткий адрес: https://sciup.org/15012624

IDR: 15012624

Список литературы ATAM-based Architecture Evaluation Using LOTOS Formal Method

  • Shaw, Mary, and David Garlan. Software architecture: perspectives on an emerging discipline. Vol. 1. Englewood Cliffs: Prentice Hall, 1996.
  • Moreira, Ana MD, and Robert G. Clark. "Combining object-oriented analysis and formal description techniques." Object-Oriented Programming. Springer Berlin Heidelberg, 1994. 344-364.
  • Bolognesi, Tommaso, and Ed Brinksma. "Introduction to the ISO specification language LOTOS." Computer Networks and ISDN systems 14.1 (1987): 25-59.
  • Kazman, Rick, et al. "The architecture tradeoff analysis method." Engineering of Complex Computer Systems, 1998. ICECCS'98. Proceedings. Fourth IEEE International Conference on. IEEE, 1998.
  • Nord, Robert L., et al. Integrating the Architecture Tradeoff Analysis Method (ATAM) with the cost benefit analysis method (CBAM). No. CMU/SEI-2003-TN-038. CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2003.
  • Bass, Len. Software architecture in practice. Pearson Education India, 2007.
  • Lopez, Marta. An evaluation theory perspective of the Architecture Tradeoff Analysis Method (ATAM). No. CMU/SEI-2000-TR-012. carnegie-mellon univ pittsburgh pa software engineering inst, 2000.
  • Clarke, Edmund M., and Jeannette M. Wing. "Formal methods: State of the art and future directions." ACM Computing Surveys (CSUR) 28.4 (1996): 626-643.
  • Lotos, I. S. O. "A formal description technique based on the temporal ordering of observational behaviour." International Organisation for Standardization-Information Processing Systems-Open Systems Interconnection, Geneva (1988).
  • Kazman, Rick, et al. "The architecture tradeoff analysis method."Engineering of Complex Computer Systems, 1998. ICECCS'98. Proceedings. Fourth IEEE International Conference on. IEEE, 1998.
  • Garavel, Hubert, et al. "CADP 2006: A toolbox for the construction and analysis of distributed processes." International Conference on Computer Aided Verification. Springer Berlin Heidelberg, 2007.
  • Aladwani, Adel M. "Online banking: a field study of drivers, development challenges, and expectations." International Journal of Information Management 21.3 (2001): 213-225.
  • Audsley, N. C. et al. “Fixed Priority Pre-Emptive Scheduling: An Historical Perspective.” Real-Time Systems 8, 2-3 (March-May 1995): 173-198.
  • Conway, R.; Maxwell, W.; & Miller, L. Theory of Scheduling. Reading, MA: Addison-Wesley Publishing Company, 1967.
  • Logrippo, Luigi, Mohammed Faci, and Mazen Haj-Hussein. "An introduction to LOTOS: learning by examples." Computer Networks and ISDN systems 23.5 (1992): 325-342.
  • Poizat, Pascal, Christine Choppy, and Jean-Claude Royer. "Concurrency and data types: A specification method an example with LOTOS." International Workshop on Algebraic Development Techniques. Springer Berlin Heidelberg, 1998.
  • Ardis, Mark A. "Lessons from using basic lotos." Proceedings of the 16th international conference on Software engineering. IEEE Computer Society Press, 1994.
  • Zalewski, Andrzej, and Szymon Kijas. "Beyond ATAM: Early architecture evaluation method for large-scale distributed systems." Journal of Systems and Software 86.3 (2013): 683-697.
  • Rupanov, V., et al. "Employing early model-based safety evaluation to iteratively derive E/E architecture design." Science of Computer Programming 90 (2014): 161-179.
  • Dobrica, Liliana, and Eila Niemelä. "A survey on software architecture analysis methods." Software Engineering, IEEE Transactions on 28.7 (2002): 638-653.
  • Närman, Per, et al. "Enterprise architecture availability analysis using fault trees and stakeholder interviews." Enterprise Information Systems 8.1 (2014): 1-25.
  • Moreira, Ana MD, and Robert G. Clark. "Combining object-oriented analysis and formal description techniques." Object-Oriented Programming. Springer Berlin Heidelberg, 1994. 344-364.
  • El-Gendy, Hazem, Nabil El Kadhi, and Narayan Debnath. "Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques." Computers and Communications, 2008. ISCC 2008. IEEE Symposium on. IEEE, 2008.
  • Clements, Paul, et al. "The duties, skills, and knowledge of software architects." 2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07). 2007.
Еще
Статья научная