{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:22:43Z","timestamp":1742934163229,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030672195"},{"type":"electronic","value":"9783030672201"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/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":"http:\/\/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-67220-1_6","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"67-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Requirements to Verifiable Executable Models Using Rebeca"],"prefix":"10.1007","author":[{"given":"Marjan","family":"Sirjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Provenzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Abbaspour Asadollah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahshid Helali","family":"Moghadam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"6_CR1","unstructured":"Rebeca: Rebeca. http:\/\/www.rebeca-lang.org\/. Accessed July 2019"},{"issue":"4","key":"6_CR2","first-page":"385","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-74792-5_5","volume-title":"Formal Methods for Components and Objects","author":"M Sirjani","year":"2007","unstructured":"Sirjani, M.: Rebeca: theory, applications, and tools. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 102\u2013126. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74792-5_5"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-319-95246-8_25","volume-title":"Principles of Modeling","author":"M Sirjani","year":"2018","unstructured":"Sirjani, M.: Power is overrated, go for friendliness! expressiveness, faithfulness, and usability in modeling: the actor experience. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 423\u2013448. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_25"},{"issue":"6","key":"6_CR5","first-page":"1054","volume":"11","author":"M Sirjani","year":"2005","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Model checking, automated abstraction, and compositional verification of Rebeca models. J. UCS 11(6), 1054\u20131082 (2005)","journal-title":"J. UCS"},{"key":"6_CR6","unstructured":"North, D.: Introducing BDD. Better Software Magazine, March 2006. https:\/\/dannorth.net\/introducing-bdd\/. Accessed July 2019"},{"key":"6_CR7","volume-title":"System Design, Modeling, and Simulation using Ptolemy II","author":"C Ptolemaeus","year":"2014","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"key":"6_CR8","unstructured":"Rebeca: Afra Tool (2019). http:\/\/rebeca-lang.org\/alltools\/Afra. Accessed July 2019"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Provenzano, L., H\u00e4ninnen, K., Zhou, J., Lundqvist, K.: An ontological approach to elicit safety requirements. In: Asia-Pacific Software Engineering Conference, APSEC, pp. 713\u2013718 (2017)","DOI":"10.1109\/APSEC.2017.91"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Zhou, J., H\u00e4ninnen, K., Lundqvist, K., Provenzano, L.: An ontological approach to hazard identification for safety-critical systems. In: 2nd International Conference Reliability and System Engineering, ICRSE, pp. 54\u201360 (2017)","DOI":"10.1109\/ICRSE.2017.8030746"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Zhou, J., H\u00e4ninnen, K., Lundqvist, K., Provenzano, L.: An ontological approach to identify the causes of hazards for safety-critical systems. In: 2nd International Conference System Reliability and Safety, ICSRS, pp. 405\u2013413 (2017)","DOI":"10.1109\/ICSRS.2017.8272856"},{"key":"6_CR12","unstructured":"Fowler, M.: ThoughtWorks: GivenWhenThen (2013). https:\/\/martinfowler.com\/bliki\/GivenWhenThen.html. Accessed July 2019"},{"key":"6_CR13","unstructured":"Rebeca: RMC Tool (2016). http:\/\/rebeca-lang.org\/alltools\/RMC. Accessed July 2019"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., et al.: A survey of active object languages. ACM Comput. Surv. 50(5) 76:1\u201376:39 (2017)","DOI":"10.1145\/3122848"},{"issue":"5","key":"6_CR17","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/s10009-017-0480-3","volume":"20","author":"E Khamespanah","year":"2018","unstructured":"Khamespanah, E., Sirjani, M., Mechitov, K., Agha, G.: Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. STTT 20(5), 547\u2013561 (2018). https:\/\/doi.org\/10.1007\/s10009-017-0480-3","journal-title":"STTT"},{"issue":"6","key":"6_CR18","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s00165-017-0429-z","volume":"29","author":"B Yousefi","year":"2017","unstructured":"Yousefi, B., Ghassemi, F., Khosravi, R.: Modeling and efficient verification of wireless ad hoc networks. Formal Asp. Comput. 29(6), 1051\u20131086 (2017). https:\/\/doi.org\/10.1007\/s00165-017-0429-z","journal-title":"Formal Asp. Comput."},{"key":"6_CR19","unstructured":"Sharifi, Z., Mosaffa, M., Mohammadi, S., Sirjani, M.: Functional and performance analysis of network-on-chips using actor-based modeling and formal verification. ECEASST 66, 1\u201316 (2013)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering, ICSE, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: International Conference on Software Engineering, ICSE, pp. 372\u2013381 (2005)","DOI":"10.1145\/1062455.1062526"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Mavin, A., Wilkinson, P., Harwood, A., Novak, M.: Easy approach to requirements syntax (ears). In: IEEE International Requirements Engineering Conference, RE, pp. 317\u2013322 (2009)","DOI":"10.1109\/RE.2009.9"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1109\/TSE.2004.102","volume":"30","author":"S Konrad","year":"2004","unstructured":"Konrad, S., Cheng, B.H.: Real-time specification patterns. IEEE Trans. Softw. Eng. 30, 970\u2013992 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Filipovikj, P., Jagerfield, T., Nyberg, M.G., Rodriguez-Navas, C.S.: Integrating pattern-based formal requirements specification in an industrial tool-chain. In: IEEE Annual Computer Software and Applications Conference, COMPSAC, pp. 167\u2013173 (2016)","DOI":"10.1109\/COMPSAC.2016.140"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Object Management Group: OMG Systems Modeling Language v1.5 (2017). https:\/\/sysmlforum.com\/sysml-specs\/. Accessed July 2019","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"6_CR26","unstructured":"Object Management Group: UML profile for MARTE, beta 2 (2008). https:\/\/www.omg.org\/omgmarte\/Specification.htm. Accessed July 2019"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Alavizadeh, F., Nekoo, A.H., Sirjani, M.: ReUML: a UML profile for modeling and verification of reactive systems. In: International Conference on Software Engineering Advances ICSEA, pp. 50\u201355 (2007)","DOI":"10.1109\/ICSEA.2007.58"},{"key":"6_CR28","unstructured":"MathWorks: Stateflow: model and simulate decision logic using state machines and flow charts (2018). https:\/\/www.mathworks.com\/products\/stateflow.html. Accessed July 2019"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Moln\u00e1r, V., Graics, B., V\u00f6r\u00f6s, A., Majzik, I., Varr\u00f3, D.: The Gamma statechart composition framework. In: International Conference on Software Engineering, ICSE, pp. 113\u2013116 (2018)","DOI":"10.1145\/3183440.3183489"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:18:51Z","timestamp":1610785131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}