Skip to content

Commit

Permalink
Add resource modeling example
Browse files Browse the repository at this point in the history
  • Loading branch information
@rudi
rudi committed Aug 26, 2024
1 parent 24e2369 commit d519df2
Show file tree
Hide file tree
Showing 36 changed files with 1,157 additions and 622 deletions.
24 changes: 12 additions & 12 deletions 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
<head>
<meta charset="utf-8">
<meta name="viewport" content="height=device-height, width=device-width, initial-scale=1.0, minimum-scale=1.0">
<meta name="generator" content="Hugo 0.132.0">
<meta name="generator" content="Hugo 0.133.0">
<meta name="generator" content="Relearn 6.0.0+tip">
<meta name="description" content="">
<meta name="author" content="">
Expand All @@ -17,17 +17,17 @@
<meta itemprop="name" content="404 Page not found :: The ABS Modeling Language">
<title>404 Page not found :: The ABS Modeling Language</title>
<base href="https://abs-models.org/">
<link href="/css/fontawesome-all.min.css?1723553435" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fontawesome-all.min.css?1723553435" rel="stylesheet"></noscript>
<link href="/css/nucleus.css?1723553435" rel="stylesheet">
<link href="/css/auto-complete.css?1723553435" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/auto-complete.css?1723553435" rel="stylesheet"></noscript>
<link href="/css/perfect-scrollbar.min.css?1723553435" rel="stylesheet">
<link href="/css/fonts.css?1723553435" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fonts.css?1723553435" rel="stylesheet"></noscript>
<link href="/css/theme.css?1723553435" rel="stylesheet">
<link href="/css/theme-abs.css?1723553435" rel="stylesheet" id="R-variant-style">
<link href="/css/chroma-relearn-light.css?1723553435" rel="stylesheet" id="R-variant-chroma-style">
<link href="/css/variant.css?1723553435" rel="stylesheet">
<link href="/css/print.css?1723553435" rel="stylesheet" media="print">
<script src="/js/variant.js?1723553435"></script>
<link href="/css/fontawesome-all.min.css?1724684476" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fontawesome-all.min.css?1724684476" rel="stylesheet"></noscript>
<link href="/css/nucleus.css?1724684476" rel="stylesheet">
<link href="/css/auto-complete.css?1724684476" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/auto-complete.css?1724684476" rel="stylesheet"></noscript>
<link href="/css/perfect-scrollbar.min.css?1724684476" rel="stylesheet">
<link href="/css/fonts.css?1724684476" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fonts.css?1724684476" rel="stylesheet"></noscript>
<link href="/css/theme.css?1724684476" rel="stylesheet">
<link href="/css/theme-abs.css?1724684476" rel="stylesheet" id="R-variant-style">
<link href="/css/chroma-relearn-light.css?1724684476" rel="stylesheet" id="R-variant-chroma-style">
<link href="/css/variant.css?1724684476" rel="stylesheet">
<link href="/css/print.css?1724684476" rel="stylesheet" media="print">
<script src="/js/variant.js?1724684476"></script>
<script>
window.relearn = window.relearn || {};
window.relearn.relBasePath='.';
Expand Down
53 changes: 27 additions & 26 deletions acknowledgments/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
<head>
<meta charset="utf-8">
<meta name="viewport" content="height=device-height, width=device-width, initial-scale=1.0, minimum-scale=1.0">
<meta name="generator" content="Hugo 0.132.0">
<meta name="generator" content="Hugo 0.133.0">
<meta name="generator" content="Relearn 6.0.0+tip">
<meta name="description" content="Projects The development of the ABS language and tools has been supported by a number of research projects supported by the European Commission and the Research Council of Norway:
HATS: Highly Adaptive and Trustworthy Software using Formal Methods Envisage: Engineering Virtualized Services HyVar: Scalable Hybrid Variability SIRIUS: Enabling digitalization in and beyond the oil and gas industry Contributors The following people have contributed to the ABS language and tools so far:">
Expand All @@ -27,17 +27,17 @@
<meta itemprop="wordCount" content="173">
<title>Acknowledgments :: The ABS Modeling Language</title>
<link href="/acknowledgments/index.xml" rel="alternate" type="application/rss+xml" title="Acknowledgments :: The ABS Modeling Language">
<link href="/css/fontawesome-all.min.css?1723553435" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fontawesome-all.min.css?1723553435" rel="stylesheet"></noscript>
<link href="/css/nucleus.css?1723553435" rel="stylesheet">
<link href="/css/auto-complete.css?1723553435" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/auto-complete.css?1723553435" rel="stylesheet"></noscript>
<link href="/css/perfect-scrollbar.min.css?1723553435" rel="stylesheet">
<link href="/css/fonts.css?1723553435" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fonts.css?1723553435" rel="stylesheet"></noscript>
<link href="/css/theme.css?1723553435" rel="stylesheet">
<link href="/css/theme-abs.css?1723553435" rel="stylesheet" id="R-variant-style">
<link href="/css/chroma-relearn-light.css?1723553435" rel="stylesheet" id="R-variant-chroma-style">
<link href="/css/variant.css?1723553435" rel="stylesheet">
<link href="/css/print.css?1723553435" rel="stylesheet" media="print">
<script src="/js/variant.js?1723553435"></script>
<link href="/css/fontawesome-all.min.css?1724684476" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fontawesome-all.min.css?1724684476" rel="stylesheet"></noscript>
<link href="/css/nucleus.css?1724684476" rel="stylesheet">
<link href="/css/auto-complete.css?1724684476" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/auto-complete.css?1724684476" rel="stylesheet"></noscript>
<link href="/css/perfect-scrollbar.min.css?1724684476" rel="stylesheet">
<link href="/css/fonts.css?1724684476" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/css/fonts.css?1724684476" rel="stylesheet"></noscript>
<link href="/css/theme.css?1724684476" rel="stylesheet">
<link href="/css/theme-abs.css?1724684476" rel="stylesheet" id="R-variant-style">
<link href="/css/chroma-relearn-light.css?1724684476" rel="stylesheet" id="R-variant-chroma-style">
<link href="/css/variant.css?1724684476" rel="stylesheet">
<link href="/css/print.css?1724684476" rel="stylesheet" media="print">
<script src="/js/variant.js?1724684476"></script>
<script>
window.relearn = window.relearn || {};
window.relearn.relBasePath='..';
Expand Down Expand Up @@ -109,11 +109,11 @@ <h1 id="acknowledgments">Acknowledgments</h1>

<h2 id="projects">Projects</h2>
<p>The development of the ABS language and tools has been supported by a number of research projects supported by the European Commission and the Research Council of Norway:</p>
<p><a href="#R-image-2a4ea4b1ece31c6a1e5aab53e5926818" class="lightbox-link"><img alt="HATS" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-2a4ea4b1ece31c6a1e5aab53e5926818"><img alt="HATS" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc"></a><a href="#R-image-ecfb80dd6b83e98da3c6f252bfaa993f" class="lightbox-link"><img alt="Envisage" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-ecfb80dd6b83e98da3c6f252bfaa993f"><img alt="Envisage" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc"></a><a href="#R-image-60a9fbc5ed886280e428e1a1b33e527c" class="lightbox-link"><img alt="HyVar" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-60a9fbc5ed886280e428e1a1b33e527c"><img alt="HyVar" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc"></a><a href="#R-image-e76e82c9ffb182f222129466ff2e09ed" class="lightbox-link"><img alt="Sirius" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/sirius-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-e76e82c9ffb182f222129466ff2e09ed"><img alt="Sirius" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/sirius-logo.png?width=5pc"></a></p>
<p><a href="#R-image-ab6ae07a2d53e3a9329afe6356124b61" class="lightbox-link"><img alt="HATS" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-ab6ae07a2d53e3a9329afe6356124b61"><img alt="HATS" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc"></a><a href="#R-image-befd02d82bc279a2d3472196a14a8e86" class="lightbox-link"><img alt="Envisage" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-befd02d82bc279a2d3472196a14a8e86"><img alt="Envisage" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc"></a><a href="#R-image-7804613478f55e620e32b9d0b6ef1459" class="lightbox-link"><img alt="HyVar" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-7804613478f55e620e32b9d0b6ef1459"><img alt="HyVar" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc"></a><a href="#R-image-38c8ec08433235595ff979d050187f43" class="lightbox-link"><img alt="Sirius" class="noborder lazy lightbox noshadow figure-image" loading="lazy" src="/images/sirius-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
<a href="javascript:history.back();" class="lightbox-back" id="R-image-38c8ec08433235595ff979d050187f43"><img alt="Sirius" class="noborder lazy lightbox noshadow lightbox-image" loading="lazy" src="/images/sirius-logo.png?width=5pc"></a></p>
<ul>
<li><a href="https://web.archive.org/web/20181127101833/http://www.hats-project.eu/" rel="external" target="_blank">HATS</a>: Highly Adaptive and Trustworthy Software using Formal Methods</li>
<li><a href="http://envisage-project.eu" rel="external" target="_blank">Envisage</a>: Engineering Virtualized Services</li>
Expand Down Expand Up @@ -199,12 +199,12 @@ <h2 id="contributors">Contributors</h2>
<script>
var contentLangs=['en'];
</script>
<script src="/js/auto-complete.js?1723553435" defer></script>
<script src="/js/lunr/lunr.min.js?1723553435" defer></script>
<script src="/js/lunr/lunr.stemmer.support.min.js?1723553435" defer></script>
<script src="/js/lunr/lunr.multi.min.js?1723553435" defer></script>
<script src="/js/lunr/lunr.en.min.js?1723553435" defer></script>
<script src="/js/search.js?1723553435" defer></script>
<script src="/js/auto-complete.js?1724684476" defer></script>
<script src="/js/lunr/lunr.min.js?1724684476" defer></script>
<script src="/js/lunr/lunr.stemmer.support.min.js?1724684476" defer></script>
<script src="/js/lunr/lunr.multi.min.js?1724684476" defer></script>
<script src="/js/lunr/lunr.en.min.js?1724684476" defer></script>
<script src="/js/search.js?1724684476" defer></script>
</div>
<div id="R-homelinks" class="default-animation homelinks">
<ul>
Expand All @@ -226,6 +226,7 @@ <h2 id="contributors">Contributors</h2>
<li data-nav-id="/documentation/examples/time-and-date/index.html" class=""><a class="padding" href="/documentation/examples/time-and-date/index.html">Modeling and Visualizing Calendar Time</a></li>
<li data-nav-id="/documentation/examples/gis-modeling/index.html" class=""><a class="padding" href="/documentation/examples/gis-modeling/index.html">Displaying geo-annotated information</a></li>
<li data-nav-id="/documentation/examples/single-watertank/index.html" class=""><a class="padding" href="/documentation/examples/single-watertank/index.html">Modeling and Visualizing A Water Tank Controller</a></li>
<li data-nav-id="/documentation/examples/resource-modeling/index.html" class=""><a class="padding" href="/documentation/examples/resource-modeling/index.html">Modeling Resources</a></li>
<li data-nav-id="/documentation/examples/multicore_memory/index.html" class=""><a class="padding" href="/documentation/examples/multicore_memory/index.html">ABS Model of a Multicore Memory System</a></li></ul></li>
<li data-nav-id="/documentation/tutorials/index.html" class="alwaysopen"><a class="padding" href="/documentation/tutorials/index.html">Tutorials</a><ul id="R-subsections-7d2dfc594c432b3a82a4e4b9e2508b2d" class="morespace collapsible-menu">
<li data-nav-id="/documentation/tutorials/language-tutorial/index.html" class=""><a class="padding" href="/documentation/tutorials/language-tutorial/index.html">Language Tutorial</a></li>
Expand Down Expand Up @@ -291,9 +292,9 @@ <h2 id="contributors">Contributors</h2>
</div>
</div>
</aside>
<script src="/js/clipboard.min.js?1723553435" defer></script>
<script src="/js/perfect-scrollbar.min.js?1723553435" defer></script>
<script src="/js/theme.js?1723553435" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
<script src="/js/clipboard.min.js?1724684476" defer></script>
<script src="/js/perfect-scrollbar.min.js?1724684476" defer></script>
<script src="/js/theme.js?1724684476" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>


Expand Down
Loading

0 comments on commit d519df2

Please sign in to comment.