Domain-specific discrete event modelling and simulation using graph transformation-Reference-Cited by-同舟云学术

Domain-specific discrete event modelling and simulation using graph transformation

Published:2012-03-28 Issue:1 Volume:13 Page:209-238
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

de Lara Juan,Guerra Esther,Boronat Artur,Heckel Reiko,Torrini Paolo

Publisher

Springer Science and Business Media LLC

Subject

Modelling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-012-0242-3.pdf

Reference47 articles.

1. AnyLogic. http://www.xjtek.com/

2. Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: GReAT. ECEASST, 1, 2006. http://www.isis.vanderbilt.edu/tools/GReAT

3. Bohl M., Rynn M.: Tools for Structured and Object-Oriented Design, 7th edn. Prentice Hall, Upper Saddle River (2007)

4. Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: FASE’09. LNCS, vol. 5503, pp. 18–33. Springer, Berlin (2009)

5. Boronat A., Meseguer J.: An algebraic semantics for MOF. Formal Asp. Comput. 22, 269–296 (2010)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic;Journal of Logical and Algebraic Methods in Programming;2024-02

2. Innovating Smart Buildings and Cities Through Agent-Based Modeling, Discrete Event Simulation and Sensor-Based Data Analytics;2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS);2023-09-07

3. Simulating the Enhanced Value-Capturing by Using Digitalization in Monetary and Non-monetary Collaborative Networks;Collaborative Networks in Digitalization and Society 5.0;2023

4. Compositional Analysis of Probabilistic Timed Graph Transformation Systems;Formal Aspects of Computing;2022-11-30

5. Simulating Impact of Smart Product-Service Systems;IFIP Advances in Information and Communication Technology;2021