Java Card yazılımlarının otomatik üretilmesi için bir yöntem

Java Card platformu ve beraberinde gelen uygulama programlama arayüzü akıllı kart uygulamalarının geniş kullanıma sahip Java programlama dili ile nesne yönelimli olarak geliştirilmesine imkan vermektedir. Ancak işlemci ve bellek yönünden oldukça kısıtlı olan bu kartlar için sadece Java dilinin bir alt kümesi kullanılabilmektedir ve geliştiriciler bilgisayar ve akıllı kart arasındaki paket alışverişi için alt seviye bir protokolün detay ve kısıtları ile uğraşmak durumundadırlar. Bu tez çalışması kapsamında Java Card uygulamalarının geliştirilmesinde görülen bu zorlukları gidermek amacıyla kart üzeri uygulamaların model güdümlü geliştirilmesine imkan veren DSL4JavaCard isimli bir alana özgü dil tüm bileşenleri ile birlikte geliştirilmiştir. Dilin soyut sözdiziminin dayandığı üstmodel ve modelleme aşamasında bir takım kısıtların kontrol edilmesini sağlayan somut sözdizimi tanımlandıktan sonra DSL4JavaCard modellerinden Java Card uygulama kodları otomatik olarak elde edilebilmektedir. Ayrıca önerilen dilin durum çalışması üzerinden kullanımının örneklendirilmesi ve değerlendirmesi yine bu tez içerisinde yer almaktadır. Değerlendirmeler sonucunda DSL4JavaCard'ın ilgili literatürde yer alan önceki çalışmalardan farklı olarak özellikle Java Card güvenlik bileşenlerinin de model güdümlü geliştirilebilmesine imkan verdiği ve işletimsel semantiğinin temel Java Card bileşenlerinin tamamının, kullanıcı tanımlı ve iş uygulamasına özel öğelerin ise önemli bir kısmının otomatik üretilmesini sağladığı görülmüştür.