research-article

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

Authors:

María Julia Blas,

Horacio LeoneAuthors Info & Claims

WSC '17: Proceedings of the 2017 Winter Simulation Conference

Article No.: 54, Pages 1 - 12

Published: 03 December 2017 Publication History

Abstract

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.

References

[1]

ACIMS (Arizona Center for Integrative Modeling and Simulation). 2005. DEVSJAVA. http://acims.asu.edu/software/devsjava/.

[2]

ACIMS (Arizona Center for Integrative Modeling and Simulation). 2009. DEVS-Suite. http://acims.asu.edu/software/devs-suite/.

[3]

Artzi, S., A. Kiezun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. D. Ernst. 2010. "Finding Bugs in Web Applications using Dynamic Test Generation and Explicit-State Model Checking". IEEE Transactions on Software Engineering 36(4):474--494.

Digital Library

[4]

Barros, F. 1995. "Dynamic Structure Discrete Event System Specification: A New Formalism for Dynamic Structure Modeling and Simulation". In Proceedings of the 1995 Winter Simulation Conference, edited by C. Alexopoulos, K. Kang, W. R. Lilegdon, and D. Goldsman, 781--785. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[5]

Bass L., P. Clements, and R. Kazman. 2012. Software Architecture in Practice. Massachusetts: Addison-Wesley Professional.

Digital Library

[6]

Bergero, F., and E. Kofman. 2014. "A Vectorial DEVS Extension for Large Scale System Modeling and Parallel Simulation". Simulation 90(5):522--546.

Digital Library

[7]

Blas, M. J., S. Gonnet, and H. Leone. 2016a. "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". In Proceeding of the 2016 Argentine Symposium on Software Engineering included in the Argentine Conference on Informatics 135--146.

[8]

Blas, M. J., S. Gonnet, and H. Leone. 2016b. "Building Simulation Models to Evaluate Web Application Architectures". In Proceedings of the 2016 Latin American Symposium of Software Engineering included in the Latin American Computing Conference 647--657.

[9]

Blas, M. J., S. Gonnet, and H. Leone. 2017. "Modeling User Temporal Behaviors Using Hybrid Simulation Models". IEEE Latin America Transactions 15(2):341--348.

[10]

Bogado, V., S. Gonnet, and H. Leone. 2014. "Modeling and Simulation of Software Architecture in Discrete Event System Specification for Quality Evaluation". Simulation 90(3):290--319.

Digital Library

[11]

Bouanan, Y. M. Forestier, J. Ribault, G. Zacharewicz, B. Vallespir, and N. Moalla. 2015. "Simulating Information Diffusion in a Multidimensional Social Network using the DEVS Formalism". In Proceedings of the 2015 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium 63--68.

Digital Library

[12]

Breaux, T., and A. Rao. 2013. "Formal Analysis of Privacy Requirements Specifications for Multi-tier Applications". In Proceeding of the 2013 Requirements Engineering Conference 14--23.

[13]

Chow, A. C., and B. P. Zeigler. 1994. "Parallel DEVS: a Parallel, Hierarchical, Modular Modeling Formalism". In Proceedings of the 1994 Winter Simulation Conference, edited by J. D. Tew, S. Manivannan, D. A. Sadowski, and A. F. Seila, 716--722. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[14]

Gholami, S., H. S. Sarjoughian, G. W. Godding, D. R. Peters, and V. Chang. 2014. "Developing Composed Simulation and Optimization Models using Actual Supply-Demand Network Datasets". In Proceedings of the 2014 Winter Simulation Conference, edited by A. Tolk, S. Y. Diallo, I. O. Ryzhov, L. Yilmaz, S. Buckley, and J. A. Miller, 2510-2521. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[15]

Godding, G., H. Sarjoughian, and K. Kempf. 2003. "Semiconductor Supply Network Simulation". In Proceedings of the 2003 Winter Simulation Conference, edited by S. E. Chick, P. J. Sanchez, D. M. Ferrin, and D. J. Morrice, 1593--1601. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[16]

Hamri, M., N. Giambiasi, and C. Frydman. 2006. "Min-Max-DEVS Modeling and Simulation". Simulation Modelling Practice and Theory 14(7): 909--929.

[17]

Kim, K. H., T. G. Kim, and K. H. Park. 1998. "Hierarchical Partitioning Algorithm for Optimistic Distributed Simulation of DEVS Models". Journal of Systems Architecture 44(6):433--455.

Digital Library

[18]

Kim, Y. J., J. Y. Yang, Y. M. Kim, J. Lee, and C. Choi. 2016. "Modeling Behavior of Mobile Application Using Discrete Event System Formalism". In Proceeding of the 2016 Asian Simulation Conference 40--48.

[19]

Kossmann, D., T. Kraska, and S. Loesing. 2010. "An Evaluation of Alternative Architectures for Transaction Processing in the Cloud". In Proceedings of the 2010 International Conference on Management of Data 579--590.

Digital Library

[20]

Kwon, Y., H. Park, S. Jung, and T. Kim. 1996. "Fuzzy-DEVS Formalism: Concepts, Realization and Application". In Proceedings of the 1996 Conference on Artificial Intelligence, Simulation and Planning In High Autonomy Systems 227--234.

[21]

Li, G., E. Andreasen, and I. Ghosh. 2014. "SymJS: Automatic Symbolic Testing of JavaScript Web Applications". In Proceedings of the 2014 International Symposium on Foundations of Software Engineering 449--459.

Digital Library

[22]

Li Z., P. Liang, and P. Avgeriou. 2013. "Application of Knowledge-based Approaches in Software Architecture: A Systematic Mapping Study". Information and Software Technology 55(5):777--794.

Digital Library

[23]

Liu Q. 2010. "Algorithms for Parallel Simulation of Large-Scale DEVS and Cell-DEVS Models". Ph.D. thesis, Systems and Computer Engineering Department, Carleton University, Ottawa. http://cell-devs.sce.carleton.ca/publications/2010/Liu10/Algorithms.pdf.

Digital Library

[24]

Liu, Q., and G. Wainer. 2010. "Accelerating Large-Scale DEVS-based Simulation on the Cell Processor". In Proceedings of the 2010 Symposium on Theory of Modeling and Simulation: DEVS Integrative M&S Symposium 191--198.

Digital Library

[25]

Mell, P. and T. Grance. 2011. The NIST definition of cloud computing. http://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-145.pdf.

Digital Library

[26]

Muzy, A., and J. Nutaro. 2005. "Algorithms for efficient implementations of the DEVS & DSDEVS abstract simulators". In Proceeding of the 2005 Open International Conference on Modeling & Simulation 273--279.

[27]

Nguyen, H., C. Kästner, and T. Nguyen. 2014. "Exploring Variability-Aware Execution for Testing Plugin-based Web Applications". In Proceedings of the 2014 International Conference on Software Engineering 907--918.

Digital Library

[28]

Risco-Martín, J. L., S. Mittal, J. C. Fabero, P. Malagón, and J. L. Ayala. 2016. "Real-time Hardware/Software co-design using Devs-Based Transparent M&S Framework". In Proceedings of the 2016 Summer Computer Simulation Conference 45--52.

Digital Library

[29]

Roldán M. L., S. Gonnet, and H. Leone. 2013. "Knowledge Representation of the Software Architecture Design Process based on Situation Calculus". Experts Systems 30(1):34--53.

Digital Library

[30]

Shang, H., and G. Wainer. 2006. "A Simulation Algorithm for Dynamic Structure DEVS Modeling". In Proceedings of the 2006 Winter Simulation Conference, edited by L. F. Perrone, F. P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, and R. M. Fujimoto, 815--822. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[31]

Valderas, P., and V. Pelechano. 2011. "A Survey of Requirements Specification in Model-Driven Development of Web Applications". ACM Transactions on the Web 5(2):10--61.

Digital Library

[32]

Wainer, G. 2004. "Modeling and Simulation of Complex Systems with Cell-DEVS". In Proceedings of the 2004 Winter Simulation Conference, edited by R.G. Ingalls, M. D. Rossetti, J. S. Smith and B. A. Peters, 45--56. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[33]

Wainer G., and P. Mosterman. 2010. Discrete-Event Modeling and Simulation: Theory and Applications. Florida: CRC Press. Taylor and Francis.

[34]

Wallis, M., F. Henskens, and M. Hannaford. 2010. "Expanding the Cloud: A Component-based Architecture to Application Deployment on the Internet". In Proceedings of the 2010 International Conference on Cluster, Cloud and Grid Computing 569--570.

Digital Library

[35]

Zeigler, B. P. 1976. Theory of Modelling and Simulation. New York: John Wiley and Sons, Inc.

Digital Library

[36]

Zeigler, B. P., H. Praehofer, and T. G. Kim. 2000. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. 2nd ed. London: Academic Press.

Digital Library

[37]

Zhang, Qi, L. Cheng, and R. Boutaba. 2010. "Cloud Computing: State-of-the-Art and Research Challenges". Journal of Internet Services and Applications 1(1):7--18.

Cited By

Blas MGonnet SLeone HZeigler BJohansson BJain S(2018)A conceptual framework to classify the extensions of DEVS formalism as variants and subclassesProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320593(560-571)Online publication date: 9-Dec-2018
https://dl.acm.org/doi/10.5555/3320516.3320593

Recommendations

Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation
WSC '95: Proceedings of the 27th conference on Winter simulation

Traditional simulation methodologies do not support changes in model structure during a simulation run. Current methodologies support only changes in model descriptive variables. Changes in structure are thus forced to be represented at the simple ...
Transforming classic Discrete Event System Specification models to Specification and Description Language

Discrete Event System Specification DEVS is one of the main widely used formal languages to represent simulation models, while Specification and Description Language SDL is a graphical ITU-T standard language, commonly used in telecommunication and ...
Discrete event system specification modeling and simulation
WSC '18: Proceedings of the 2018 Winter Simulation Conference

Discrete Event System Specification (DEVS) is a popular formalism for modeling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence of pertinent "events" input to a system (or internal timeouts) cause ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

WSC '17: Proceedings of the 2017 Winter Simulation Conference

December 2017

4389 pages

ISBN:9781538634271

Sponsors

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

IEEE Press

Publication History

Published: 03 December 2017

Check for updates

Qualifiers

Research-article

Conference

WSC '17

Sponsor:

SIGSIM

WSC '17: Winter Simulation Conference

December 3 - 6, 2017

Nevada, Las Vegas

Acceptance Rates

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
19
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Blas MGonnet SLeone HZeigler BJohansson BJain S(2018)A conceptual framework to classify the extensions of DEVS formalism as variants and subclassesProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320593(560-571)Online publication date: 9-Dec-2018
https://dl.acm.org/doi/10.5555/3320516.3320593

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents