Trustworthy agent-based simulation: the case for domain-specific modelling languages
Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vi...
Saved in:
| Published in | Software and systems modeling Vol. 22; no. 2; pp. 455 - 470 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.04.2023
Springer Nature B.V |
| Subjects | |
| Online Access | Get full text |
| ISSN | 1619-1366 1619-1374 1619-1374 |
| DOI | 10.1007/s10270-023-01082-9 |
Cover
| Abstract | Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vision for engineering agent simulations comprising a family of domain-specific modelling languages (DSMLs) that integrates core software engineering, validation and simulation experimentation. We relate the vision to examples of principled simulation, to show how the DSMLs would improve robustness, efficiency, and maintainability of simulations. Focusing on how to demonstrate the fitness for purpose of a simulator, the envisaged approach supports bi-directional transparency and traceability between the original domain understanding to the implementation, interpretation of results and evaluation of hypotheses. |
|---|---|
| AbstractList | Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vision for engineering agent simulations comprising a family of domain-specific modelling languages (DSMLs) that integrates core software engineering, validation and simulation experimentation. We relate the vision to examples of principled simulation, to show how the DSMLs would improve robustness, efficiency, and maintainability of simulations. Focusing on how to demonstrate the fitness for purpose of a simulator, the envisaged approach supports bi-directional transparency and traceability between the original domain understanding to the implementation, interpretation of results and evaluation of hypotheses. Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vision for engineering agent simulations comprising a family of domain-specific modelling languages (DSMLs) that integrates core software engineering, validation and simulation experimentation. We relate the vision to examples of principled simulation, to show how the DSMLs would improve robustness, efficiency, and maintainability of simulations. Focusing on how to demonstrate the fitness for purpose of a simulator, the envisaged approach supports bi-directional transparency and traceability between the original domain understanding to the implementation, interpretation of results and evaluation of hypotheses.Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vision for engineering agent simulations comprising a family of domain-specific modelling languages (DSMLs) that integrates core software engineering, validation and simulation experimentation. We relate the vision to examples of principled simulation, to show how the DSMLs would improve robustness, efficiency, and maintainability of simulations. Focusing on how to demonstrate the fitness for purpose of a simulator, the envisaged approach supports bi-directional transparency and traceability between the original domain understanding to the implementation, interpretation of results and evaluation of hypotheses. |
| Author | Polack, Fiona A. C. Zschaler, Steffen |
| Author_xml | – sequence: 1 givenname: Steffen surname: Zschaler fullname: Zschaler, Steffen email: szschaler@acm.org organization: Department of Informatics, King’s College London – sequence: 2 givenname: Fiona A. C. surname: Polack fullname: Polack, Fiona A. C. organization: School of Computer Science, University of Hull |
| BackLink | https://www.ncbi.nlm.nih.gov/pubmed/36776402$$D View this record in MEDLINE/PubMed |
| BookMark | eNp9kUtP3TAQha0KxPsPdFFF6oaNwa_YMYtKFWoBCamb27XlOJNcV4l9sZNW_PsaLtDCAm9sjb9zdGbmEO2EGAChj5ScUULUeaaEKYIJ45hQ0jCsP6ADKqnGlCux8_KWch-d5OxbQgTTWki5h_a5VEoKwg7QapWWPP-JaV7fV3aAMOPWZuiq7KdltLOP4aKa11C5Uq36mKouTtYHnDfgfO9dNcUOxtGHoRptGJbikY_Rbm_HDCdP9xH6-f3b6vIa3_64urn8eoudUGLG0JajXE2lBMY09NBK1WgmWuZKVOBMMUpdZ13toCGWQy-dYm1vAVgNPT9CX7a-m6WdoHMlfbKj2SQ_2XRvovXm9U_wazPE30ZrUqtaFIPTJ4MU7xbIs5l8dqUdGyAu2TClal1TomhBP79Bf8UlhdJeoTRnNZeiKdSn_xO9RHkeeAGaLeBSzDlBb5yfH8dcAvrRUGIe1mu26zVFYR7Xa3SRsjfSZ_d3RXwrygUOA6R_sd9R_QWbSLlT |
| CitedBy_id | crossref_primary_10_3390_su15118804 crossref_primary_10_1109_ACCESS_2024_3414503 crossref_primary_10_1177_00375497241296878 crossref_primary_10_1016_j_simpat_2023_102880 crossref_primary_10_1016_j_jnlssr_2024_03_004 |
| Cites_doi | 10.5381/jot.2021.20.3.a8 10.1145/3316480.3325514 10.1007/978-3-030-94548-0_1 10.18564/jasss.2166 10.1186/2194-3206-1-3 10.1007/s10515-017-0230-5 10.1145/3426425.3426929 10.3389/fimmu.2012.00172 10.1007/978-3-642-04425-0_41 10.1145/2567895 10.1038/d41586-018-05895-3 10.1109/MCSE.2008.82 10.1109/MDAT.2015.2462720 10.1371/journal.pcbi.1002916 10.1504/IJAOSE.2018.094373 10.5281/zenodo.47984 10.18564/jasss.2834 10.1109/HASE.2015.25 10.1007/s10270-018-0679-0 10.1007/978-3-030-63479-7_11 10.1109/ISSREW.2014.30 10.1007/BFb0053381 10.23919/ANNSIM55834.2022.9859307 10.1007/s10270-020-00842-1 10.1007/978-1-4471-0997-6_5 10.1016/j.biosystems.2013.03.007 10.1007/978-1-84996-086-1_1 10.1098/rsif.2014.1059 10.3389/fimmu.2013.00035 10.1007/978-3-030-83903-1_7 10.1016/j.simpat.2017.11.006 10.1109/INES.2014.6909375 10.5381/jot.2020.19.3.a6 10.1007/978-3-319-11245-9_1 10.1007/978-3-642-12107-4_23 10.1007/978-1-4842-0076-6 10.1109/JSYST.2020.2990488 10.1186/1471-2105-14-S6-S9 10.1007/978-3-030-01938-9 |
| ContentType | Journal Article |
| Copyright | The Author(s) 2023 The Author(s) 2023. The Author(s) 2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: The Author(s) 2023 – notice: The Author(s) 2023. – notice: The Author(s) 2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | C6C AAYXX CITATION NPM 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U 7X8 5PM |
| DOI | 10.1007/s10270-023-01082-9 |
| DatabaseName | SpringerOpen Free (Free internet resource, activated by CARLI) CrossRef PubMed ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central ProQuest Technology Collection ProQuest One ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic MEDLINE - Academic PubMed Central (Full Participant titles) |
| DatabaseTitle | CrossRef PubMed Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) MEDLINE - Academic |
| DatabaseTitleList | Computer Science Database MEDLINE - Academic PubMed CrossRef |
| Database_xml | – sequence: 1 dbid: C6C name: Springer Nature OA Free Journals url: http://www.springeropen.com/ sourceTypes: Publisher – sequence: 2 dbid: NPM name: PubMed url: https://proxy.k.utb.cz/login?url=http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?db=PubMed sourceTypes: Index Database – sequence: 3 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science Engineering |
| EISSN | 1619-1374 |
| EndPage | 470 |
| ExternalDocumentID | PMC9905754 36776402 10_1007_s10270_023_01082_9 |
| Genre | Journal Article |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 123 1N0 203 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5VS 67Z 6NX 8AO 8FE 8FG 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACUHS ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS C6C CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EAD EAP EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HLICF HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV LAS LLZTM M0N M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PF0 PQQKQ PROAC PT4 Q2X QOS R89 R9I RIG RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z5O Z7R Z7S Z7X Z7Z Z81 Z83 Z88 ZMTXR ~8M AAPKM AAYXX ABBRH ABDBE ABFSG ACMFV ACSTC ADHKG AEZWR AFDZB AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT NPM 7SC 7XB 8AL 8FD 8FK ABRTQ JQ2 L7M L~C L~D PKEHL PQEST PQGLB PQUKI PRINS Q9U 7X8 PUEGO 5PM |
| ID | FETCH-LOGICAL-c474t-ebbbb7c5166e229efeb678924b2c299e327211cdac5ce80a3ef6c72bfaee25ef3 |
| IEDL.DBID | 8FG |
| ISSN | 1619-1366 1619-1374 |
| IngestDate | Thu Aug 21 18:38:43 EDT 2025 Thu Sep 04 16:58:25 EDT 2025 Sat Aug 23 13:58:49 EDT 2025 Wed Feb 19 02:24:34 EST 2025 Thu Apr 24 22:50:27 EDT 2025 Tue Jul 01 02:55:09 EDT 2025 Fri Feb 21 02:43:32 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Language | English |
| License | The Author(s) 2023. Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c474t-ebbbb7c5166e229efeb678924b2c299e327211cdac5ce80a3ef6c72bfaee25ef3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 content type line 23 Communicated by Bernhard Rumpe. |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://link.springer.com/10.1007/s10270-023-01082-9 |
| PMID | 36776402 |
| PQID | 2793253648 |
| PQPubID | 43171 |
| PageCount | 16 |
| ParticipantIDs | pubmedcentral_primary_oai_pubmedcentral_nih_gov_9905754 proquest_miscellaneous_2775951071 proquest_journals_2793253648 pubmed_primary_36776402 crossref_citationtrail_10_1007_s10270_023_01082_9 crossref_primary_10_1007_s10270_023_01082_9 springer_journals_10_1007_s10270_023_01082_9 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2023-04-01 |
| PublicationDateYYYYMMDD | 2023-04-01 |
| PublicationDate_xml | – month: 04 year: 2023 text: 2023-04-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Germany – name: Heidelberg |
| PublicationTitle | Software and systems modeling |
| PublicationTitleAbbrev | Softw Syst Model |
| PublicationTitleAlternate | Softw Syst Model |
| PublicationYear | 2023 |
| Publisher | Springer Berlin Heidelberg Springer Nature B.V |
| Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer Nature B.V |
| References | Gell-Mann, M.: The Quark and the Jaguar. Abacus (1995) Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Daniel, P. (ed.) Safe Comp 97. pp. 55–69, Springer, London (1997) https://doi.org/10.1007/978-1-4471-0997-6_5 GreavesRBReadMTimmisJIn silico investigation of novel biological pathways: the role of CD200 in regulation of T cell priming in experimental autoimmune encephalomyelitisBiosystems2013112210712110.1016/j.biosystems.2013.03.007 TroyaJMorenoNBertoaMUncertainty representation in software models: a surveySoftw. Syst. Modell.2021201183121310.1007/s10270-020-00842-1 KwokRHow to pick an electronic laboratory notebookNature201856026927010.1038/d41586-018-05895-3 HerdBMilesSMcBurneyPQuantitative analysis of multi-agent systems through statistical verification of simulation tracesInt. J. Agent-Oriented Softw. Eng.20186215618610.1504/IJAOSE.2018.094373 ShakedAReichYImproving process descriptions in research by model-based analysisIEEE Syst. J.202015143544410.1109/JSYST.2020.2990488 VoelterMKolbBBirkenKUsing language workbenches and domain-specific languages for safety-critical software developmentSoftw. Syst. Modell.2019182507253010.1007/s10270-018-0679-0 PolackFAldenKOn developing and validating dynamic systems: simulation engineeringJ. Object Technol.202019311310.5381/jot.2020.19.3.a6 Denil, J., Klikovits, S., Mosterman, P.J., et al.: The experiment model and validity frame in m &s. In: Proceedings of the Symposium on Theory of Modeling and Simulation, pp. 1–12 (2017) Crutchfield, J.P.: Observing complexity and the complexity of observation. Tech. Rep. 1993-06-035, Santa Fe Institute, https://sfi-edu.s3.amazonaws.com/sfi-edu/production/uploads/sfi-com/dev/uploads/filer/a7/72/a772b4c5-3c0f-48fb-a56d-2472476dccc8/93-06-035.pdf (1993) Leonov, G.: An integrated molecular cell biology and agent-based simulation approach to dissecting microRNA regulatory networks. PhD thesis, University of York, UK (2015) http://etheses.whiterose.ac.uk/id/eprint/12032 Zschaler, S., Polack, F.: A family of languages for trustworthy agent-based simulation. In: 13th International Conference on Software Language Engineering (SLE’20) (2020) Fuentes-FernándezRGalánJMHassanSDemazeauYDignumFCorchadoJMApplication of model driven techniques for agent-based simulationAdvances in Practical Applications of Agents and Multiagent Systems, Advances in Intelligent and Soft Computing2010BerlinSpringer Ghorbani, A., Bots, P., Dignum, V., et al.: MAIA: a framework for developing agent-based social simulations. J. Artif. Soc. Soc. Simul. (2013) https://doi.org/10.18564/jasss.2166 Hawkins, R., Kelly, T., Habli, I.: Developing assurance cases for D-MILS systems. In: International Workshop on MILS: Architecture and Assurance for Secure Systems, (2015) https://doi.org/10.5281/zenodo.47984 Iba, T., Matsuzawa, Y., Aoyama, N.: From conceptual models to simulation models: model driven development of agent-based simulations. In: Proceedings of the 9th Workshop on Economics and Heterogeneous Interacting Agents, pp. 1–12 (2004) Object Management Group (2021) Structured assurance case metamodel v2.2. https://www.omg.org/spec/SACM/2.2 SantosFNunesIBazzanALModel-driven agent-based simulation development: a modeling language and empirical evaluation in the adaptive traffic signal control domainSimul. Modell. Pract. Theory20188316218710.1016/j.simpat.2017.11.006 Assurance Case Working Group (ACWG) (2021) Goal structuring notation community standard version 2. Online: https://scsc.uk/r141B:1, last accessed 23 August, 2021 MilesSGrothPDeelmanEProvenance: the bridge between experiments and dataComput. Sci. Eng.2008103384610.1109/MCSE.2008.82 AldenKReadMTimmisJSpartan: A comprehensive tool for understanding uncertainty in simulations of biological systemsPLoS Comput. Biol.20139219304885810.1371/journal.pcbi.1002916 Viyović, V., Maksimović, M., Perisić, B.: Sirius: A rapid development of DSM graphical editor. In: IEEE 18th International Conference on Intelligent Engineering Systems (INES’14), pp 233–238, (2014) https://doi.org/10.1109/INES.2014.6909375 WilliamsRAGreavesRReadMIn silico investigation into dendritic cell regulation of CD8Treg mediated killing of Th1 cells in murine experimental autoimmune encephalomyelitisBMC Bioinform.201314S6S910.1186/1471-2105-14-S6-S9 Mertens, J., Denil, J.: ESS: EMF-based simulation specification, a domain-specific language for model validation experiments. In: 2022 Annual Modeling and Simulation Conference (ANNSIM), pp. 416–427 (2022) StepneySPolackFACEngineering Simulations as Scientific Instruments: A Pattern Language2018ChamSpringer10.1007/978-3-030-01938-9 SchererSWimmerMLotzmannUEvidence based and conceptual model driven approach for agent-based policy modellingJ. Artif. Soc. Soc. Simul.20151831410.18564/jasss.2834 Alden, K.: Simulation and statistical techniques to explore lymphoid tissue organogenesis. PhD thesis, University of York, UK, http://etheses.whiterose.ac.uk/id/eprint/3220 (2016) WassyngASinghNGevenMCan product-specific assurance case templates be used as medical device standards?IEEE Des. Test2015325455510.1109/MDAT.2015.2462720 NorthMJCollierNTOzikJComplex adaptive systems modeling with Repast SimphonyComplex Adapt. Syst. Model.201310.1186/2194-3206-1-3 Lloyd, S.: Programming the Universe. Knopf (2006) Gallina, B.: A model-driven safety certification method for process compliance. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 204–209, (2014) https://doi.org/10.1109/ISSREW.2014.30 Kiczales, G., Lamping, J., Mendhekar, A., et al.: Aspect-oriented programming gregor. In: European Conference on Object-Oriented Programming (ECOOP’97) (1997) MooreJWJMoyoDBeattieLFunctional complexity of the Leishmania granuloma and the potential of in silico modellingFront. Immunol.201310.3389/fimmu.2013.00035 AldenKAndrewsPSPolackFACUsing argument notation to engineer biological simulations with increased confidenceJ. R. Soc. Interface201510.1098/rsif.2014.1059 Parunak, H.V.D.: Social simulation for non-hackers. In: 22nd International Workshop on Multi-Agent-Based Simulation (2021) https://www.abcresearch.org/abc/papers/MABS21NonHackers.pdf ZeiglerBPMuzyAKofmanETheory of Modeling and Simulation20183AmsterdamElsevier1415.93011 Ruscheinski, A., Wilsdorf, P., Dombrowsky, M., et al.: Capturing and reporting provenance information of simulation studies based on an artifact-based workflow approach. In: Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS ’19), pp. 185–196 (2019) Zschaler, S., Kolovos, D.S., Drivalos, N., et al.: Domain-specific metamodelling languages for software language engineering. In: 2nd International Conference on Software Language Engineering (SLE’09) (2009) AldenKTimmisJAndrewsPSExtending and applying Spartan to perform temporal sensitivity analyses for predicting changes in influential biological pathways in computational modelsIEEE Trans. Comput. Biol.2016142422431 AldenKTimmisJAndrewsPPairing experimentation and computational modeling to understand the role of tissue inducer cells in the development of lymphoid organsFront. Immunol.2012317210.3389/fimmu.2012.00172 MuñozPKarkhanisPvan den BrandMModeling objects with uncertain behaviorsJ. Object Technol.202110.5381/jot.2021.20.3.a8 Yan, F., Foster, S., Habli, I.: Safety case generation by model-based engineering: state of the art and a proposal. In: Proceedings of 11th International Conference on Performance, Safety and Robustness in Complex Systems and Applications. International Academy, Research, and Industry Association (2021) LukeSCioffi-RevillaCPanaitLMASON: a multi-agent simulation environmentSimul. Trans. Soc. Model. Simul. Int.2005827517527 Rushby, J.: Formalism in safety cases. In: Dale, C., Anderson, T. (eds.) Making Systems Safer—Proceedings of Safety-Critical Systems Symposium. pp. 3–17. Springer, Berlin (2010) Ewald, R., Uhrmacher, A.M.: SESSL: a domain-specific language for simulation experiments. ACM Trans. Model Comput. Simul. 24(2), (2014). https://doi.org/10.1145/2567895 MengBPaulSMoitraAHabliISujanMBitschFAutomating the assembly of security assurance case fragmentsComputer Safety, Reliability, and Security2021BerlinSpringer International Publishing10111410.1007/978-3-030-83903-1_7 Barat, S., Barn, B., Clark, T., et al.: OrgML – a domain specific language for organisational decision-making. In: Grabis, J., Bork, D. (eds.) The Practice of Enterprise Modeling (PoEM 2020), (2020) https://doi.org/10.1007/978-3-030-63479-7_11 Meyers, B., Deshayes, R., Lucio, L., et al.: ProMoBox: a framework for generating domain-specific property languages. In: Combemale, B., Pearce, D., Barais, O., et al. (eds.) Software Language Engineering (SLE) (2014) Chacon, S., Straub, B.: Pro Git, 2nd edn. Apress, https://git-scm.com/book/en/v2 (2014) Hawkins, R., Habli, I., Kolovos, D., et al.: Weaving an assurance case from design: A model-based approach. In: Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering, pp. 110–117, (2015) https://doi.org/10.1109/HASE.2015.25 DenneyEPaiGTool support for assurance case developmentAutom. Softw. Eng.201825343549910.1007/s10515-017-0230-5 Johannes, J., Zschaler, S., Fernández, M.A., et al.: Abstracting complex languages through transformation and composition. In: Schürr, A., Selic, B. (eds.) Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS’09), LNCS, vol. 5795. pp. 546–550. Springer (2009) 1082_CR6 1082_CR7 1082_CR8 1082_CR9 S Scherer (1082_CR42) 2015; 18 E Denney (1082_CR11) 2018; 25 S Miles (1082_CR32) 2008; 10 1082_CR40 1082_CR46 M Voelter (1082_CR47) 2019; 18 MJ North (1082_CR35) 2013 K Alden (1082_CR5) 2016; 14 1082_CR16 F Polack (1082_CR38) 2020; 19 1082_CR15 1082_CR14 1082_CR19 J Troya (1082_CR45) 2021; 20 1082_CR18 K Alden (1082_CR4) 2015 1082_CR53 1082_CR52 1082_CR50 BP Zeigler (1082_CR51) 2018 1082_CR12 K Alden (1082_CR2) 2012; 3 S Luke (1082_CR28) 2005; 82 1082_CR10 B Meng (1082_CR29) 2021 R Kwok (1082_CR25) 2018; 560 1082_CR27 1082_CR26 P Muñoz (1082_CR34) 2021 A Shaked (1082_CR43) 2020; 15 1082_CR24 1082_CR23 1082_CR22 1082_CR21 1082_CR39 1082_CR37 1082_CR36 RA Williams (1082_CR49) 2013; 14 1082_CR31 1082_CR30 S Stepney (1082_CR44) 2018 A Wassyng (1082_CR48) 2015; 32 JWJ Moore (1082_CR33) 2013 B Herd (1082_CR20) 2018; 6 F Santos (1082_CR41) 2018; 83 R Fuentes-Fernández (1082_CR13) 2010 K Alden (1082_CR3) 2013; 9 1082_CR1 RB Greaves (1082_CR17) 2013; 112 |
| References_xml | – reference: Rushby, J.: Formalism in safety cases. In: Dale, C., Anderson, T. (eds.) Making Systems Safer—Proceedings of Safety-Critical Systems Symposium. pp. 3–17. Springer, Berlin (2010) – reference: Hawkins, R., Habli, I., Kolovos, D., et al.: Weaving an assurance case from design: A model-based approach. In: Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering, pp. 110–117, (2015) https://doi.org/10.1109/HASE.2015.25 – reference: Hawkins, R., Kelly, T., Habli, I.: Developing assurance cases for D-MILS systems. In: International Workshop on MILS: Architecture and Assurance for Secure Systems, (2015) https://doi.org/10.5281/zenodo.47984 – reference: MengBPaulSMoitraAHabliISujanMBitschFAutomating the assembly of security assurance case fragmentsComputer Safety, Reliability, and Security2021BerlinSpringer International Publishing10111410.1007/978-3-030-83903-1_7 – reference: VoelterMKolbBBirkenKUsing language workbenches and domain-specific languages for safety-critical software developmentSoftw. Syst. Modell.2019182507253010.1007/s10270-018-0679-0 – reference: Crutchfield, J.P.: Observing complexity and the complexity of observation. Tech. Rep. 1993-06-035, Santa Fe Institute, https://sfi-edu.s3.amazonaws.com/sfi-edu/production/uploads/sfi-com/dev/uploads/filer/a7/72/a772b4c5-3c0f-48fb-a56d-2472476dccc8/93-06-035.pdf (1993) – reference: AldenKTimmisJAndrewsPSExtending and applying Spartan to perform temporal sensitivity analyses for predicting changes in influential biological pathways in computational modelsIEEE Trans. Comput. Biol.2016142422431 – reference: Mertens, J., Denil, J.: ESS: EMF-based simulation specification, a domain-specific language for model validation experiments. In: 2022 Annual Modeling and Simulation Conference (ANNSIM), pp. 416–427 (2022) – reference: GreavesRBReadMTimmisJIn silico investigation of novel biological pathways: the role of CD200 in regulation of T cell priming in experimental autoimmune encephalomyelitisBiosystems2013112210712110.1016/j.biosystems.2013.03.007 – reference: SantosFNunesIBazzanALModel-driven agent-based simulation development: a modeling language and empirical evaluation in the adaptive traffic signal control domainSimul. Modell. Pract. Theory20188316218710.1016/j.simpat.2017.11.006 – reference: Kiczales, G., Lamping, J., Mendhekar, A., et al.: Aspect-oriented programming gregor. In: European Conference on Object-Oriented Programming (ECOOP’97) (1997) – reference: Assurance Case Working Group (ACWG) (2021) Goal structuring notation community standard version 2. Online: https://scsc.uk/r141B:1, last accessed 23 August, 2021 – reference: ShakedAReichYImproving process descriptions in research by model-based analysisIEEE Syst. J.202015143544410.1109/JSYST.2020.2990488 – reference: WassyngASinghNGevenMCan product-specific assurance case templates be used as medical device standards?IEEE Des. Test2015325455510.1109/MDAT.2015.2462720 – reference: PolackFAldenKOn developing and validating dynamic systems: simulation engineeringJ. Object Technol.202019311310.5381/jot.2020.19.3.a6 – reference: Zschaler, S., Kolovos, D.S., Drivalos, N., et al.: Domain-specific metamodelling languages for software language engineering. In: 2nd International Conference on Software Language Engineering (SLE’09) (2009) – reference: Barat, S., Barn, B., Clark, T., et al.: OrgML – a domain specific language for organisational decision-making. In: Grabis, J., Bork, D. (eds.) The Practice of Enterprise Modeling (PoEM 2020), (2020) https://doi.org/10.1007/978-3-030-63479-7_11 – reference: Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Daniel, P. (ed.) Safe Comp 97. pp. 55–69, Springer, London (1997) https://doi.org/10.1007/978-1-4471-0997-6_5 – reference: HerdBMilesSMcBurneyPQuantitative analysis of multi-agent systems through statistical verification of simulation tracesInt. J. Agent-Oriented Softw. Eng.20186215618610.1504/IJAOSE.2018.094373 – reference: Iba, T., Matsuzawa, Y., Aoyama, N.: From conceptual models to simulation models: model driven development of agent-based simulations. In: Proceedings of the 9th Workshop on Economics and Heterogeneous Interacting Agents, pp. 1–12 (2004) – reference: Parunak, H.V.D.: Social simulation for non-hackers. In: 22nd International Workshop on Multi-Agent-Based Simulation (2021) https://www.abcresearch.org/abc/papers/MABS21NonHackers.pdf – reference: Yan, F., Foster, S., Habli, I.: Safety case generation by model-based engineering: state of the art and a proposal. In: Proceedings of 11th International Conference on Performance, Safety and Robustness in Complex Systems and Applications. International Academy, Research, and Industry Association (2021) – reference: Leonov, G.: An integrated molecular cell biology and agent-based simulation approach to dissecting microRNA regulatory networks. PhD thesis, University of York, UK (2015) http://etheses.whiterose.ac.uk/id/eprint/12032 – reference: MooreJWJMoyoDBeattieLFunctional complexity of the Leishmania granuloma and the potential of in silico modellingFront. Immunol.201310.3389/fimmu.2013.00035 – reference: AldenKAndrewsPSPolackFACUsing argument notation to engineer biological simulations with increased confidenceJ. R. Soc. Interface201510.1098/rsif.2014.1059 – reference: Lloyd, S.: Programming the Universe. Knopf (2006) – reference: MuñozPKarkhanisPvan den BrandMModeling objects with uncertain behaviorsJ. Object Technol.202110.5381/jot.2021.20.3.a8 – reference: Denil, J., Klikovits, S., Mosterman, P.J., et al.: The experiment model and validity frame in m &s. In: Proceedings of the Symposium on Theory of Modeling and Simulation, pp. 1–12 (2017) – reference: Johannes, J., Zschaler, S., Fernández, M.A., et al.: Abstracting complex languages through transformation and composition. In: Schürr, A., Selic, B. (eds.) Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS’09), LNCS, vol. 5795. pp. 546–550. Springer (2009) – reference: MilesSGrothPDeelmanEProvenance: the bridge between experiments and dataComput. Sci. Eng.2008103384610.1109/MCSE.2008.82 – reference: SchererSWimmerMLotzmannUEvidence based and conceptual model driven approach for agent-based policy modellingJ. Artif. Soc. Soc. Simul.20151831410.18564/jasss.2834 – reference: TroyaJMorenoNBertoaMUncertainty representation in software models: a surveySoftw. Syst. Modell.2021201183121310.1007/s10270-020-00842-1 – reference: Viyović, V., Maksimović, M., Perisić, B.: Sirius: A rapid development of DSM graphical editor. In: IEEE 18th International Conference on Intelligent Engineering Systems (INES’14), pp 233–238, (2014) https://doi.org/10.1109/INES.2014.6909375 – reference: StepneySPolackFACEngineering Simulations as Scientific Instruments: A Pattern Language2018ChamSpringer10.1007/978-3-030-01938-9 – reference: ZeiglerBPMuzyAKofmanETheory of Modeling and Simulation20183AmsterdamElsevier1415.93011 – reference: AldenKTimmisJAndrewsPPairing experimentation and computational modeling to understand the role of tissue inducer cells in the development of lymphoid organsFront. Immunol.2012317210.3389/fimmu.2012.00172 – reference: NorthMJCollierNTOzikJComplex adaptive systems modeling with Repast SimphonyComplex Adapt. Syst. Model.201310.1186/2194-3206-1-3 – reference: DenneyEPaiGTool support for assurance case developmentAutom. Softw. Eng.201825343549910.1007/s10515-017-0230-5 – reference: Ghorbani, A., Bots, P., Dignum, V., et al.: MAIA: a framework for developing agent-based social simulations. J. Artif. Soc. Soc. Simul. (2013) https://doi.org/10.18564/jasss.2166 – reference: Object Management Group (2021) Structured assurance case metamodel v2.2. https://www.omg.org/spec/SACM/2.2/ – reference: Alden, K.: Simulation and statistical techniques to explore lymphoid tissue organogenesis. PhD thesis, University of York, UK, http://etheses.whiterose.ac.uk/id/eprint/3220 (2016) – reference: Gallina, B.: A model-driven safety certification method for process compliance. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 204–209, (2014) https://doi.org/10.1109/ISSREW.2014.30 – reference: Ruscheinski, A., Wilsdorf, P., Dombrowsky, M., et al.: Capturing and reporting provenance information of simulation studies based on an artifact-based workflow approach. In: Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS ’19), pp. 185–196 (2019) – reference: Zschaler, S., Polack, F.: A family of languages for trustworthy agent-based simulation. In: 13th International Conference on Software Language Engineering (SLE’20) (2020) – reference: Fuentes-FernándezRGalánJMHassanSDemazeauYDignumFCorchadoJMApplication of model driven techniques for agent-based simulationAdvances in Practical Applications of Agents and Multiagent Systems, Advances in Intelligent and Soft Computing2010BerlinSpringer – reference: KwokRHow to pick an electronic laboratory notebookNature201856026927010.1038/d41586-018-05895-3 – reference: LukeSCioffi-RevillaCPanaitLMASON: a multi-agent simulation environmentSimul. Trans. Soc. Model. Simul. Int.2005827517527 – reference: Gell-Mann, M.: The Quark and the Jaguar. Abacus (1995) – reference: Ewald, R., Uhrmacher, A.M.: SESSL: a domain-specific language for simulation experiments. ACM Trans. Model Comput. Simul. 24(2), (2014). https://doi.org/10.1145/2567895 – reference: Meyers, B., Deshayes, R., Lucio, L., et al.: ProMoBox: a framework for generating domain-specific property languages. In: Combemale, B., Pearce, D., Barais, O., et al. (eds.) Software Language Engineering (SLE) (2014) – reference: WilliamsRAGreavesRReadMIn silico investigation into dendritic cell regulation of CD8Treg mediated killing of Th1 cells in murine experimental autoimmune encephalomyelitisBMC Bioinform.201314S6S910.1186/1471-2105-14-S6-S9 – reference: Chacon, S., Straub, B.: Pro Git, 2nd edn. Apress, https://git-scm.com/book/en/v2 (2014) – reference: AldenKReadMTimmisJSpartan: A comprehensive tool for understanding uncertainty in simulations of biological systemsPLoS Comput. Biol.20139219304885810.1371/journal.pcbi.1002916 – year: 2021 ident: 1082_CR34 publication-title: J. Object Technol. doi: 10.5381/jot.2021.20.3.a8 – ident: 1082_CR15 – ident: 1082_CR39 doi: 10.1145/3316480.3325514 – ident: 1082_CR37 doi: 10.1007/978-3-030-94548-0_1 – ident: 1082_CR21 – ident: 1082_CR16 doi: 10.18564/jasss.2166 – year: 2013 ident: 1082_CR35 publication-title: Complex Adapt. Syst. Model. doi: 10.1186/2194-3206-1-3 – volume: 25 start-page: 435 issue: 3 year: 2018 ident: 1082_CR11 publication-title: Autom. Softw. Eng. doi: 10.1007/s10515-017-0230-5 – ident: 1082_CR50 – ident: 1082_CR52 doi: 10.1145/3426425.3426929 – volume: 3 start-page: 172 year: 2012 ident: 1082_CR2 publication-title: Front. Immunol. doi: 10.3389/fimmu.2012.00172 – ident: 1082_CR22 doi: 10.1007/978-3-642-04425-0_41 – ident: 1082_CR12 doi: 10.1145/2567895 – volume: 560 start-page: 269 year: 2018 ident: 1082_CR25 publication-title: Nature doi: 10.1038/d41586-018-05895-3 – volume: 10 start-page: 38 issue: 3 year: 2008 ident: 1082_CR32 publication-title: Comput. Sci. Eng. doi: 10.1109/MCSE.2008.82 – volume: 32 start-page: 45 issue: 5 year: 2015 ident: 1082_CR48 publication-title: IEEE Des. Test doi: 10.1109/MDAT.2015.2462720 – volume: 9 start-page: 1 issue: 2 year: 2013 ident: 1082_CR3 publication-title: PLoS Comput. Biol. doi: 10.1371/journal.pcbi.1002916 – volume-title: Advances in Practical Applications of Agents and Multiagent Systems, Advances in Intelligent and Soft Computing year: 2010 ident: 1082_CR13 – volume: 6 start-page: 156 issue: 2 year: 2018 ident: 1082_CR20 publication-title: Int. J. Agent-Oriented Softw. Eng. doi: 10.1504/IJAOSE.2018.094373 – ident: 1082_CR19 doi: 10.5281/zenodo.47984 – volume: 18 start-page: 14 issue: 3 year: 2015 ident: 1082_CR42 publication-title: J. Artif. Soc. Soc. Simul. doi: 10.18564/jasss.2834 – ident: 1082_CR18 doi: 10.1109/HASE.2015.25 – volume: 18 start-page: 2507 year: 2019 ident: 1082_CR47 publication-title: Softw. Syst. Modell. doi: 10.1007/s10270-018-0679-0 – ident: 1082_CR7 doi: 10.1007/978-3-030-63479-7_11 – ident: 1082_CR14 doi: 10.1109/ISSREW.2014.30 – ident: 1082_CR24 doi: 10.1007/BFb0053381 – ident: 1082_CR9 – ident: 1082_CR30 doi: 10.23919/ANNSIM55834.2022.9859307 – ident: 1082_CR36 – volume: 20 start-page: 1183 year: 2021 ident: 1082_CR45 publication-title: Softw. Syst. Modell. doi: 10.1007/s10270-020-00842-1 – ident: 1082_CR23 doi: 10.1007/978-1-4471-0997-6_5 – volume: 14 start-page: 422 issue: 2 year: 2016 ident: 1082_CR5 publication-title: IEEE Trans. Comput. Biol. – volume: 112 start-page: 107 issue: 2 year: 2013 ident: 1082_CR17 publication-title: Biosystems doi: 10.1016/j.biosystems.2013.03.007 – ident: 1082_CR40 doi: 10.1007/978-1-84996-086-1_1 – ident: 1082_CR26 – ident: 1082_CR1 – year: 2015 ident: 1082_CR4 publication-title: J. R. Soc. Interface doi: 10.1098/rsif.2014.1059 – ident: 1082_CR10 – year: 2013 ident: 1082_CR33 publication-title: Front. Immunol. doi: 10.3389/fimmu.2013.00035 – volume: 82 start-page: 517 issue: 7 year: 2005 ident: 1082_CR28 publication-title: Simul. Trans. Soc. Model. Simul. Int. – ident: 1082_CR6 – start-page: 101 volume-title: Computer Safety, Reliability, and Security year: 2021 ident: 1082_CR29 doi: 10.1007/978-3-030-83903-1_7 – volume: 83 start-page: 162 year: 2018 ident: 1082_CR41 publication-title: Simul. Modell. Pract. Theory doi: 10.1016/j.simpat.2017.11.006 – ident: 1082_CR46 doi: 10.1109/INES.2014.6909375 – volume: 19 start-page: 1 issue: 3 year: 2020 ident: 1082_CR38 publication-title: J. Object Technol. doi: 10.5381/jot.2020.19.3.a6 – ident: 1082_CR27 – ident: 1082_CR31 doi: 10.1007/978-3-319-11245-9_1 – ident: 1082_CR53 doi: 10.1007/978-3-642-12107-4_23 – volume-title: Theory of Modeling and Simulation year: 2018 ident: 1082_CR51 – ident: 1082_CR8 doi: 10.1007/978-1-4842-0076-6 – volume: 15 start-page: 435 issue: 1 year: 2020 ident: 1082_CR43 publication-title: IEEE Syst. J. doi: 10.1109/JSYST.2020.2990488 – volume: 14 start-page: S6 year: 2013 ident: 1082_CR49 publication-title: BMC Bioinform. doi: 10.1186/1471-2105-14-S6-S9 – volume-title: Engineering Simulations as Scientific Instruments: A Pattern Language year: 2018 ident: 1082_CR44 doi: 10.1007/978-3-030-01938-9 |
| SSID | ssib004299466 ssj0027432 |
| Score | 2.3522213 |
| Snippet | Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics... |
| SourceID | pubmedcentral proquest pubmed crossref springer |
| SourceType | Open Access Repository Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 455 |
| SubjectTerms | Agent-based models Behavior Compilers Complex systems Computer Science Design Engineering Experimentation Experiments Expert Voice Hypotheses Information Systems Applications (incl.Internet) Interpreters IT in Business Laboratories Languages Maintainability Modelling Programming Languages Programming Techniques Sensitivity analysis Simulation Software Software Engineering Software Engineering/Programming and Operating Systems Subject specialists Trust |
| SummonAdditionalLinks | – databaseName: SpringerLINK - Czech Republic Consortium dbid: AGYKE link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1Lb9QwEB7B9sKF8ialICNxA1eN7dgJtwq1VCA47UrlFMXOWKygWcTuHuivZybrpGwLSM0xniS2Z-z5Jp4HwCtfGR1VFWUevJEmHqIsS2wk8bptvPbWIgc4f_psT2fmw1lxloLCloO3-3Ak2e_UfwS7KS6Sotj_hxSXrG7DTsEGygR2jt5_-Xi8tccahimj4dUXKiNwU8lcW5uCZ_7-1m0FdQ11XneevHKC2iumk12YDUPa-KN8O1iv_EG4uJLt8aZjvgd3E1IVRxvRug-3sHsAu0MVCJE2hYcwnXLYRu9q-Es0HKklWTW2Yjk_T7XB3gqCmSLQXUEYWbSL82beSQ7yZEcl0Vfj4bB4Mfw9XT6C2cnx9N2pTLUaZDDOrCR6ulwocmKuUhVG9KQGybjzKhA3UCs2NUPbhCJgedhojDY45WODqAqM-jFMukWHT0EEp62OgYBnLI1yVRVs7q3KQ4GtjdFnkA8MqkNKZM71NL7XlymYedpqmra6n7a6yuD1-MyPTRqP_1LvD3yv05Je1tQTrQptTZnBy7GZFiOfsDQdLtZM4wqGrC7P4MlGTMbPaeucJWs9A7clQCMBJ_rebunmX_uE34QYCFWbDN4MUnLZrX-PYu9m5M_gjuoFjb2S9mGy-rnG5wS4Vv5FWl-_AepqIQY priority: 102 providerName: Springer Nature |
| Title | Trustworthy agent-based simulation: the case for domain-specific modelling languages |
| URI | https://link.springer.com/article/10.1007/s10270-023-01082-9 https://www.ncbi.nlm.nih.gov/pubmed/36776402 https://www.proquest.com/docview/2793253648 https://www.proquest.com/docview/2775951071 https://pubmed.ncbi.nlm.nih.gov/PMC9905754 |
| Volume | 22 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVEBS databaseName: EBSCOhost Academic Search Ultimate customDbUrl: https://search.ebscohost.com/login.aspx?authtype=ip,shib&custid=s3936755&profile=ehost&defaultdb=asn eissn: 1619-1374 dateEnd: 20241001 omitProxy: true ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: ABDBF dateStart: 20031001 isFulltext: true titleUrlDefault: https://search.ebscohost.com/direct.asp?db=asn providerName: EBSCOhost – providerCode: PRVEBS databaseName: Inspec with Full Text customDbUrl: eissn: 1619-1374 dateEnd: 20241001 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: ADMLS dateStart: 20020901 isFulltext: true titleUrlDefault: https://www.ebsco.com/products/research-databases/inspec-full-text providerName: EBSCOhost – providerCode: PRVLSH databaseName: SpringerLink Journals customDbUrl: mediaType: online eissn: 1619-1374 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: AFBBN dateStart: 20020901 isFulltext: true providerName: Library Specific Holdings – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: http://www.proquest.com/pqcentral?accountid=15518 eissn: 1619-1374 dateEnd: 20241001 omitProxy: true ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: BENPR dateStart: 20190101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Technology Collection customDbUrl: eissn: 1619-1374 dateEnd: 20241001 omitProxy: true ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: 8FG dateStart: 20020901 isFulltext: true titleUrlDefault: https://search.proquest.com/technologycollection1 providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK - Czech Republic Consortium customDbUrl: eissn: 1619-1374 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: AGYKE dateStart: 20020101 isFulltext: true titleUrlDefault: http://link.springer.com providerName: Springer Nature – providerCode: PRVAVX databaseName: SpringerLink Journals (ICM) customDbUrl: eissn: 1619-1374 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: U2A dateStart: 20020901 isFulltext: true titleUrlDefault: http://www.springerlink.com/journals/ providerName: Springer Nature |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3fb9MwED7B9gIPA8avwJiMxBtYLLZjJ7ygUrWbQEwItdJ4imLHFpVYutHugf-eO9dpVyaWh0ZyXKXpd859tu_uA3hjKyWDqALPnVVchSPPy9I3HLFuGyut1p4SnL-e6pOp-nxWnKUFt0UKq-zfifFF3c4drZG_F2hIopBalR8vLjmpRtHuapLQuAu7uUBLokzx8fG1CVcUKENSU_Fcap2SZlLqnCDJFUHRROgGebXtmG6wzZtBk__snEaHNH4Ie4lJssEK-kdwx3f78KBXaWBp0O7D_WslBx_DZEJJFjEw8A9rKK-KkyNr2WJ2npS8PjAkhcxhK0NGy9r5eTPrOKVkUlgRi9o5lMTO-rXOxROYjkeT4QlPygrcKaOW3Fs8jCtyhEKIygdv0WnhVMwKh_7JS0ETQ9c2rnC-PGqkD9oZYUPjvSh8kE9hp5t3_jkwZ6SWwSFNDKVCkCqnc6tF7grf6hBsBnn_t9YulR0n9Ytf9aZgMkFRIxR1hKKuMni7_s7FqujGrb0PerTqNAAX9cZcMni9voxDh_ZDms7Pr6iPKYhgmjyDZytw17eT2hiNc-sMzBbs6w5Ulnv7Sjf7Gctzo39HDqwyeNcbyOZn_f8pXtz-FC_hnojGSjFDB7Cz_H3lXyEdWtrDaPOHsDs4_vFlhOdPo9Nv37F1qIf4ORWDvzptDS8 |
| linkProvider | ProQuest |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwEB6VcgAOPMorUMBIcAKLxnbsBAkhBCxb-jhtpd5C7IzFSjRb2K1Q_xS_kZlsstulorfmmDgPe8bjb-KZ-QBe-MLoqIoo0-CNNHELZZ5jJUnWdeW1txY5wXlv3w4PzNfD7HAN_vS5MBxW2dvE1lDXk8D_yN8oUiSVaWvy98c_JbNG8e5qT6ExV4sdPP1NLtv03fYnku9LpQafRx-HsmMVkME4M5Po6XAhS-kzlCowoieDTW6IV4FsM2rFTlGoq5AFzLcqjdEGp3ysEFWGUdNzr8BVo7XmWv354MsZB68lRCMQVchUW9sl6XSpeoopXhRHL9GyK4vVhfAcuj0fpPnPTm27AA5uw80OuYoPc1W7A2vYbMCtnhVCdEZiA26cKXF4F0YjTupoAxFPRcV5XJIXzlpMx0cdc9hbQSBUBDorCEGLenJUjRvJKaAcxiRarh5Omhf9v9XpPTi4lDG_D-vNpMGHIILTVsdAsDTmhpSiCDb1VqUhw9rG6BNI-2EtQ1fmnNk2fpTLAs0sipJEUbaiKIsEXi3uOZ4X-biw9WYvrbKb8NNyqZ4JPF9cpqnK-y9Vg5MTbuMyBrQuTeDBXLiL12nrnCVfPgG3IvZFAy4DvnqlGX9vy4ETniDMbRJ43SvI8rP-34tHF_fiGVwbjvZ2y93t_Z3HcF21isvxSpuwPvt1gk8Iis3801b_BXy77An3F8XcR4s |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3fb9MwED6NTkLwwI_xKzDASPAE1hbbsROkCQFbtTGoJtRJewuxY4tKLB20E9q_yF_FXeq0KxN7Wx8bp01y5_N38X33Aby0hZJBFIGnziquwqbnee4rjrauKyut1p4Izl8GevdQfTrKjlbgT8eFobLKLia2gboeO3pHviHQkUQmtco3QiyLONjuvzv5yUlBinZaOzmNKsos1Fttu7FI8tj3Z78xnZts7W2j7V8J0d8ZftzlUXGAO2XUlHuLH-OyFC9RiMIHbzGYY4pihcO47aWghMnVlcuczzcr6YN2RthQeS8yHyT-7jVYNcQX7cHqh53Bwddz6V8rl4YQq-Cp1DpSeCKRT5AAjKDaJlyUebG8TF7AvhdLOP_Zx22Xx_4duBVxLXs_c8S7sOKbNbjdaUawGELW4Oa5Boj3YDgkykdbpnjGKmJ5cVpWazYZHUddsbcMISpz-C1DfM3q8XE1ajgRRKnIibVKPkSpZ92b18l9OLySp_4Aes248Y-AOSO1DA5Ba8gVukzhdGq1SF3max2CTSDtHmvpYhN00uL4US7aN5MpSjRF2ZqiLBJ4PT_nZNYC5NLR6521yhgOJuXCeRN4MT-ME5l2Z6rGj09pjMkI7po0gYcz487_TmpjNGb6CZgls88HUJPw5SPN6HvbLBzRBiJylcCbzkEWl_X_u3h8-V08h-s4-crPe4P9J3BDtH5LxUzr0Jv-OvVPEadN7bM4ARh8u-o59xerE1Jl |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Trustworthy+agent-based+simulation%3A+the+case+for+domain-specific+modelling+languages&rft.jtitle=Software+and+systems+modeling&rft.au=Zschaler%2C+Steffen&rft.au=Polack%2C+Fiona+A.+C&rft.date=2023-04-01&rft.pub=Springer+Nature+B.V&rft.issn=1619-1366&rft.eissn=1619-1374&rft.volume=22&rft.issue=2&rft.spage=455&rft.epage=470&rft_id=info:doi/10.1007%2Fs10270-023-01082-9&rft.externalDBID=HAS_PDF_LINK |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1619-1366&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1619-1366&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1619-1366&client=summon |