diff --git a/404.html b/404.html index a5e045a..d7878a4 100644 --- a/404.html +++ b/404.html @@ -3,7 +3,7 @@ - + @@ -17,17 +17,17 @@ 404 Page not found :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/acknowledgments/index.xml b/acknowledgments/index.xml index f12f91a..67e06c8 100644 --- a/acknowledgments/index.xml +++ b/acknowledgments/index.xml @@ -3,7 +3,7 @@ Acknowledgments :: The ABS Modeling Language https://abs-models.org/acknowledgments/index.html - 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: + 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: Hugo en-us diff --git a/categories/index.html b/categories/index.html index 067a9df..750a5fc 100644 --- a/categories/index.html +++ b/categories/index.html @@ -3,7 +3,7 @@ - + @@ -17,17 +17,17 @@ Categories :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/contact/index.html b/contact/index.html index 8137a4e..319a771 100644 --- a/contact/index.html +++ b/contact/index.html @@ -3,7 +3,7 @@ - + Contact :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/examples/gis-modeling/index.html b/documentation/examples/gis-modeling/index.html index 7a5aff2..8ac51d5 100644 --- a/documentation/examples/gis-modeling/index.html +++ b/documentation/examples/gis-modeling/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Displaying geo-annotated information :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/examples/index.html b/documentation/examples/index.html index f0dc6be..9e5efed 100644 --- a/documentation/examples/index.html +++ b/documentation/examples/index.html @@ -3,7 +3,7 @@ - + Examples :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/examples/monty-hall/index.html b/documentation/examples/monty-hall/index.html index a274508..e6d6883 100644 --- a/documentation/examples/monty-hall/index.html +++ b/documentation/examples/monty-hall/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ The Monty Hall Problem :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - diff --git a/documentation/examples/multicore_memory/index.html b/documentation/examples/multicore_memory/index.html index 6bd403e..99758ed 100644 --- a/documentation/examples/multicore_memory/index.html +++ b/documentation/examples/multicore_memory/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ ABS Model of a Multicore Memory System :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/examples/resource-modeling/index.html b/documentation/examples/resource-modeling/index.html index 9d57bd9..fe39b94 100644 --- a/documentation/examples/resource-modeling/index.html +++ b/documentation/examples/resource-modeling/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Modeling Resources :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/examples/single-watertank/index.html b/documentation/examples/single-watertank/index.html index b58de22..250a6e9 100644 --- a/documentation/examples/single-watertank/index.html +++ b/documentation/examples/single-watertank/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Modeling and Visualizing A Water Tank Controller :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/examples/time-and-date/index.html b/documentation/examples/time-and-date/index.html index 3f17762..c8c8a1c 100644 --- a/documentation/examples/time-and-date/index.html +++ b/documentation/examples/time-and-date/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Modeling and Visualizing Calendar Time :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/index.html b/documentation/index.html index 18a93b6..46e8529 100644 --- a/documentation/index.html +++ b/documentation/index.html @@ -3,7 +3,7 @@ - + Documentation :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/index.xml b/documentation/index.xml index 392de8a..fd85a9e 100644 --- a/documentation/index.xml +++ b/documentation/index.xml @@ -20,7 +20,7 @@ https://abs-models.org/documentation/tutorials/index.html Thu, 22 Mar 2018 12:21:52 +0100 https://abs-models.org/documentation/tutorials/index.html - This page features a list of tutorials for most tools that work with the ABS language. Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. + This page features a list of tutorials for most tools that work with the ABS language. Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example. \ No newline at end of file diff --git a/documentation/tutorials/costabs/index.html b/documentation/tutorials/costabs/index.html index 33b8bf4..3ed5887 100644 --- a/documentation/tutorials/costabs/index.html +++ b/documentation/tutorials/costabs/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Resource Analysis with CostABS :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/tutorials/index.html b/documentation/tutorials/index.html index 94fdab1..4ecc529 100644 --- a/documentation/tutorials/index.html +++ b/documentation/tutorials/index.html @@ -3,13 +3,13 @@ - + +Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example."> @@ -17,7 +17,7 @@ Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. -Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs."> +Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example."> @@ -25,7 +25,7 @@ Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. -Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs."> +Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example."> @@ -33,23 +33,23 @@ Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. -Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs."> +Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example."> Tutorials :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/tutorials/index.xml b/documentation/tutorials/index.xml index 0979781..e090f99 100644 --- a/documentation/tutorials/index.xml +++ b/documentation/tutorials/index.xml @@ -3,7 +3,7 @@ Tutorials :: The ABS Modeling Language https://abs-models.org/documentation/tutorials/index.html - This page features a list of tutorials for most tools that work with the ABS language. Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. + This page features a list of tutorials for most tools that work with the ABS language. Converted Tutorials Conversion from old tutorials is on-going and help is most welcome. Language TutorialThis tutorial gives an overview of the ABS language. Resource Modeling TutorialAn introduction to time and resource modeling in ABS. Resource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example. Hugo en-us Sun, 31 Mar 2019 00:00:00 +0000 diff --git a/documentation/tutorials/language-tutorial/index.html b/documentation/tutorials/language-tutorial/index.html index 3a44a9f..7cf183a 100644 --- a/documentation/tutorials/language-tutorial/index.html +++ b/documentation/tutorials/language-tutorial/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Language Tutorial :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/tutorials/mhp/index.html b/documentation/tutorials/mhp/index.html index 03f4541..8c59cff 100644 --- a/documentation/tutorials/mhp/index.html +++ b/documentation/tutorials/mhp/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ May-Happen-in-Parallel Analysis :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/tutorials/resources/index.html b/documentation/tutorials/resources/index.html index 9663ca4..5b1fc21 100644 --- a/documentation/tutorials/resources/index.html +++ b/documentation/tutorials/resources/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Resource Modeling Tutorial :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/documentation/tutorials/sra/index.html b/documentation/tutorials/sra/index.html index f44b6f2..54617d0 100644 --- a/documentation/tutorials/sra/index.html +++ b/documentation/tutorials/sra/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Resource Analysis with SRA :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/getting_started/docker/index.html b/getting_started/docker/index.html index db65e77..8be41d4 100644 --- a/getting_started/docker/index.html +++ b/getting_started/docker/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Running a Browser-Based IDE :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/getting_started/editor-support/index.html b/getting_started/editor-support/index.html index 75a1bf9..b28d4b2 100644 --- a/getting_started/editor-support/index.html +++ b/getting_started/editor-support/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Installing Editor Support :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/getting_started/index.html b/getting_started/index.html index 5e5a1fe..3548a7f 100644 --- a/getting_started/index.html +++ b/getting_started/index.html @@ -3,7 +3,7 @@ - + Getting Started :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/getting_started/local-install/index.html b/getting_started/local-install/index.html index 37e8c8e..1ac1caf 100644 --- a/getting_started/local-install/index.html +++ b/getting_started/local-install/index.html @@ -3,7 +3,7 @@ - + @@ -25,17 +25,17 @@ Installing Command-Line Tools :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/index.html b/index.html index 845d46f..b482442 100644 --- a/index.html +++ b/index.html @@ -3,7 +3,7 @@ - + @@ -27,17 +27,17 @@ The ABS Language :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/index.search.js b/index.search.js index 8158d14..37dddec 100644 --- a/index.search.js +++ b/index.search.js @@ -89,8 +89,8 @@ var relearn_search_index = [ }, { "breadcrumb": "The ABS Language", - "content": "This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools.\nABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway.\n2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/\n2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools\n2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/\n2022 Fifth International ABS Workshop: TBA\nCase Studies G. Turin, A. Borgarelli, S. Donetti, E. B. Johnsen, S. L. Tapia Tarifa, and F. Damiani.\nA Formal Model of the Kubernetes Container Framework..\nLeveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020). LNCS 12476. Springer, 2020.\nDOI: 10.1007/978-3-030-61362-4_32. Download a preprint.\nJ-C Lin, M-C Lee, I. C. Yu, and E. B. Johnsen.\nA configurable and executable model of Spark Streaming on Apache YARN.\nInternational Journal of Grid and Utility Computing. Volume 11(2). Indescience, 2020.\nDOI: 10.1504/IJGUC.2020.105531. Download a preprint.\nE. Kamburjan, R. Hähnle, and S. Schön Formal modeling and analysis of railway operations with active objects.\nScience of Computer Programming. Volume 166. Elsevier, 2018.\nDOI: 10.1016/j.scico.2018.07.001.\nE. Albert, F. de Boer, R. Hähnle, E. B. Johnsen, R. Schlatte, S. L. Tapia Tarifa, and P. Y. H. Wong.\nFormal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.\nService Oriented Computing and Applications 8 (4):323-339, 2014.\nDOI: 10.1007/s11761-013-0148-0. Download a preprint.\nLanguage Development L. Tveito, E. B. Johnsen, and R. Schlatte.\nGlobal Reproducibility through Local Control for Distributed Active Objects.\nIn Proc. 23th International Conference on Fundamental Approaches to Software Engineering (FASE 2020), LNCS 12076. Springer , 2020.\nDOI: 10.1007/978-3-030-45234-6_7. Download a preprint.\nR. Schlatte, E. B. Johnsen, J. Mauro, S. L. Tapia Tarifa, and I. C. Yu .\nRelease the Beasts: When Formal Methods Meet Real World Data.\nFestschrift Farhad Arbab, LNCS 10865. Springer , 2018.\nDOI: 10.1007/978-3-642-25271-6_8. Download a preprint.\nE. Kamburjan.\nFrom post-conditions to post-region invariants: deductive verification of hybrid objects..\nIn 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021). ACM , 2021.\nDOI: 10.1145/3447928.3456633.\nE. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen.\nABS: A Core Language for Abstract Behavioral Specification.\nIn Proc. 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO 2010), LNCS 6957. Springer , 2011.\nDOI: 10.1007/978-3-642-25271-6_8. Download a preprint.\nE. B. Johnsen, R. Schlatte, and S. L. Tapia Tarifa.\nIntegrating Deployment Architecture and Resource Consumption in Timed Object-Oriented Models.\nJournal of Logical and Algebraic Methods in Programming 84(1): 67-91, 2015.\nDOI: 10.1016/j.jlamp.2014.07.001. Download a preprint.\nJoakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, and S. L. Tapia Tarifa.\nUser-defined schedulers for real-time concurrent objects.\nInnovations Syst Softw Eng 9(1): 29-43 (2013).\nDOI: 10.1007/s11334-012-0184-5. Download a preprint.\nF. Damiani, R. Hähnle, E. Kamburjan, M. Lienhardt.\nA Unified and Formal Programming Model for Deltas and Traits.\nProc. 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017), LNCS 10202. Springer, 2017.\nDOI: 10.1007/978-3-662-54494-5_25. Download a postprint.\nSoftware Product Lines F. Damiani, R. Hähnle, E. Kamburjan, M. Lienhardt, L. Paolini.\nVariability modules for Java-like languages.\nProc. 25th ACM International Systems and Software Product Line Conference (SPLC 2021). ACM, 2021.\nDOI: 10.1145/3461001.3471143.\nF. Damiani, M. Lienhardt, R. Muschevici, I. Schaefer.\nAn Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.\nProc. 13th International Conference on Integrated Formal Methods (IFM 2017), LNCS 10510. Springer, 2017.\nDOI: 10.1007/978-3-319-66845-1_8. Download a postprint.\nDeductive Verification E. Kamburjan, C. C. Din, R. Hähnle and E. B. Johnsen.\nBehavioral Contracts for Cooperative Scheduling.\nIn Deductive Software Verification: Future Perspectives, LNCS 12345. Springer, 2020.\nDOI: 10.1007/978-3-030-64354-6_4. Download a preprint.\nC. C. Din, R. Bubel and R. Hähnle.\nKeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.\nIn Proc. 25th Intl. Conf. on Automated Deduction (CADE 2015), LNCS 9195. Springer, 2015.\nDOI:10.1007/978-3-319-21401-6_35. Download a preprint.\nC. C. Din, S. L. Tapia Tarifa, R. Hähnle and E. B. Johnsen.\nHistory-Based Specification and Verification of Scalable Concurrent and Distributed Systems.\nIn Proc. 17th Intl. Conf. on Formal Engineering Method (ICFEM 2015), LNCS 9407. Springer, 2015.\nDOI: 10.1007/978-3-319-25423-4_14. Download a preprint.\nAnalysis C. Laneve, M. Lienhardt, K. I Pun, and G. Román-Díez.\nTime analysis of actor programs.\nJournal of Logical and Algebraic Methods in Programming, Volume 105, Elsevier, 2019.\nDOI: 10.1016/j.jlamp.2019.02.007.\nA. Garcia, C. Laneve, and M. Lienhardt.\nStatic analysis of cloud elasticity.\nScience of Computer Programming, Volume 147, Elsevier, 2017.\nDOI: 10.1016/j.scico.2017.03.008.\nE. Albert, P. Arenas, A. Flores-Montoya, S. Genaim, M. Gómez-Zamalloa, E. Martin-Martin, G. Puebla, and G. Román-Díez.\nSACO: Static Analyzer for Concurrent Objects.\nIn Proc. 20th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS 8413, Springer, 2014.\nDOI: 10.1007/978-3-642-54862-8_46. Download a preprint.\nE. Giachino, C. Laneve, and M. Lienhardt.\nA Framework for Deadlock Detection in ABS.\nJournal of Software and Systems Modeling, Volume 15(4), Springer, 2015.\nDOI: 10.1007/s10270-014-0444-y.\nABS Tools Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan and S. Lizeth Tapia Tarifa\nThe ABS simulator toolchain Science of Computer Programming. Volume 233. Elsevier, 2022.\nDOI: 10.1016/j.scico.2022.102861. Code Generation from ABS B. Nobakht and F. S. de Boer.\nProgramming with Actors in Java 8.\nIn Proc. of the 6th Intl. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’14). LNCS 8803. Springer, 2014.\nDOI: 10.1007/978-3-662-45231-8_4. Download a preprint. Model-based Deployment and Monitoring R. Hähnle and E. B. Johnsen.\nDesigning Resource-Aware Cloud Applications.\nIEEE Computer 48 (6), 2015.\nDOI: 10.1109/MC.2015.172. Download a preprint.\nB. Nobakht, S. de Gouw and F.S. de Boer.\nFormal Verification of Service Level Agreements Through Distributed Monitoring.\nIn Proc. 4th European Conf. on Service Oriented and Cloud Computing (ESOCC 2015). LNCS 9306, Springer, 2015.\nDOI: 10.1007/978-3-319-24072-5_9. Download a preprint.", - "description": "This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools.\nABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway.\n2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/\n2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools\n2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual.", + "content": "This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools.\nABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway.\n2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/\n2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools\n2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/\n2023 Fifth International ABS Workshop: October 04-06, 2023, Lyon, France. https://edkamb.github.io/ABS_23/\n2024 APM Workshop 2024: October 02-04, 2024, Turin, Italy. https://edkamb.github.io/APM_24/\nCase Studies G. Turin, A. Borgarelli, S. Donetti, E. B. Johnsen, S. L. Tapia Tarifa, and F. Damiani.\nA Formal Model of the Kubernetes Container Framework..\nLeveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020). LNCS 12476. Springer, 2020.\nDOI: 10.1007/978-3-030-61362-4_32. Download a preprint.\nJ-C Lin, M-C Lee, I. C. Yu, and E. B. Johnsen.\nA configurable and executable model of Spark Streaming on Apache YARN.\nInternational Journal of Grid and Utility Computing. Volume 11(2). Indescience, 2020.\nDOI: 10.1504/IJGUC.2020.105531. Download a preprint.\nE. Kamburjan, R. Hähnle, and S. Schön Formal modeling and analysis of railway operations with active objects.\nScience of Computer Programming. Volume 166. Elsevier, 2018.\nDOI: 10.1016/j.scico.2018.07.001.\nE. Albert, F. de Boer, R. Hähnle, E. B. Johnsen, R. Schlatte, S. L. Tapia Tarifa, and P. Y. H. Wong.\nFormal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.\nService Oriented Computing and Applications 8 (4):323-339, 2014.\nDOI: 10.1007/s11761-013-0148-0. Download a preprint.\nLanguage Development L. Tveito, E. B. Johnsen, and R. Schlatte.\nGlobal Reproducibility through Local Control for Distributed Active Objects.\nIn Proc. 23th International Conference on Fundamental Approaches to Software Engineering (FASE 2020), LNCS 12076. Springer , 2020.\nDOI: 10.1007/978-3-030-45234-6_7. Download a preprint.\nR. Schlatte, E. B. Johnsen, J. Mauro, S. L. Tapia Tarifa, and I. C. Yu .\nRelease the Beasts: When Formal Methods Meet Real World Data.\nFestschrift Farhad Arbab, LNCS 10865. Springer , 2018.\nDOI: 10.1007/978-3-642-25271-6_8. Download a preprint.\nE. Kamburjan.\nFrom post-conditions to post-region invariants: deductive verification of hybrid objects..\nIn 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021). ACM , 2021.\nDOI: 10.1145/3447928.3456633.\nE. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen.\nABS: A Core Language for Abstract Behavioral Specification.\nIn Proc. 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO 2010), LNCS 6957. Springer , 2011.\nDOI: 10.1007/978-3-642-25271-6_8. Download a preprint.\nE. B. Johnsen, R. Schlatte, and S. L. Tapia Tarifa.\nIntegrating Deployment Architecture and Resource Consumption in Timed Object-Oriented Models.\nJournal of Logical and Algebraic Methods in Programming 84(1): 67-91, 2015.\nDOI: 10.1016/j.jlamp.2014.07.001. Download a preprint.\nJoakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, and S. L. Tapia Tarifa.\nUser-defined schedulers for real-time concurrent objects.\nInnovations Syst Softw Eng 9(1): 29-43 (2013).\nDOI: 10.1007/s11334-012-0184-5. Download a preprint.\nF. Damiani, R. Hähnle, E. Kamburjan, M. Lienhardt.\nA Unified and Formal Programming Model for Deltas and Traits.\nProc. 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017), LNCS 10202. Springer, 2017.\nDOI: 10.1007/978-3-662-54494-5_25. Download a postprint.\nSoftware Product Lines F. Damiani, R. Hähnle, E. Kamburjan, M. Lienhardt, L. Paolini.\nVariability modules for Java-like languages.\nProc. 25th ACM International Systems and Software Product Line Conference (SPLC 2021). ACM, 2021.\nDOI: 10.1145/3461001.3471143.\nF. Damiani, M. Lienhardt, R. Muschevici, I. Schaefer.\nAn Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.\nProc. 13th International Conference on Integrated Formal Methods (IFM 2017), LNCS 10510. Springer, 2017.\nDOI: 10.1007/978-3-319-66845-1_8. Download a postprint.\nDeductive Verification E. Kamburjan, C. C. Din, R. Hähnle and E. B. Johnsen.\nBehavioral Contracts for Cooperative Scheduling.\nIn Deductive Software Verification: Future Perspectives, LNCS 12345. Springer, 2020.\nDOI: 10.1007/978-3-030-64354-6_4. Download a preprint.\nC. C. Din, R. Bubel and R. Hähnle.\nKeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.\nIn Proc. 25th Intl. Conf. on Automated Deduction (CADE 2015), LNCS 9195. Springer, 2015.\nDOI:10.1007/978-3-319-21401-6_35. Download a preprint.\nC. C. Din, S. L. Tapia Tarifa, R. Hähnle and E. B. Johnsen.\nHistory-Based Specification and Verification of Scalable Concurrent and Distributed Systems.\nIn Proc. 17th Intl. Conf. on Formal Engineering Method (ICFEM 2015), LNCS 9407. Springer, 2015.\nDOI: 10.1007/978-3-319-25423-4_14. Download a preprint.\nAnalysis C. Laneve, M. Lienhardt, K. I Pun, and G. Román-Díez.\nTime analysis of actor programs.\nJournal of Logical and Algebraic Methods in Programming, Volume 105, Elsevier, 2019.\nDOI: 10.1016/j.jlamp.2019.02.007.\nA. Garcia, C. Laneve, and M. Lienhardt.\nStatic analysis of cloud elasticity.\nScience of Computer Programming, Volume 147, Elsevier, 2017.\nDOI: 10.1016/j.scico.2017.03.008.\nE. Albert, P. Arenas, A. Flores-Montoya, S. Genaim, M. Gómez-Zamalloa, E. Martin-Martin, G. Puebla, and G. Román-Díez.\nSACO: Static Analyzer for Concurrent Objects.\nIn Proc. 20th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS 8413, Springer, 2014.\nDOI: 10.1007/978-3-642-54862-8_46. Download a preprint.\nE. Giachino, C. Laneve, and M. Lienhardt.\nA Framework for Deadlock Detection in ABS.\nJournal of Software and Systems Modeling, Volume 15(4), Springer, 2015.\nDOI: 10.1007/s10270-014-0444-y.\nABS Tools Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan and S. Lizeth Tapia Tarifa\nThe ABS simulator toolchain Science of Computer Programming. Volume 233. Elsevier, 2022.\nDOI: 10.1016/j.scico.2022.102861. Code Generation from ABS B. Nobakht and F. S. de Boer.\nProgramming with Actors in Java 8.\nIn Proc. of the 6th Intl. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’14). LNCS 8803. Springer, 2014.\nDOI: 10.1007/978-3-662-45231-8_4. Download a preprint. Model-based Deployment and Monitoring R. Hähnle and E. B. Johnsen.\nDesigning Resource-Aware Cloud Applications.\nIEEE Computer 48 (6), 2015.\nDOI: 10.1109/MC.2015.172. Download a preprint.\nB. Nobakht, S. de Gouw and F.S. de Boer.\nFormal Verification of Service Level Agreements Through Distributed Monitoring.\nIn Proc. 4th European Conf. on Service Oriented and Cloud Computing (ESOCC 2015). LNCS 9306, Springer, 2015.\nDOI: 10.1007/978-3-319-24072-5_9. Download a preprint.", + "description": "This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools.\nABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway.\n2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/\n2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools\n2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/", "tags": [], "title": "Publications and Workshops", "uri": "/publications/index.html" @@ -106,7 +106,7 @@ var relearn_search_index = [ { "breadcrumb": "The ABS Language \u003e Documentation", "content": "This page features a list of tutorials for most tools that work with the ABS language.\nConverted Tutorials Conversion from old tutorials is on-going and help is most welcome.\nLanguage TutorialThis tutorial gives an overview of the ABS language.\nResource Modeling TutorialAn introduction to time and resource modeling in ABS.\nResource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example.\nMay-Happen-in-Parallel AnalysisThe maypar static analysis tool finds pairs of program statements that possibly execute in parallel.\nResource Analysis with SRAWe prototype a static analysis technique that computes upper bounds of virtual machine usages in a dialect of ABS called vml.\nEnvisage / HATS Tutorials These tutorials were written during the Envisage and HaTS projects. The pdfs are provided as-is and might contain outdated information.\nInstallation Tutorial\nEasyInterface Tutorial\nResource Tutorial\nResource Analysis (SACO) Tutorial\nResource Analysis (SRA) Tutorial\nDeadlock Analysis (SACO) Tutorial\nDeadlock Analysis (SRA) Tutorial\nSystematic Testing (SYCO) \u0026 Test Case Generation (aPET) Tutorial\nSmart Deployer Tutorial\nKeY-ABS Tutorial\nModelling Auto-scalable Services Tutorial", - "description": "This page features a list of tutorials for most tools that work with the ABS language.\nConverted Tutorials Conversion from old tutorials is on-going and help is most welcome.\nLanguage TutorialThis tutorial gives an overview of the ABS language.\nResource Modeling TutorialAn introduction to time and resource modeling in ABS.\nResource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs.", + "description": "This page features a list of tutorials for most tools that work with the ABS language.\nConverted Tutorials Conversion from old tutorials is on-going and help is most welcome.\nLanguage TutorialThis tutorial gives an overview of the ABS language.\nResource Modeling TutorialAn introduction to time and resource modeling in ABS.\nResource Analysis with CostABSCostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example.", "tags": [], "title": "Tutorials", "uri": "/documentation/tutorials/index.html" @@ -154,7 +154,7 @@ var relearn_search_index = [ { "breadcrumb": "The ABS Language", "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:\nHATS: 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:\nElvira Albert Ade Azurat Nikolaos Bezirgiannis Joakim Bjørk Frank de Boer Richard Bubel Dave Clarke Jesús Correas Ferruccio Damiani Crystal Chang Din Antonio Flores-Montoya Abel Garcia Samir Genaim Elena Giachino Miguel Gómez-Zamalloa Georg Göri Stijn de Gouw Reiner Hähnle Einar Broch Johnsen Eduard Kamburjan Ivan Lanese Cosimo Laneve Michael Lienhardt Kelly Lin Enrique Martin-Martin Jacopo Mauro Radu Muschevici Behrooz Nobakht Olaf Owe Björn Petersen Germán Puebla Violet Ka I Pun Guillermo Román-Díez Ina Schaefer Rudi Schlatte Vlad Serbanescu Faiza Shehzad Oliver Stahl Martin Steffen Volker Stolz S. Lizeth Tapia Tarifa Lars Tveito Peter Y.H. Wong Ingrid Chieh Yu Miky Zamalloa Gianluigi Zavatarro ", - "description": "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:\nHATS: 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:", + "description": "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:", "tags": [], "title": "Acknowledgments", "uri": "/acknowledgments/index.html" diff --git a/index.xml b/index.xml index 01d0555..e0d7586 100644 --- a/index.xml +++ b/index.xml @@ -34,7 +34,7 @@ https://abs-models.org/publications/index.html Tue, 04 Feb 2020 12:22:31 +0100 https://abs-models.org/publications/index.html - This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools. ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools 2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. + This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools. ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools 2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/ Contact @@ -48,7 +48,7 @@ https://abs-models.org/acknowledgments/index.html Wed, 19 Dec 2018 17:41:18 +0100 https://abs-models.org/acknowledgments/index.html - 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: + 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: The Collaboratory diff --git a/laboratory/index.html b/laboratory/index.html index 80336e0..72a47cb 100644 --- a/laboratory/index.html +++ b/laboratory/index.html @@ -3,7 +3,7 @@ - + The Collaboratory :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/overview/index.html b/overview/index.html index a377d12..0540e1f 100644 --- a/overview/index.html +++ b/overview/index.html @@ -3,7 +3,7 @@ - + @@ -23,17 +23,17 @@ Overview :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/publications/index.html b/publications/index.html index 14c9d83..7e71cea 100644 --- a/publications/index.html +++ b/publications/index.html @@ -3,13 +3,13 @@ - + +2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/"> @@ -17,7 +17,7 @@ ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools -2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual."> +2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/"> @@ -25,7 +25,7 @@ ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools -2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual."> +2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/"> @@ -33,23 +33,23 @@ ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools -2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual."> +2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/"> - + Publications and Workshops :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/publications/index.xml b/publications/index.xml index 9771692..ca3524a 100644 --- a/publications/index.xml +++ b/publications/index.xml @@ -3,7 +3,7 @@ Publications and Workshops :: The ABS Modeling Language https://abs-models.org/publications/index.html - This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools. ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools 2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. + This page links ABS workshops, as well as selected research papers on the development and usage of the ABS modeling language and analysis tools. ABS Workshops 2017 First International ABS Workshop: May 31–June 2, 2017, Oslo, Norway. 2018 Second International ABS Workshop: May 28–May 30, 2018, Darmstadt, Germany. https://formbar.raillab.de/en/abs2018/ 2019 Third International ABS Workshop: May 13–May 15, 2019, Amsterdam, The Netherlands. https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools 2021 Fourth International ABS Workshop: August 26–August 27, 2021, Virtual. https://formbar.raillab.de/en/abs-workshop-2021/ Hugo en-us diff --git a/search.html b/search.html index 2c34d1e..2a4460f 100644 --- a/search.html +++ b/search.html @@ -3,7 +3,7 @@ - + @@ -27,17 +27,17 @@ Search :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + + diff --git a/tags/index.html b/tags/index.html index af416ac..9953323 100644 --- a/tags/index.html +++ b/tags/index.html @@ -3,7 +3,7 @@ - + @@ -17,17 +17,17 @@ Tags :: The ABS Modeling Language - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - + +