{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T10:04:44Z","timestamp":1743415484659},"reference-count":54,"publisher":"Elsevier BV","issue":"2","content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computer Languages, Systems & Structures"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1016\/j.cl.2014.02.001","type":"journal-article","created":{"date-parts":[[2014,2,17]],"date-time":"2014-02-17T17:46:35Z","timestamp":1392659195000},"page":"53-72","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"title":["A model driven architecture for the development of smart card software"],"prefix":"10.1016","volume":"40","author":[{"given":"Hidayet Burak","family":"Saritas","sequence":"first","affiliation":[]},{"given":"Geylani","family":"Kardas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.cl.2014.02.001_bib1","series-title":"Smart card handbook","author":"Rankl","year":"2010"},{"key":"10.1016\/j.cl.2014.02.001_bib2","unstructured":"ISO\/IEC 7816 Standards. ISO\/IEC 7816 standards family for identification cards \u2013 integrated circuit cards. \u3008http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_tc_browse.htm?commid=45144\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib3","doi-asserted-by":"crossref","unstructured":"Erdur R.C., Kardas G. Personalized access to semantic web agents using smart cards. In: Lecture notes in computer science, vol. 3648; 2005. p. 1110\u20139.","DOI":"10.1007\/11549468_121"},{"issue":"1","key":"10.1016\/j.cl.2014.02.001_bib4","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.cmpb.2005.10.006","article-title":"Design and implementation of a smart card based healthcare information system","volume":"81","author":"Kardas","year":"2006","journal-title":"Comput Methods Prog Biomed"},{"key":"10.1016\/j.cl.2014.02.001_bib5","doi-asserted-by":"crossref","unstructured":"Kardas G, Celikel EA. Smart card mediated mobile platform for secure e-mail communication. In: Fourth international conference on information technology: new generations (ITNG 2007). Las Vegas, USA: IEEE Computer Society Press; 2007. p. 925\u20136.","DOI":"10.1109\/ITNG.2007.21"},{"issue":"2","key":"10.1016\/j.cl.2014.02.001_bib6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","article-title":"Guest editor\u05f3s introduction: model-driven engineering","volume":"39","year":"2006","journal-title":"IEEE Comput"},{"key":"10.1016\/j.cl.2014.02.001_bib7","unstructured":"Object Management Group. Model driven architecture. \u3008http:\/\/www.omg.org\/mda\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib8","series-title":"Model driven architecture: applying MDA to enterprise computing","author":"Frankel","year":"2003"},{"key":"10.1016\/j.cl.2014.02.001_bib9","unstructured":"Coglio A. Code generation for high-assurance Java Card applets. In: Third NSA conference on high confidence software and systems; 2003. p. 85\u201393."},{"key":"10.1016\/j.cl.2014.02.001_bib10","doi-asserted-by":"crossref","unstructured":"Tatibouet B., Requet A., Voisinet J.C., Hammad A. Java Card code generation from B specifications. In: Lecture notes in computer science, vol. 2885; 2003. p. 306\u201318.","DOI":"10.1007\/978-3-540-39893-6_18"},{"key":"10.1016\/j.cl.2014.02.001_bib11","doi-asserted-by":"crossref","unstructured":"Gomes BEG, Moreira AM, Deharbe D. Developing Java Card applications with B. In: Electronic notes in theoretical computer science, vol. 184; 2007. p. 81\u201396.","DOI":"10.1016\/j.entcs.2007.03.016"},{"key":"10.1016\/j.cl.2014.02.001_bib12","doi-asserted-by":"crossref","unstructured":"Coglio A, Green CA. Constructive approach to correctness, exemplified by a generator for certified Java Card Applets. In: Lecture notes in computer science, vol. 4171; 2008. p. 57\u201363.","DOI":"10.1007\/978-3-540-69149-5_7"},{"key":"10.1016\/j.cl.2014.02.001_bib13","unstructured":"Sun Microsystems. Java Card Technology. \u3008http:\/\/java.sun.com\/javacard\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib14","unstructured":"ZeitControl Card Systems GmbH. Basic Card. \u3008http:\/\/www.basiccard.com\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib15","series-title":"Smart card application development using Java","author":"Hansmann","year":"2000"},{"key":"10.1016\/j.cl.2014.02.001_bib16","unstructured":"Saritas HB, Kardas G. Model driven development of smartcard software. In: Third Turkish software architecture conference (UYMK 2010), Ankara, Turkey; 2010. p. 34\u201344 [in Turkish]."},{"key":"10.1016\/j.cl.2014.02.001_bib17","unstructured":"Eclipse Community. Eclipse modeling framework. \u3008http:\/\/www.eclipse.org\/modeling\/emf\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib18","series-title":"The object constraint language: getting your models ready for MDA","author":"Warmer","year":"2003"},{"key":"10.1016\/j.cl.2014.02.001_bib19","unstructured":"Object Management Group. Object constraint language (OCL). \u3008http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib20","unstructured":"Eclipse Community. Eclipse platform. \u3008http:\/\/www.eclipse.org\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib21","unstructured":"Eclipse Community. Graphical modeling framework. \u3008http:\/\/www.eclipse.org\/modeling\/gmf\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib22","series-title":"Java Card technology for smart cards: architecture and programmer\u2019s guide","author":"Chen","year":"2000"},{"key":"10.1016\/j.cl.2014.02.001_bib23","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","article-title":"Model transformation \u2013 the heart and soul of model driven software development","volume":"20","author":"Sendall","year":"2003","journal-title":"IEEE Softw"},{"key":"10.1016\/j.cl.2014.02.001_bib24","unstructured":"Duddy K, Gerber A, Lawley M, Raymond K, Steel J. Model transformation: a declarative, reusable patterns approach. In: Seventh IEEE international enterprise distributed object computing conference (EDOC 2003), Brisbane, Queensland, Australia; 2003. p. 174\u201385."},{"key":"10.1016\/j.cl.2014.02.001_bib25","doi-asserted-by":"crossref","unstructured":"Kalnins A., Barzdins J., Celms E. Model transformation language MOLA. In: Lecture notes in computer science, vol. 3599; 2005. p. 62\u201376.","DOI":"10.1007\/11538097_5"},{"issue":"3","key":"10.1016\/j.cl.2014.02.001_bib26","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","article-title":"The design of a language for model transformation","volume":"5","author":"Agrawal","year":"2006","journal-title":"Softw Syst Model"},{"issue":"1 and 2","key":"10.1016\/j.cl.2014.02.001_bib27","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","article-title":"ATL: a model transformation tool","volume":"72","author":"Jouault","year":"2008","journal-title":"Sci Comput Program"},{"key":"10.1016\/j.cl.2014.02.001_bib28","unstructured":"ATLAS Group. ATL user manual. \u3008http:\/\/www.eclipse.org\/m2m\/atl\/doc\/ATL_User_ Manual[v0.7].pdf\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib29","unstructured":"Eclipse Community. ATL model transformation language and toolkit. \u3008http:\/\/www.eclipse.org\/atl\/\u3009 [accessed December 2013]."},{"key":"10.1016\/j.cl.2014.02.001_bib30","doi-asserted-by":"crossref","unstructured":"Oldevik J., Neple T., Gronmo R., Aagedal J., Berre A.J. Toward standardised model to text transformations. In: Lecture notes in computer science, vol. 3748; 2005. p. 239\u201353.","DOI":"10.1007\/11581741_18"},{"key":"10.1016\/j.cl.2014.02.001_bib31","unstructured":"Oracle Corporation. Java Card 3.0.1 platform specification. \u3008http:\/\/java.sun.com\/javacard\/3.0.1\/specs.jsp\u3009 [accessed December 2013]."},{"issue":"4","key":"10.1016\/j.cl.2014.02.001_bib32","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/1118890.1118892","article-title":"When and how to develop domain-specific languages","volume":"37","author":"Mernik","year":"2005","journal-title":"ACM Comput Surv"},{"key":"10.1016\/j.cl.2014.02.001_bib33","doi-asserted-by":"crossref","unstructured":"Bonnet S., Potonniee O., Marvie R., Geib, J.M.A Model-driven approach for smart card configuration. In: Lecture notes in computer science, vol. 3286; 2004. p. 416\u201335.","DOI":"10.1007\/978-3-540-30175-2_22"},{"key":"10.1016\/j.cl.2014.02.001_bib34","unstructured":"Bonnet S, Marvie R, Geib JM. Putting concern-oriented modeling into practice. In: Second Nordic workshop on UML, modeling, methods and tools, Turku, Finland; 2004."},{"key":"10.1016\/j.cl.2014.02.001_bib35","doi-asserted-by":"crossref","unstructured":"Moebius N, Stenzel K, Grandy H, Reif W. SecureMDD: a model-driven development method for secure smart card applications. In: Fourth international conference on availability, reliability and security, IEEE Computer Society Press; 2009. p. 841\u20136.","DOI":"10.1109\/ARES.2009.22"},{"key":"10.1016\/j.cl.2014.02.001_bib36","series-title":"The B-Book: assigning programs to meanings","author":"Abrial","year":"1996"},{"key":"10.1016\/j.cl.2014.02.001_bib37","first-page":"19","article-title":"Model driven development of Java Card software","volume":"4","author":"Saritas","year":"2011","journal-title":"Turkish Inf Found J Comput Sci Eng"},{"key":"10.1016\/j.cl.2014.02.001_bib38","unstructured":"Nikseresht A, Ziarati K. MDA based framework for the development of smart card based application. In: 2011 international multiconference of engineers and computer scientist, Hong Kong; 2011. p. 1\u20136."},{"issue":"4","key":"10.1016\/j.cl.2014.02.001_bib39","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MS.2009.93","article-title":"Habitation: a domain specific language for home automation","volume":"26","author":"Jimenez","year":"2009","journal-title":"IEEE Softw"},{"key":"10.1016\/j.cl.2014.02.001_bib40","doi-asserted-by":"crossref","unstructured":"Heijstek W, Chaudron MRV. Empirical investigations of model size, complexity and effort in a large scale, distributed model driven development process. In: 35th Euromicro conference on software engineering and advanced applications (SEAA 2009), IEEE Computer Society Press; 2009. p. 113\u201320.","DOI":"10.1109\/SEAA.2009.70"},{"key":"10.1016\/j.cl.2014.02.001_bib41","first-page":"151","article-title":"Design and implementation of domain-specific language easytime","volume":"37","author":"Fister","year":"2011","journal-title":"Comput Lang Syst Struct"},{"key":"10.1016\/j.cl.2014.02.001_bib42","doi-asserted-by":"crossref","unstructured":"Hutchinson J, Rouncefield M, Whittle J. Model-driven engineering practices in industry. In: 33rd international conference on software engineering (ICSE 2011), ACM Press; 2011. p. 633\u201342.","DOI":"10.1145\/1985793.1985882"},{"issue":"3","key":"10.1016\/j.cl.2014.02.001_bib43","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.compind.2011.09.004","article-title":"Development of data acquisition systems by using a domain-specific modeling language","volume":"63","author":"Kos","year":"2012","journal-title":"Comput Ind"},{"issue":"3","key":"10.1016\/j.cl.2014.02.001_bib44","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2013.20","article-title":"Engineering air traffic control systems with a model-driven approach","volume":"30","author":"Carrozza","year":"2013","journal-title":"IEEE Softw"},{"key":"10.1016\/j.cl.2014.02.001_bib45","doi-asserted-by":"crossref","unstructured":"Ceret E, Calvary G, Dupuy-Chessa S. Flexibility in MDE for scaling up from simple applications to real case studies: illustration on a Nuclear Power Plant. In: 25\u00e8me conf\u00e9rence francophone sur l\u05f3Interaction Homme-Machine (IHM 2013); 2013. p. 1\u201310.","DOI":"10.1145\/2534903.2534909"},{"key":"10.1016\/j.cl.2014.02.001_bib46","doi-asserted-by":"crossref","unstructured":"Van Gorp P, Vanderfeesten I, Dalinghaus W, Mengerink J, van der Sanden B, Kubben P. Towards generic MDE support for extracting purpose-specific healthcare models from annotated, unstructured texts. In: Lecture notes in computer science, vol. 7789; 2013. p. 213\u201321.","DOI":"10.1007\/978-3-642-39088-3_14"},{"issue":"6","key":"10.1016\/j.cl.2014.02.001_bib47","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/352029.352035","article-title":"Domain-specific languages: an annotated bibliography","volume":"35","author":"van Deursen","year":"2000","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/j.cl.2014.02.001_bib48","first-page":"1","article-title":"Incremental programming language development","volume":"31","author":"Mernik","year":"2005","journal-title":"Comput Lang Syst Struct"},{"key":"10.1016\/j.cl.2014.02.001_bib49","series-title":"Domain-specific languages","author":"Fowler","year":"2011"},{"key":"10.1016\/j.cl.2014.02.001_bib50","first-page":"15","volume":"26","year":"2009"},{"key":"10.1016\/j.cl.2014.02.001_bib51","series-title":"Handbook of dynamic system modeling","first-page":"1","article-title":"Domain-specific modeling","author":"Gray","year":"2007"},{"issue":"15","key":"10.1016\/j.cl.2014.02.001_bib52","first-page":"1253","article-title":"An approach for the systematic development of domain-specific languages","volume":"39","author":"Strembeck","year":"2009","journal-title":"Softw: Pract Exp"},{"issue":"2","key":"10.1016\/j.cl.2014.02.001_bib53","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2298\/CSIS110114012B","article-title":"Challenges and directions in formalizing the semantics of modeling languages","volume":"8","author":"Bryant","year":"2011","journal-title":"Comput Sci Inf Syst"},{"key":"10.1016\/j.cl.2014.02.001_bib54","unstructured":"Gemalto Inc. Gemalto.NET smart card framework. \u3008http:\/\/www.gemalto.com\/products\/dotnet_card\/dotnet_framework.html\u3009 [accessed December 2013]."}],"container-title":["Computer Languages, Systems & Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1477842414000025?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1477842414000025?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T18:11:48Z","timestamp":1565201508000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1477842414000025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["S1477842414000025"],"URL":"https:\/\/doi.org\/10.1016\/j.cl.2014.02.001","relation":{},"ISSN":["1477-8424"],"issn-type":[{"value":"1477-8424","type":"print"}],"subject":[],"published":{"date-parts":[[2014,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A model driven architecture for the development of smart card software","name":"articletitle","label":"Article Title"},{"value":"Computer Languages, Systems & Structures","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.cl.2014.02.001","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}