{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:48Z","timestamp":1740099168002,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030028510"},{"type":"electronic","value":"9783030028527"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02852-7_2","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T13:41:45Z","timestamp":1539783705000},"page":"17-29","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An MDA Approach for the Specification of Relay-Based Diagrams"],"prefix":"10.1007","author":[{"given":"Dalay Israel","family":"de Almeida Pereira","sequence":"first","affiliation":[]},{"given":"Ouahmed","family":"Malki","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Bon","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/linproxy.fan.workers.dev:443\/https\/orcid.org\/0000-0002-9726-2458","authenticated-orcid":false,"given":"Matthieu","family":"Perin","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Collart-Dutilleul","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"key":"2_CR1","unstructured":"Meta object facility (mof) 2.0 query\/view\/transformation specification. OMG Standard ptc\/07-07-07, Object Management Group (OMG) (2007)"},{"key":"2_CR2","unstructured":"MOF Model to Text Transformation Language, v1.0. OMG Specification formal\/2008-01-16, Object Managment Group (OMG), January 2008"},{"key":"2_CR3","unstructured":"Unified Modeling Language v2.5. OMG Specification, Object Management Group (OMG), March 2015"},{"key":"2_CR4","unstructured":"Aan\u00e6s, M., Thai, H.P.: Modelling and verification of relay interlocking systems. Master Thesis, Technical University of Denmark, DTU Informatics, Asmussens Alle, Building 305, DK-2800 Kgs. Lyngby, Denmark (2012)"},{"key":"2_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.5381\/jot.2015.14.3.a1","volume":"14","author":"Moussa Amrani","year":"2015","unstructured":"Amrani, M., et al.: Formal verification techniques for model transformations: a tridimensional classification. J. Object Technol. 14(3) (2015)","journal-title":"The Journal of Object Technology"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Barnard, R.: 3.2. 2 what is wrong with reliability engineering? In: INCOSE International Symposium, vol. 18, pp. 357\u2013365. Wiley Online Library (2008)","DOI":"10.1002\/j.2334-5837.2008.tb00811.x"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Cetinkaya, D., Verbraeck, A.: Metamodeling and model transformations in modeling and simulation. In: Proceedings of the Winter Simulation Conference, pp. 3048\u20133058. Winter Simulation Conference (2011)","DOI":"10.1109\/WSC.2011.6148005"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"EJ Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE softw. 7(1), 13\u201317 (1990)","journal-title":"IEEE softw."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Clark, T., Willans, J.: Software language engineering with XMF and XModeler. In: Computational Linguistics: Concepts, Methodologies, Tools, and Applications, pp. 866\u2013896. IGI Global (2014)","DOI":"10.4018\/978-1-4666-6042-7.ch042"},{"key":"2_CR11","unstructured":"Duby, C.K., Solutions, P.: Accelerating embedded software development with a model driven architecture\u00ae. Technical report, Pathfinder Solutions (2003)"},{"key":"2_CR12","unstructured":"Fleurey, F., Drey, Z., Vojtisek, D., Faucher, C., Mah\u00e9, V.: Kermeta language - reference manual (2010)"},{"key":"2_CR13","unstructured":"Fondement, F.: Concrete syntax definition for modeling languages. Ph.D. thesis, \u00c9cole polytechnique f\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, SW (2007)"},{"issue":"72","key":"2_CR14","first-page":"16","volume":"30","author":"S Gao","year":"2009","unstructured":"Gao, S., Sperberg-McQueen, C.M., Thompson, H.S., Mendelsohn, N., Beech, D., Maloney, M.: W3C XML schema definition language (XSD) 1.1 part 1: structures. W3C Candidate Recommendation 30(72), 16 (2009)","journal-title":"W3C Candidate Recommendation"},{"key":"2_CR15","unstructured":"Goubet, L., Delaigue, L.: Acceleo user guide (2008)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-21292-5_10","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"AE Haxthausen","year":"2011","unstructured":"Haxthausen, A.E.: Towards a framework for modelling and verification of relay interlocking systems. In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol. 6662, pp. 176\u2013192. Springer, Heidelberg (2011). https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978-3-642-21292-5_10"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Hinchey, M., Coyle, L.: Evolving critical systems: a research agenda for computer-based systems. In: 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp. 430\u2013435. IEEE (2010)","DOI":"10.1109\/ECBS.2010.56"},{"key":"2_CR18","volume-title":"MDA Distilled: Principles of Model-driven Architecture","author":"SJ Mellor","year":"2004","unstructured":"Mellor, S.J.: MDA Distilled: Principles of Model-driven Architecture. Addison-Wesley Professional, Boston (2004)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46105-1_33","volume-title":"Advances in Object-Oriented Information Systems","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: Model-driven architecture. In: Bruel, J.-M., Bellahsene, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 290\u2013297. Springer, Heidelberg (2002). https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/3-540-46105-1_33"},{"key":"2_CR20","unstructured":"Overbeek, J.: Meta Object Facility (MOF): investigation of the state of the art. Master\u2019s thesis, University of Twente (2006)"},{"key":"2_CR21","unstructured":"Parviainen, P., Takalo, J., Teppola, S., Tihinen, M.: Model-driven development processes and practices. Technical report, VTT Technical Research Centre of Finland (2009)"},{"key":"2_CR22","unstructured":"R\u00e9tiveau, R.: La signalisation ferroviaire. Presse de l\u2019\u00e9cole nationale des Ponts et Chauss\u00e9es (1987)"},{"key":"2_CR23","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)"},{"key":"2_CR24","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: A Domain-specific language for railway interlocking systems, pp. 200\u2013209. Technische Universit\u00e4t Braunschweig, Braunschweig, Germany (2014)"}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02852-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T21:19:23Z","timestamp":1572124763000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-030-02852-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030028510","9783030028527"],"references-count":24,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978-3-030-02852-7_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/linproxy.fan.workers.dev:443\/http\/medi2018.uca.ma\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}