{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:09Z","timestamp":1750220949773,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:00:00Z","timestamp":1553644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,3,27]]},"DOI":"10.1145\/3320326.3320373","type":"proceedings-article","created":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:12:03Z","timestamp":1558451523000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semi-Automatic Generation of Transformation Rules"],"prefix":"10.1145","author":[{"given":"Karima","family":"Berramla","sequence":"first","affiliation":[{"name":"University of Ahmed, Ben Bella, Oran1, Route Es-Senia, Oran, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"El Abbassia","family":"Deba","sequence":"additional","affiliation":[{"name":"University of Ahmed, Ben Bella, Oran1, Route Es-Senia, Oran, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Elkamel","family":"Hamdane","sequence":"additional","affiliation":[{"name":"MISC Laboratory of Constantine 2 University Constantine, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abou El Hassen","family":"Benyamina","sequence":"additional","affiliation":[{"name":"University of Ahmed, Ben Bella, Oran1, Route Es-Senia, Oran, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,3,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IT4OD.2016.7479253"},{"key":"e_1_3_2_1_2_1","first-page":"3","article-title":"A contribution to the specification of model transformations with metamodel matching approach","volume":"8","author":"Berramla K.","year":"2017","unstructured":"Berramla , K. , Deba , E. A. , Benyamina , A. E. H. , and Benhamamouch , D . A contribution to the specification of model transformations with metamodel matching approach . IJISMD 8 , 3 ( 2017 ), 1--23. Berramla, K., Deba, E. A., Benyamina, A. E. H., and Benhamamouch, D. A contribution to the specification of model transformations with metamodel matching approach. IJISMD 8, 3 (2017), 1--23.","journal-title":"IJISMD"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDIS.2017.8284044"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755951.1755907"},{"key":"e_1_3_2_1_6_1","volume-title":"Universit\u00e9 Montpellier II - Sciences et Techniques du Languedoc","author":"Dolques X.","year":"2010","unstructured":"Dolques , X. G\u00e9n\u00e9ration de Transformations de Mod\u00e8les: une approche bas\u00e9e sur les treillis de Galois. Theses , Universit\u00e9 Montpellier II - Sciences et Techniques du Languedoc , Nov. 2010 . Dolques, X. G\u00e9n\u00e9ration de Transformations de Mod\u00e8les: une approche bas\u00e9e sur les treillis de Galois. Theses, Universit\u00e9 Montpellier II - Sciences et Techniques du Languedoc, Nov. 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_24"},{"key":"e_1_3_2_1_8_1","volume-title":"The topcased project: a toolkit in open source for critical aeronautic systems design. Embedded Real Time Software (ERTS) 781","author":"Farail P.","year":"2006","unstructured":"Farail , P. , Gaufillet , P. , Canals , A. , Le Camus , C. , Sciamma , D. , Michel , P. , Cr\u00e9gut , X. , and Pantel , M . The topcased project: a toolkit in open source for critical aeronautic systems design. Embedded Real Time Software (ERTS) 781 ( 2006 ), 54--59. Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Cr\u00e9gut, X., and Pantel, M. The topcased project: a toolkit in open source for critical aeronautic systems design. Embedded Real Time Software (ERTS) 781 (2006), 54--59."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38883-5_2"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"2017 First International Conference on Embedded Distributed Systems (EDiS) (Dec","author":"Hamdane M. E.","year":"2017","unstructured":"Hamdane , M. E. , Berramla , K. , and Chaoui , A . Using mda with model checking to ensure the development of consistent aadl models . In 2017 First International Conference on Embedded Distributed Systems (EDiS) (Dec 2017 ), pp. 1 -- 6 . Hamdane, M. E., Berramla, K., and Chaoui, A. Using mda with model checking to ensure the development of consistent aadl models. In 2017 First International Conference on Embedded Distributed Systems (EDiS) (Dec 2017), pp. 1--6."},{"key":"e_1_3_2_1_11_1","unstructured":"Hammoudi S. Feki J. and Lafi L. Metamodel matching techniques: Review comparison and evaluation. International Journal of Information System Modeling and Design.  Hammoudi S. Feki J. and Lafi L. Metamodel matching techniques: Review comparison and evaluation. International Journal of Information System Modeling and Design."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176691"},{"key":"e_1_3_2_1_13_1","volume-title":"Transformation by example","author":"Kessentini M.","year":"2011","unstructured":"Kessentini , M. Transformation by example , 2011 . Kessentini, M. Transformation by example, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_22"},{"key":"e_1_3_2_1_15_1","volume-title":"International Conference on 0","author":"Lopes D.","year":"2006","unstructured":"Lopes , D. , Hammoudi , S. , de Souza , J. , and Bontempo , A . Metamodel matching: Experiments and comparison. Software Engineering Advances , International Conference on 0 ( 2006 ), 2. Lopes, D., Hammoudi, S., de Souza, J., and Bontempo, A. Metamodel matching: Experiments and comparison. Software Engineering Advances, International Conference on 0 (2006), 2."},{"key":"e_1_3_2_1_16_1","first-page":"11","volume-title":"CLA: Concept Lattices and their Applications","author":"Saada H.","year":"2014","unstructured":"Saada , H. , Huchard , M. , Liqui\u00e8re , M. , and Nebut , C . Learning model transformation patterns using graph generalization . In CLA: Concept Lattices and their Applications ( 2014 ), vol. 1252 , pp. 11 -- 22 . Saada, H., Huchard, M., Liqui\u00e8re, M., and Nebut, C. Learning model transformation patterns using graph generalization. In CLA: Concept Lattices and their Applications (2014), vol. 1252, pp. 11--22."},{"key":"e_1_3_2_1_17_1","volume-title":"The fast guide to model driven architecture the basics of model driven architecture. Cephas Consulting Corp","author":"Truyen F.","year":"2006","unstructured":"Truyen , F. The fast guide to model driven architecture the basics of model driven architecture. Cephas Consulting Corp ( 2006 ). Truyen, F. The fast guide to model driven architecture the basics of model driven architecture. Cephas Consulting Corp (2006)."}],"event":{"name":"NISS19: Networking, Information Systems & Security","acronym":"NISS19","location":"Rabat Morocco"},"container-title":["Proceedings of the 2nd International Conference on Networking, Information Systems & Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3320326.3320373","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3320326.3320373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:56Z","timestamp":1750204436000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3320326.3320373"}},"subtitle":["From AADL to Timed Automata"],"short-title":[],"issued":{"date-parts":[[2019,3,27]]},"references-count":16,"alternative-id":["10.1145\/3320326.3320373","10.1145\/3320326"],"URL":"https:\/\/doi.org\/10.1145\/3320326.3320373","relation":{},"subject":[],"published":{"date-parts":[[2019,3,27]]},"assertion":[{"value":"2019-03-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}