AltaRica 3.0 assertions: The whys and wherefores
In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced i...
Gespeichert in:
| Veröffentlicht in: | Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability Journal of risk and reliability, 2017-12, Vol.231 (6), p.691-700 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 700 |
|---|---|
| container_issue | 6 |
| container_start_page | 691 |
| container_title | Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability |
| container_volume | 231 |
| creator | Batteux, Michel Prosvirnova, Tatiana Rauzy, Antoine |
| description | In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced in AltaRica 3.0 to perform changes of states. We show how it can be used to handle complex phenomena such as change in flow directions depending on the states of components. We propose an efficient implementation of this mechanism, thanks to ideas stemmed in theoretical computer science and artificial intelligence. We compare the AltaRica 3.0 approach with alternative ones, including those of the previous versions of the language. |
| doi_str_mv | 10.1177/1748006X17728209 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_1966153540</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sage_id>10.1177_1748006X17728209</sage_id><sourcerecordid>1966153540</sourcerecordid><originalsourceid>FETCH-LOGICAL-c309t-967390b0388e9a9124fc568d4c481a474c2273215928c94e77b29059fcefb7543</originalsourceid><addsrcrecordid>eNp1kM1LAzEQxYMoWKt3jwuet06-E2-laBUKglToLWTTrN1SuzWzRfrfm7IiIniaH8N7b4ZHyDWFEaVa31ItDIBaZGaGgT0hg-OqBNDm9IfV4pxcIK4BhKYKBgTGm86_NMEXfASFR4ypa9ot3hXzVSw-Vwcs_HaZIaZYtyniJTmr_Qbj1fcckteH-_nksZw9T58m41kZONiutEpzCxVwY6L1ljJRB6nMUgRhqBdaBMY0Z1RaZoIVUeuKWZC2DrGutBR8SG763F1qP_YRO7du92mbTzpqlaKSSwFZBb0qpBYxv-h2qXn36eAouGMv7m8v2VL2FvRv8Vfof_ovUoBe6w</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1966153540</pqid></control><display><type>article</type><title>AltaRica 3.0 assertions: The whys and wherefores</title><source>SAGE Complete A-Z List</source><creator>Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine</creator><creatorcontrib>Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine</creatorcontrib><description>In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced in AltaRica 3.0 to perform changes of states. We show how it can be used to handle complex phenomena such as change in flow directions depending on the states of components. We propose an efficient implementation of this mechanism, thanks to ideas stemmed in theoretical computer science and artificial intelligence. We compare the AltaRica 3.0 approach with alternative ones, including those of the previous versions of the language.</description><identifier>ISSN: 1748-006X</identifier><identifier>EISSN: 1748-0078</identifier><identifier>DOI: 10.1177/1748006X17728209</identifier><language>eng</language><publisher>London, England: SAGE Publications</publisher><subject>Artificial intelligence ; Computer simulation ; Discrete event systems</subject><ispartof>Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability, 2017-12, Vol.231 (6), p.691-700</ispartof><rights>IMechE 2017</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c309t-967390b0388e9a9124fc568d4c481a474c2273215928c94e77b29059fcefb7543</citedby><cites>FETCH-LOGICAL-c309t-967390b0388e9a9124fc568d4c481a474c2273215928c94e77b29059fcefb7543</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://journals.sagepub.com/doi/pdf/10.1177/1748006X17728209$$EPDF$$P50$$Gsage$$H</linktopdf><linktohtml>$$Uhttps://journals.sagepub.com/doi/10.1177/1748006X17728209$$EHTML$$P50$$Gsage$$H</linktohtml><link.rule.ids>314,780,784,21817,27922,27923,43619,43620</link.rule.ids></links><search><creatorcontrib>Batteux, Michel</creatorcontrib><creatorcontrib>Prosvirnova, Tatiana</creatorcontrib><creatorcontrib>Rauzy, Antoine</creatorcontrib><title>AltaRica 3.0 assertions: The whys and wherefores</title><title>Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability</title><description>In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced in AltaRica 3.0 to perform changes of states. We show how it can be used to handle complex phenomena such as change in flow directions depending on the states of components. We propose an efficient implementation of this mechanism, thanks to ideas stemmed in theoretical computer science and artificial intelligence. We compare the AltaRica 3.0 approach with alternative ones, including those of the previous versions of the language.</description><subject>Artificial intelligence</subject><subject>Computer simulation</subject><subject>Discrete event systems</subject><issn>1748-006X</issn><issn>1748-0078</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><recordid>eNp1kM1LAzEQxYMoWKt3jwuet06-E2-laBUKglToLWTTrN1SuzWzRfrfm7IiIniaH8N7b4ZHyDWFEaVa31ItDIBaZGaGgT0hg-OqBNDm9IfV4pxcIK4BhKYKBgTGm86_NMEXfASFR4ypa9ot3hXzVSw-Vwcs_HaZIaZYtyniJTmr_Qbj1fcckteH-_nksZw9T58m41kZONiutEpzCxVwY6L1ljJRB6nMUgRhqBdaBMY0Z1RaZoIVUeuKWZC2DrGutBR8SG763F1qP_YRO7du92mbTzpqlaKSSwFZBb0qpBYxv-h2qXn36eAouGMv7m8v2VL2FvRv8Vfof_ovUoBe6w</recordid><startdate>201712</startdate><enddate>201712</enddate><creator>Batteux, Michel</creator><creator>Prosvirnova, Tatiana</creator><creator>Rauzy, Antoine</creator><general>SAGE Publications</general><general>SAGE PUBLICATIONS, INC</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope></search><sort><creationdate>201712</creationdate><title>AltaRica 3.0 assertions: The whys and wherefores</title><author>Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c309t-967390b0388e9a9124fc568d4c481a474c2273215928c94e77b29059fcefb7543</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Artificial intelligence</topic><topic>Computer simulation</topic><topic>Discrete event systems</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Batteux, Michel</creatorcontrib><creatorcontrib>Prosvirnova, Tatiana</creatorcontrib><creatorcontrib>Rauzy, Antoine</creatorcontrib><collection>CrossRef</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><jtitle>Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Batteux, Michel</au><au>Prosvirnova, Tatiana</au><au>Rauzy, Antoine</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>AltaRica 3.0 assertions: The whys and wherefores</atitle><jtitle>Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability</jtitle><date>2017-12</date><risdate>2017</risdate><volume>231</volume><issue>6</issue><spage>691</spage><epage>700</epage><pages>691-700</pages><issn>1748-006X</issn><eissn>1748-0078</eissn><abstract>In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced in AltaRica 3.0 to perform changes of states. We show how it can be used to handle complex phenomena such as change in flow directions depending on the states of components. We propose an efficient implementation of this mechanism, thanks to ideas stemmed in theoretical computer science and artificial intelligence. We compare the AltaRica 3.0 approach with alternative ones, including those of the previous versions of the language.</abstract><cop>London, England</cop><pub>SAGE Publications</pub><doi>10.1177/1748006X17728209</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1748-006X |
| ispartof | Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability, 2017-12, Vol.231 (6), p.691-700 |
| issn | 1748-006X 1748-0078 |
| language | eng |
| recordid | cdi_proquest_journals_1966153540 |
| source | SAGE Complete A-Z List |
| subjects | Artificial intelligence Computer simulation Discrete event systems |
| title | AltaRica 3.0 assertions: The whys and wherefores |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-14T03%3A43%3A00IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=AltaRica%203.0%20assertions:%20The%20whys%20and%20wherefores&rft.jtitle=Proceedings%20of%20the%20Institution%20of%20Mechanical%20Engineers.%20Part%20O,%20Journal%20of%20risk%20and%20reliability&rft.au=Batteux,%20Michel&rft.date=2017-12&rft.volume=231&rft.issue=6&rft.spage=691&rft.epage=700&rft.pages=691-700&rft.issn=1748-006X&rft.eissn=1748-0078&rft_id=info:doi/10.1177/1748006X17728209&rft_dat=%3Cproquest_cross%3E1966153540%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1966153540&rft_id=info:pmid/&rft_sage_id=10.1177_1748006X17728209&rfr_iscdi=true |