On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy
The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the mo...
Gespeichert in:
| Veröffentlicht in: | International journal of agent technologies and systems 2012-10, Vol.4 (4), p.38-60 |
|---|---|
| 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 | 60 |
|---|---|
| container_issue | 4 |
| container_start_page | 38 |
| container_title | International journal of agent technologies and systems |
| container_volume | 4 |
| creator | Valente, Junia Araujo, Frederico Wenkstern, Rym Z |
| description | The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSE’s traffic models. |
| doi_str_mv | 10.4018/jats.2012100103 |
| format | Article |
| fullrecord | <record><control><sourceid>gale_cross</sourceid><recordid>TN_cdi_gale_businessinsightsgauss_A759718854</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><galeid>A759718854</galeid><sourcerecordid>A759718854</sourcerecordid><originalsourceid>FETCH-LOGICAL-c2044-7fca5a44ef0d554b9c84043244877ec4d621c37e17f358973687b2774fc19ab83</originalsourceid><addsrcrecordid>eNp1kUlPxDAMhSsEEuuZa25woJDFnbTHAbFJIBDbNcqkScmokwxxe-Df01ERIAQX25I_2_J7WbbP6DFQVp7MdYfHnDLOKGVUrGVbrAKRU1nw9a8aYDPbRpxTOgFeVFvZw10gt7G2rQ8N0aEmLzZ5543ufAwkOjJtbOjyU422Jk9Ju6FHHv2ib0fiPsWlTZ23SHwg07aN77vZhtMt2r3PvJM9X5w_nV3lN3eX12fTm9xwCpBLZ3ShAayjdVHArDIlUBAcoJTSGqgnnBkhLZNOFGUlxaSUMy4lOMMqPSvFTnY47l2m-NZb7NTCo7Ftq4ONPSom-LCtqgAG9GhEG91aNevRB4tDQN-8dtjoHlFNZVFJVpbFCj8ZcZMiYrJOLZNf6PSuGFUrsdVKbPUt9jBxME74xqt57FMYPv9NqWXtBvL8D_LTATU4oH468N9BEB_e75Xx</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1323249944</pqid></control><display><type>article</type><title>On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy</title><source>Alma/SFX Local Collection</source><creator>Valente, Junia ; Araujo, Frederico ; Wenkstern, Rym Z</creator><creatorcontrib>Valente, Junia ; Araujo, Frederico ; Wenkstern, Rym Z</creatorcontrib><description>The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSE’s traffic models.</description><identifier>ISSN: 1943-0744</identifier><identifier>EISSN: 1943-0752</identifier><identifier>DOI: 10.4018/jats.2012100103</identifier><language>eng</language><publisher>IGI Global</publisher><subject>Agents (artificial intelligence) ; Alloys ; Computer science ; Computer simulation ; Infrastructure ; Set theory ; Strategic planning (Business) ; Traffic congestion ; Traffic engineering ; Traffic flow ; Transportation systems ; Vehicles</subject><ispartof>International journal of agent technologies and systems, 2012-10, Vol.4 (4), p.38-60</ispartof><rights>COPYRIGHT 2012 IGI Global</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c2044-7fca5a44ef0d554b9c84043244877ec4d621c37e17f358973687b2774fc19ab83</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,777,781,27905,27906</link.rule.ids></links><search><creatorcontrib>Valente, Junia</creatorcontrib><creatorcontrib>Araujo, Frederico</creatorcontrib><creatorcontrib>Wenkstern, Rym Z</creatorcontrib><title>On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy</title><title>International journal of agent technologies and systems</title><description>The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSE’s traffic models.</description><subject>Agents (artificial intelligence)</subject><subject>Alloys</subject><subject>Computer science</subject><subject>Computer simulation</subject><subject>Infrastructure</subject><subject>Set theory</subject><subject>Strategic planning (Business)</subject><subject>Traffic congestion</subject><subject>Traffic engineering</subject><subject>Traffic flow</subject><subject>Transportation systems</subject><subject>Vehicles</subject><issn>1943-0744</issn><issn>1943-0752</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><sourceid>N95</sourceid><recordid>eNp1kUlPxDAMhSsEEuuZa25woJDFnbTHAbFJIBDbNcqkScmokwxxe-Df01ERIAQX25I_2_J7WbbP6DFQVp7MdYfHnDLOKGVUrGVbrAKRU1nw9a8aYDPbRpxTOgFeVFvZw10gt7G2rQ8N0aEmLzZ5543ufAwkOjJtbOjyU422Jk9Ju6FHHv2ib0fiPsWlTZ23SHwg07aN77vZhtMt2r3PvJM9X5w_nV3lN3eX12fTm9xwCpBLZ3ShAayjdVHArDIlUBAcoJTSGqgnnBkhLZNOFGUlxaSUMy4lOMMqPSvFTnY47l2m-NZb7NTCo7Ftq4ONPSom-LCtqgAG9GhEG91aNevRB4tDQN-8dtjoHlFNZVFJVpbFCj8ZcZMiYrJOLZNf6PSuGFUrsdVKbPUt9jBxME74xqt57FMYPv9NqWXtBvL8D_LTATU4oH468N9BEB_e75Xx</recordid><startdate>20121001</startdate><enddate>20121001</enddate><creator>Valente, Junia</creator><creator>Araujo, Frederico</creator><creator>Wenkstern, Rym Z</creator><general>IGI Global</general><scope>AAYXX</scope><scope>CITATION</scope><scope>N95</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20121001</creationdate><title>On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy</title><author>Valente, Junia ; Araujo, Frederico ; Wenkstern, Rym Z</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c2044-7fca5a44ef0d554b9c84043244877ec4d621c37e17f358973687b2774fc19ab83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Agents (artificial intelligence)</topic><topic>Alloys</topic><topic>Computer science</topic><topic>Computer simulation</topic><topic>Infrastructure</topic><topic>Set theory</topic><topic>Strategic planning (Business)</topic><topic>Traffic congestion</topic><topic>Traffic engineering</topic><topic>Traffic flow</topic><topic>Transportation systems</topic><topic>Vehicles</topic><toplevel>online_resources</toplevel><creatorcontrib>Valente, Junia</creatorcontrib><creatorcontrib>Araujo, Frederico</creatorcontrib><creatorcontrib>Wenkstern, Rym Z</creatorcontrib><collection>CrossRef</collection><collection>Gale Business: Insights</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>International journal of agent technologies and systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Valente, Junia</au><au>Araujo, Frederico</au><au>Wenkstern, Rym Z</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy</atitle><jtitle>International journal of agent technologies and systems</jtitle><date>2012-10-01</date><risdate>2012</risdate><volume>4</volume><issue>4</issue><spage>38</spage><epage>60</epage><pages>38-60</pages><issn>1943-0744</issn><eissn>1943-0752</eissn><abstract>The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSE’s traffic models.</abstract><pub>IGI Global</pub><doi>10.4018/jats.2012100103</doi><tpages>23</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1943-0744 |
| ispartof | International journal of agent technologies and systems, 2012-10, Vol.4 (4), p.38-60 |
| issn | 1943-0744 1943-0752 |
| language | eng |
| recordid | cdi_gale_businessinsightsgauss_A759718854 |
| source | Alma/SFX Local Collection |
| subjects | Agents (artificial intelligence) Alloys Computer science Computer simulation Infrastructure Set theory Strategic planning (Business) Traffic congestion Traffic engineering Traffic flow Transportation systems Vehicles |
| title | On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-21T08%3A39%3A16IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-gale_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=On%20Modeling%20and%20Verification%20of%20Agent-Based%20Traffic%20Simulation%20Properties%20in%20Alloy&rft.jtitle=International%20journal%20of%20agent%20technologies%20and%20systems&rft.au=Valente,%20Junia&rft.date=2012-10-01&rft.volume=4&rft.issue=4&rft.spage=38&rft.epage=60&rft.pages=38-60&rft.issn=1943-0744&rft.eissn=1943-0752&rft_id=info:doi/10.4018/jats.2012100103&rft_dat=%3Cgale_cross%3EA759718854%3C/gale_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1323249944&rft_id=info:pmid/&rft_galeid=A759718854&rfr_iscdi=true |