Filters








5 Hits in 1.7 sec

Unfolding Symbolic Attributed Graph Grammars [chapter]

Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Attributed graph grammars can specify the transformation of complex data and object structures within a natural rule-based model of concurrency. This is crucial to their use in modelling interfaces of services and components as well as the evolution of complex systems and networks. However, the established concurrent semantics of graph grammars by unfolding does not cover attributed grammars. We develop a theory of unfolding for attributed graph grammars where attribution is represented
more &raquo; ... ally, via logical constraints. We establish a functorial representation (a coreflection) of unfolding which guarantees it to be correct, complete and fully abstract. As a case study and running example we demonstrate the use of visual contracts to specify an escrow smart contract.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-51372-6_5">doi:10.1007/978-3-030-51372-6_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pkd62ye2y5habosnl7tfg47qru">fatcat:pkd62ye2y5habosnl7tfg47qru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905160040/https://link.springer.com/content/pdf/10.1007%2F978-3-030-51372-6_5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/bf/0abf63957eb1f6a5b2a8710663babc4fd7b72afe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-51372-6_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3 [article]

Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel
<span title="2020-03-24">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In the semantics of stochastic rewriting systems (SRSs) based on rule algebras, the evolution equations for average expected pattern counts are computed via so-called commutators counting the distinct sequential compositions of rules and observable patterns regarded as identity rules. In this paper, we consider the commutators for conditional SRS in the Sesqui-Pushout (SqPO) approach. However, graphs are often subject to constraints. To minimise the construction of spurious compositions
more &raquo; ... ed by such constraints, we develop strategies for computing rule composition, both theoretically and using the SMT solver Z3 with its Python interface. Our two equivalent solutions for checking constraints include a straightforward generate-and-test approach based on forbidden graph patterns and a modular solution, where the patterns are decomposed as pushouts of monic spans into forbidden relation patterns. The implementation is based on a framework that allows a direct and modular representation of the categorical and logical theory in Python/Z3. For an example of SqPO rewriting of rigid multigraphs modelling polymer formation in organic chemistry, we assess and compare the performance of the two strategies.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2003.11010v1">arXiv:2003.11010v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o2fryscznrcepot3fcc4iiyoje">fatcat:o2fryscznrcepot3fcc4iiyoje</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200326054727/https://arxiv.org/pdf/2003.11010v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2003.11010v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques

Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
<span title="2019-12-19">2019</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of native and translation-based techniques in this area, we explore design choices for the latter, s.a. choice of logic and encoding method, which have a considerable impact on the overall quality and complexity of the analysis. We substantiate our arguments by
more &raquo; ... iting literature on application of theorem provers, model checkers, and SAT/SMT solver in GTSs, and conclude with a general discussion from a software engineering perspective, including comments from the workshop participants, and recommendations on how to investigate important design choices in the future.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.309.1">doi:10.4204/eptcs.309.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2n6leydcevejpdnolo7x4rgqtm">fatcat:2n6leydcevejpdnolo7x4rgqtm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200425002254/https://arxiv.org/pdf/1912.09607v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d3/53/d3535b493bf3499928844376fc02a792c16e7d30.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.309.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Note of Thanks

. .
<span title="">2011</span> <i title="Tehran University of Medical Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3s2cfarrgzg3nk5bq46trjhk3i" style="color: black;">Journal of Tehran University Heart Center</a> </i> &nbsp;
Maryam Esmaeilzadeh 30. Homa Falsoleiman 31. Mohammad Farahbakhsh 32. Saeedeh Forghani 33. Armen Gasparyan 34. Samad Ghaffari 35. Hossein Ghanaati 36. Abbas Ghiasi 37.  ...  Maryam Sotoudeh Anvari  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://doaj.org/article/e51772f3d61042b5959da2e5c5b187f7">doaj:e51772f3d61042b5959da2e5c5b187f7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fxvgaqlskfhzhorjzzf7k3rfxi">fatcat:fxvgaqlskfhzhorjzzf7k3rfxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180411155932/http://jthc.tums.ac.ir/index.php/jthc/article/download/220/218" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/34/00/3400ad3104dde65aa3f24758c9cb1a93a84ea43a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

"Double strangers" purity and danger among Iranian immigrant women

Azam Naghavi
<span title="2017-02-23">2017</span>
Maryam ( other activities (as discussed in chapter 3).  ...  Maryam (40, AC), a PhD student, used to wear her hijab in Melbourne.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4225/03/58ae637bac2ff">doi:10.4225/03/58ae637bac2ff</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/63finz45anb7lf6lbbchrrszpe">fatcat:63finz45anb7lf6lbbchrrszpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200224215841/https://au-east.erc.monash.edu.au/fpfiles/16443473/4684384_monash_120781.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/7c/977cf641a651f60adf96a523d50729c4dee1bfb1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4225/03/58ae637bac2ff"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>