Modeling and simulation of software architecture in discrete event system specification for quality evaluation

Abstract

Software quality is an important issue in software engineering. The evaluation of software architecture is crucial to achieve quality scenarios, which reduces development and maintenance costs. This work presents a discrete event simulation environment for the software architecture assessment considering both functional and quality aspects. Discrete event system specification (DEVS) formalism and the underlying framework are used to specify the simulation elements. DEVS is based on the system theory and follows the engineering and object-oriented fundamentals to construct complex dynamic systems. The proposed environment is built in a modular and hierarchical way that provides scalability and reusability advantages. Although the proposal is focused on three quality attributes and a few metrics, this approach enables the definition of new elements and metrics related to other quality attributes that can be visible at runtime. A traditional architecture illustrates the proposal, where preliminary computational experiments for this real software system and concrete quality scenarios demonstrate the feasibility of the integrated simulation environment for the software architecture evaluation. In addition, a discussion shows how the results could help architects make design decisions to improve software quality during development.

Keywords

Discrete event system specification software architecture quality attribute software quality evaluation simulation environment

Get full access to this article

View all access options for this article.

References

Humphrey

. The software quality profile. Technical report. Software Engineering Institute, http://resources.sei.cmu.edu/library/asset-view.cfm?assetID=29088 (2009, accessed 3 November 2013).

ISO/IEC 9126-1:2001. Software engineering. Product quality. Part 1: quality model.

Bass

Clements

Kazman

. Software architecture in practice. 3rd ed. Westford, MA: Pearson Education, 2012.

Hofmeister

Nord

Soni

. Applied software architecture. Stoughton, MA Addison-Wesley, 2000.

ISO/IEC/IEEE 42010:2011. Systems and software engineering - architecture description, ISO/IEC IEEE. 1st ed.

Eeles

Cripps

. The process of software architecting. Westford, MA: Pearson Education, 2009.

Clements

Kazman

Klein

. Evaluating software architectures: methods and case studies. Westford, MA: Addison-Wesley, 2002.

Wojcik

Bachmann

Bass

. Attribute-Driven Design (ADD) version 2.0. Technical report CMU/SEI-2006-TR-023 ESC-TR-2006-023. SEI, Carnegie Mellon University, USA, http://www.sei.cmu.edu/reports/06tr023.pdf (2006, accessed 3 November 2013).

Bass

Klein

Bachmann

. Quality attribute design primitives. Technical Note CMU/SEI-2000-TN-017. SEI, Carnegie Mellon University, USA, http://resources.sei.cmu.edu/library/asset-view.cfm?assetID=5139 (2000, accessed 3 November 2013).

10.

Wang

Pan

Chen

. Architecture-based software reliability modeling. J Syst Software2006; 79: 132–146.

11.

Sharma

Trivedi

. Quantifying software performance, reliability and security: an architecture-based approach. J Syst Software2007; 80: 493-509.

12.

Spitznagel

Garlan

. Architecture-based performance analysis. In: proceedings of the tenth international conference on software engineering and knowledge engineering, San Francisco Bay, USA, 1998, pp.146–151.

13.

Fukuzawa

Saeki

. Evaluating Software Architecture by coloured Petri Nets. In: proceedings of 14th international conference on software engineering and knowledge engineering, Ischio, Italy, 2002, pp.263-270.

14.

Amyot

. Introduction to the user requirement notation: learning by example. Comput Network2003; 42: 285-301.

15.

Buhr

. Making behaviour a concrete architectural concept. In proceedings of the 32nd Hawaii international conference on system sciences, Island of Maui, Hawaii, 1999, pp.1-5.

16.

Amyot

Mussbacher

. User requirements notation: the first ten years, the next ten years. J Software2011; 6: 747-768.

17.

Zeigler

Praehofer

Kim

. Theory of modeling and simulation–integrating discrete event and continuous complex dynamic systems. 2nd ed. San Diego, CA: Academic Press, 2000.

18.

Bogado

Gonnet

Leone

. An approach based on DEVS for evaluating quality attributes. In: proceedings of the XXIX international conference of Chilean Computer Science Society, Antofagasta, Chile, 2010, pp.110–118.

19.

Bogado

Gonnet

Leone

. A discrete event simulation model for the analysis of software quality attributes. CLEI Electron J2011; 14: paper 3, http://www.clei.cl/cleiej/paper.php?id=225 (accessed 3 November 2013).

20.

Lyu

. Software reliability engineering: a roadmap. In: proceedings of the conference of future of software engineering, Minneapolis, USA, 2007, pp.153–170.

21.

Singh

Tripathi

Vinod

. Software reliability early prediction in architectural design phase: overview and limitations. J Software Eng Appl2011; 4: 181–186.

22.

Christensen

Hansen

. An empirical investigation of architectural prototyping. J Syst Software2010; 83: 133–142.

23.

Galster

Eberlein

Moussavi

. Early assessment of software architecture qualities. In: proceedings of the 2nd international conference on research challenges in information science, Marrakech, Morocco, 2008, pp.81–86.

24.

Diaz-Pace

Kim

Bass

. Integrating quality-attribute reasoning frameworks in the ArchE design assistant. In: proceedings of the 4th international conference on quality of software-architectures: models and architectures, Karlsruhe, Germany, 2008, pp.171–188.

25.

Bachmann

Bass

Klein

. Experience using an expert system to assist an architect in designing for modifiability. In: proceedings of the fourth working IEEE/IFIP conference on software architecture, Oslo, Norway, 2004, pp.281–284.

26.

Petriu

Woodside

. Software performance models from system scenarios in use case maps. In: proceedings of the 12th international conference on computer performance evaluation, modelling techniques and tools, 2002, pp.141–158.

27.

Luckham

Vera

. An event-based architecture definition language. IEEE Trans Software Eng1995; 21: 717-734.

28.

Ntaimo

Sun

. DEVS-FIRE: Towards an integrated simulation environment for surface wildfire spread and containment. Simulation2008; 84: 137–156.

29.

Byon

Pérez

Ding

. Simulation of wind farm maintenance operations using DEVS. Simulation2011; 87: 1091–1115.

30.

Ferayorni

Sarjoughian

. Domain driven simulation modeling for software design. In: proceedings of the 2007 summer computer simulation conference, San Diego, USA, 2007, pp.113–121.

31.

Wirfs-Brock

McKean

. Object design: roles, responsibilities and collaborations. Boston, MA: Addison-Wesley, 2002.

32.

Zeigler

Sarjoughian

. Introduction to DEVS modeling and simulation with JAVA: developing component-based simulation models. Lecture, University of Arizona, USA, 2005.

33.

Verbraeck

Valentin

. Design guidelines for simulation building blocks. In: proceedings of the 2008 winter simulation conference, Miami, USA, 2008, pp.923–932.

34.

Scott

Kazman

. Realizing and refining architectural tactics: availability. Technical Report CMU/SEI-2009-TR-006. SEI, Carnegie Mellon University, USA, http://repository.cmu.edu/sei/50 (2009, accessed 3 November 2013).

35.

Musa

. Operational profiles in software-reliability engineering. IEEE Software1993; 10: 14–32.

36.

Diaz

. Petri nets: fundamental models, verification and applications. London, UK: ISTE-Wiley, 2009.

37.

Kleppe

Warmer

Bast

. MDA explained: the model driven architecture- practice and promise. Boston, MA: Addison-Wesley, 2003.

38.

Mittal

de la Cruz

Risco-Martín

. eUDEVS: executable UML with DEVS theory of modeling and simulation. Simulation2009; 85: 750–777.

39.

Cetinkaya

Verbraeck

Seck

. MDD4MS: a model driven development framework for modeling and simulation. In: proceedings of the 2011 summer computer simulation conference, The Hague, Netherlands, 2011, pp.113–121.

40.

Sarjoughian

Mahmoodi Markid

. EMF-DEVS modeling. In: proceedings of the 2012 symposium on theory of modeling and simulation - DEVS integrative M&S symposium, Orlando, USA, 2012, Issue 19.