PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis and the characteristics of a high-level rule-based programming language. Furthermore, we provide tool support for performing discrete-event simulations of models written in PMaude, and for statistically analyzing various quantitative aspects of such models based on the samples that are generated through discrete-event simulation. Because distributed and concurrent communication protocols can be modelled using actors (concurrent objects with asynchronous message passing), we provide an actor PMaude module. The module aids writing specifications in a probabilistic actor formalism. This allows us to easily write specifications that are purely probabilistic – and not just non-deterministic. The absence of such (un-quantified) non-determinism in a probabilistic system is necessary for a form of statistical analysis that we also discuss. Specifically, we introduce a query language called Quantitative Temporal Expressions (or QuaTEx in short), to query various quantitative aspects of a probabilistic model. We also describe a statistical technique to evaluate QuaTEx expressions for a probabilistic model

References in zbMATH (referenced in 31 articles )

Showing results 1 to 20 of 31.
Sorted by year (citations)

1 2 next

  1. Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra: Actor-based model checking for software-defined networks (2021)
  2. Durán, Francisco; Rocha, Camilo; Salaün, Gwen: Resource provisioning strategies for BPMN processes: specification and analysis using Maude (2021)
  3. Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn: Programming and symbolic computation in Maude (2020)
  4. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  5. Liu, Si; Ölveczky, Peter Csaba; Wang, Qi; Gupta, Indranil; Meseguer, José: Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (2019)
  6. Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek: On the accuracy of formal verification of selective defenses for TDoS attacks (2018)
  7. Maximova, Maria; Giese, Holger; Krause, Christian: Probabilistic timed graph transformation systems (2018)
  8. Liu, Si; Ölveczky, Peter Csaba; Meseguer, José: Modeling and analyzing mobile ad hoc networks in Real-Time Maude (2016)
  9. Elleuch, Maissa; Hasan, Osman; Tahar, Sofiène; Abid, Mohamed: Formal probabilistic analysis of detection properties in wireless sensor networks (2015)
  10. Liu, Si; Ölveczky, Peter Csaba; Meseguer, José: Formal analysis of leader election in MANETs using Real-Time Maude (2015)
  11. Martí-Oliet, Narciso; Ölveczky, Peter Csaba; Talcott, Carolyn: José Meseguer: scientist and friend extraordinaire (2015)
  12. Belzner, Lenz; De Nicola, Rocco; Vandin, Andrea; Wirsing, Martin: Reasoning (on) service component ensembles in rewriting logic (2014) ioport
  13. Nakajima, Shin: Everlasting challenges with the OBJ language family (2014) ioport
  14. Bentea, Lucian; Ölveczky, Peter Csaba: A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing (2013)
  15. Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin: Statistical model checking for composite actor systems (2013)
  16. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2013)
  17. Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie: Monitor-based statistical model checking for weighted metric temporal logic (2012)
  18. Katelman, Michael; Keller, Sean; Meseguer, José: Rewriting semantics of production rule sets (2012)
  19. Krause, Christian; Giese, Holger: Probabilistic graph transformation systems (2012)
  20. Meseguer, José: Twenty years of rewriting logic (2012)

1 2 next