{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:00:17Z","timestamp":1743076817400,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030819149"},{"type":"electronic","value":"9783030819156"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_13","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"283-299","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Afra in Different Domains by Tool Orchestration"],"prefix":"10.1007","author":[{"given":"Ehsan","family":"Khamespanah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavle","family":"Mrvaljevic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anas","family":"Fattouh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"13_CR1","unstructured":"Gul A. Agha. ACTORS - A Model of Concurrent Computation in Distributed Systems. MIT Press."},{"key":"13_CR2","unstructured":"Gul Agha and Carl Hewitt. \u201cConcurrent programming using actors\u201d. In: (1987), pp. 37\u201353."},{"key":"13_CR3","unstructured":"Akka. Typesafe, Inc. Akka. 2009."},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, and Marjan Sirjani. \u201cSafe Design of Flow Management Systems Using Rebeca\u201d. In: Journal of Information Processing 28 (2020), pp. 588\u2013 598. https:\/\/doi.org\/10.2197\/ipsjjip.28.588.","DOI":"10.2197\/ipsjjip.28.588"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Dennis Guck, Tingting Han, Joost-Pieter Katoen, and Martin R. Neuh\u00e4u\u00dfer. \u201cQuantitative timed analysis of interactive Markov chains\u201d. In: 4th international conference on NASA Formal Methods. 2012, pp. 8\u201323.","DOI":"10.1007\/978-3-642-28891-3_4"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Francisco Dur\u00e1n, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https:\/\/doi.org\/10.1007\/978-3-030-81915-6.","DOI":"10.1007\/978-3-030-81915-6"},{"key":"13_CR7","unstructured":"C. Hewitt. Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot. MIT Artificial Intelligence Technical Report 258. Department of Computer Science, MIT, 1972."},{"key":"13_CR8","unstructured":"Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, and Holger Hermanns. \u201cPerformance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors\u201d. In: (2014). http:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/984."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, and Matteo Cimini. \u201cPTRebeca: Modeling and analysis of distributed and asynchronous systems\u201d. In: Science of Computer Programming 128 (2016), pp. 22\u201350.","DOI":"10.1016\/j.scico.2016.03.004"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, and Ramtin Khosravi. \u201cFloating Time Transition System: More Efficient Analysis of Timed Actors\u201d. In: 12th International Conference Formal Aspects of Component Software. 2015, pp. 237\u2013255. https:\/\/doi.org\/10.1007\/978-3-319-28934-2_13.","DOI":"10.1007\/978-3-319-28934-2_13"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, and Gul Agha. \u201cModeling and analyzing real-time wireless sensor and actuator networks using actors and model checking\u201d. In: International Journal on Software Tools for Technology Transfer 20.5 (2018), pp. 547\u2013561.","DOI":"10.1007\/s10009-017-0480-3"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Ehsan Khamespanah, Ramtin Khosravi, and Marjan Sirjani. \u201cAn efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models\u201d. In: Science of Computer Programming 153 (2018), pp. 1\u201329.","DOI":"10.1016\/j.scico.2017.11.004"},{"key":"13_CR13","volume-title":"Tool Orchestration for Modeling, Verification, and Analysis of Collaborating Autonomous Machines","author":"Pavle Mrvaljevic","year":"2020","unstructured":"Pavle Mrvaljevic. Tool Orchestration for Modeling, Verification, and Analysis of Collaborating Autonomous Machines. Master Thesis. M\u00e4lardalen University, 2020."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Peter Csaba \u00d6lveczky and Jos\u00e9 Meseguer. \u201cSemantics and pragmatics of Real-Time Maude\u201d. In: Higher-Order and Symbolic Computation 20.1-2 (2007), pp. 161\u2013196.","DOI":"10.1007\/s10990-007-9001-5"},{"key":"13_CR15","unstructured":"Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng. \u201cWorkshop on Open Source Software in Robotics\u201d. In: vol. 3. 3.2. 2009, p. 5."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ing\u00f3lfsd\u00f3ttir, and Steinar Hugi Sigurdarson. \u201cModelling and Simulation of Asynchronous Real-Time Systems Using Timed Rebeca\u201d. In: Science of Computer Programming 89 (2014), pp. 41\u201368.","DOI":"10.1016\/j.scico.2014.01.008"},{"key":"13_CR17","unstructured":"Marjan Sirjani, Ali Movaghar, Amin Shali, and Frank S. de Boer. \u201cModeling and Verification of Reactive Systems using Rebeca\u201d. In: Fundamenta Informaticae 63.4 (2004), pp. 385\u2013410."},{"key":"13_CR18","doi-asserted-by":"publisher","unstructured":"Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, and Ali Sedaghatbaf. \u201cAn Actor-Based Design Platform for System of Systems\u201d. In: 43rd IEEE Annual Computer Software and Applications Conference. 2019, pp. 579\u2013587. https:\/\/doi.org\/10.1109\/COMPSAC.2019.00089.","DOI":"10.1109\/COMPSAC.2019.00089"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Marjan Sirjani and Ehsan Khamespanah. \u201cOn Time Actors\u201d. In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. 2016, pp. 373\u2013392. https:\/\/doi.org\/10.1007\/978-3-319-30734-3_25.","DOI":"10.1007\/978-3-319-30734-3_25"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Mahsa Varshosaz and Ramtin Khosravi. \u201cModeling and Verification of Probabilistic Actor Systems Using pRebeca\u201d. In: 14th International Conference on Formal Engineering Methods. 2012, pp. 135\u2013150. https:\/\/doi.org\/10.1007\/978-3-642-34281-3_12.","DOI":"10.1007\/978-3-642-34281-3_12"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, and Ali Movaghar. \u201cVeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance\u201d. In: International Journal on Software Tools for Technology Transfer 22.5 (2020), pp. 617\u2013633. https:\/\/doi.org\/10.1007\/s10009-020-00579-8.","DOI":"10.1007\/s10009-020-00579-8"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:22:25Z","timestamp":1638890545000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_13","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}