{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:12:17Z","timestamp":1743073937167,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"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-89159-6_11","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"162-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3030-3873","authenticated-orcid":false,"given":"Malte","family":"Mauritz","sequence":"first","affiliation":[]},{"given":"Moritz","family":"Roidl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-319-19249-9_20","volume-title":"FM 2015: Formal Methods","author":"G Brat","year":"2015","unstructured":"Brat, G., Bushnell, D., Davies, M., Giannakopoulou, D., Howar, F., Kahsai, T.: Verifying the safety of a flight-critical system. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 308\u2013324. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19249-9_20"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-11164-3_18","volume-title":"Runtime Verification","author":"J Geist","year":"2014","unstructured":"Geist, J., Rozier, K.Y., Schumann, J.: Runtime observer pairs and bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 215\u2013230. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_18"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"11_CR4","unstructured":"Vincent, P., Iijima, K., Driver, M., Wong, J., Natis, Y.: Magic Quadrant for Eterprise Lw-Code Application Platform. Gartner report (2020)"},{"key":"11_CR5","unstructured":"Fowler, M.: Domain-Specific Languages. Pearson Education (2010)"},{"key":"11_CR6","unstructured":"Zweihoff, P., Steffen, B.: A generative approach for user-centered, collaborative, domain-specific modeling environments. arXiv preprint arXiv:2104.09948 (2021)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Crapo, A., Moitra, A., McMillan, C., Russell, D.: Requirements capture and analysis in ASSERT\u2122. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 283\u2013291 (2017)","DOI":"10.1109\/RE.2017.54"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Mavridou, A., et al.: The ten lockheed martin cyber-physical challenges: formalized, analyzed, and explained. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 300\u2013310 (2020)","DOI":"10.1109\/RE48521.2020.00040"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-44429-7_2","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"D Giannakopoulou","year":"2020","unstructured":"Giannakopoulou, D., Pressburger, T., Mavridou, A., Schumann, J.: Generation of formal requirements from structured natural language. In: Madhavji, N., Pasquale, L., Ferrari, A., Gnesi, S. (eds.) REFSQ 2020. LNCS, vol. 12045, pp. 19\u201335. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-44429-7_2"},{"key":"11_CR10","unstructured":"Schwitter, R.: Controlled natural languages for knowledge representation. In: Coling Posters, vol. 2010, pp. 1113\u20131121 (2010)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Pease, A., Li, J.: Controlled English to logic translation. In: Poli, R., Healy, M., Kameas, A. (eds.) Theory and Applications of Ontology: Computer Applications. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-90-481-8847-5_11","DOI":"10.1007\/978-90-481-8847-5_11"},{"key":"11_CR12","unstructured":"Clark, P., Harrison, P., Jenkins, T., Thompson, J.A., Wojcik, R.H., et al.: Acquiring and using world knowledge using a restricted subset of English. In: Flairs conference, pp. 506\u2013511 (2005)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121\u2013170 (2014). https:\/\/www.aclweb.org\/anthology\/J14-1005","DOI":"10.1162\/COLI_a_00168"},{"key":"11_CR14","unstructured":"Fuchs, N.E., Kaljurand, K.: Attempto controlled English meets the challenges of knowledge representation, reasoning, interoperability and user interfaces (2006)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"NE Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto controlled English for knowledge representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104\u2013124. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85658-0_3"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Ambriola, V., Gervasi, V.: Processing natural language requirements. In: Proceedings 12th IEEE International Conference Automated Software Engineering, pp. 36\u201345. IEEE (1997)","DOI":"10.1109\/ASE.1997.632822"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-40648-0_4","volume-title":"NASA Formal Methods","author":"S Ghosh","year":"2016","unstructured":"Ghosh, S., Elenius, D., Li, W., Lincoln, P., Shankar, N., Steiner, W.: ARSENAL: automatic requirements specification extraction from natural language. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 41\u201346. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_4"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science","author":"B Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Hunkeler, U., Truong, H.L., Stanford-Clark, A.: MQTT-S-A publish\/subscribe protocol for wireless sensor networks. In: 2008 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE 2008), pp. 791\u2013798. IEEE (2008)","DOI":"10.1109\/COMSWA.2008.4554519"},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"Pezoa, F., Reutter, J.L., Suarez, F., Ugarte, M., Vrgo\u010d, D.: Foundations of json schema. In: Proceedings of the 25th International Conference on World Wide Web, ser. WWW 2016. Republic and Canton of Geneva, CHE: International World Wide Web Conferences Steering Committee, pp. 263\u2013273 (2016). https:\/\/doi.org\/10.1145\/2872427.2883029","DOI":"10.1145\/2872427.2883029"},{"key":"11_CR21","unstructured":"Internet Engineering Task Force (IETF): The javascript object notation (json) data interchange format (2014). https:\/\/tools.ietf.org\/html\/rfc7159"},{"key":"11_CR22","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference, 2nd edn. Pragmatic Bookshelf (2013)"},{"issue":"4","key":"11_CR23","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:26:26Z","timestamp":1725913586000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_11","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":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}