Routing structure over discrete event system specification: A DEVS adaptation to develop smart routing in simulation models

The Discrete Event System Specification (DEVS) formalism has become an engine for advances in modeling and simulation technology. Many extensions of the DEVS formalism have been developed across the years in order to solve different types of situations. However, when the acceptance of input events and the generation of output events are related to model capabilities, the current formalisms come up with complex modeling solutions. This paper presents a new simulation formalism called Routed DEVS (RDEVS) in which routing information is used to manage directed events. The behavior supported by the new formalism is useful to create simulation models of web application architectures. However, it could also be applied to other contexts. The RDEVS formalism is based on DEVS and is closure under coupling (i.e. models can be built hierarchically). The formal specification of RDEVS formalism and a briefly description of its framework implementation are presented in this work.

[1]  Peng Liang,et al.  Application of knowledge-based approaches in software architecture: A systematic mapping study , 2013, Inf. Softw. Technol..

[2]  K. G. Kempf,et al.  Semiconductor supply network simulation , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[3]  Federico Bergero,et al.  A vectorial DEVS extension for large scale system modeling and parallel simulation , 2014, Simul..

[4]  Ashwini Rao,et al.  Formal analysis of privacy requirements specifications for multi-tier applications , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[5]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[6]  Norbert Giambiasi,et al.  Min-Max-DEVS modeling and simulation , 2006, Simul. Model. Pract. Theory.

[7]  Wan Kwon,et al.  Fuzzy-DEVS Formalism : Concepts , Realization and ApplicationsYi , 2007 .

[8]  Kyu Ho Park,et al.  Hierarchical partitioning algorithm for optimistic distributed simulation of DEVS models , 1998, J. Syst. Archit..

[9]  Horacio P. Leone,et al.  Modeling and simulation of software architecture in discrete event system specification for quality evaluation , 2014, Simul..

[10]  Frank Tip,et al.  Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking , 2010, IEEE Transactions on Software Engineering.

[11]  Hung Viet Nguyen,et al.  Exploring variability-aware execution for testing plugin-based web applications , 2014, ICSE.

[12]  Young Min Kim,et al.  Modeling Behavior of Mobile Application Using Discrete Event System Formalism , 2015, AsiaSim 2015.

[13]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[14]  Frans A. Henskens,et al.  Expanding the Cloud: A Component-Based Architecture to Application Deployment on the Internet , 2010, 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing.

[15]  María Julia Blas,et al.  Building simulation models to evaluate web application architectures , 2016, 2016 XLII Latin American Computing Conference (CLEI).

[16]  Silvio Gonnet,et al.  Modeling User Temporal Behaviors Using Hybrid Simulation Models , 2017, IEEE Latin America Transactions.

[17]  Horacio P. Leone,et al.  Especificación de la calidad en software-as-a-service: definición de un esquema de calidad basado en el estándar ISO/IEC 25010 , 2016 .

[18]  Guodong Li,et al.  SymJS: automatic symbolic testing of JavaScript web applications , 2014, SIGSOFT FSE.

[19]  José Luis Risco-Martín,et al.  Real-time hardware/software co-design using devs-based transparent M&S framework , 2016, SummerSim.

[20]  Gabriel A. Wainer,et al.  Discrete-Event Modeling and Simulation : Theory and Applications , 2010 .

[21]  Tim Kraska,et al.  An evaluation of alternative architectures for transaction processing in the cloud , 2010, SIGMOD Conference.

[22]  F. Barros.  Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, Winter Simulation Conference Proceedings, 1995..

[23]  Horacio P. Leone,et al.  Knowledge representation of the software architecture design process based on situation calculus , 2013, Expert Syst. J. Knowl. Eng..

[24]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[25]  Néjib Moalla,et al.  Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP) , 2015, SpringSim.

[26]  Gabriel A. Wainer,et al.  Accelerating large-scale DEVS-based simulation on the cell processor , 2010, SpringSim.

[27]  Hessam S. Sarjoughian,et al.  Developing composed simulation and optimization models using actual supply-demand network datasets , 2014, Proceedings of the Winter Simulation Conference 2014.