Metaobject - Metaobject

İçinde bilgisayar Bilimi, bir meta nesne bir nesne nesneleri (kendisi dahil) işleyen, oluşturan, tanımlayan veya uygulayan. Meta nesnenin ilgili olduğu nesneye temel nesne denir. Bir meta nesnenin tanımlayabileceği bazı bilgiler, temel nesnenin tip, arayüz, sınıf, yöntemler, Öznitellikler, ayrıştırma ağacı, vb. Meta nesneler, bilgisayar bilimi kavramının örnekleridir. yansıma, bir sistemin kendi iç yapısına (genellikle çalışma zamanında) erişimi olduğu durumlarda. Yansıma, bir sistemin, yürütülürken kendi uygulamasını değiştirmek için esasen kendisini anında yeniden yazmasını sağlar.[1]

Metaobject protokolü

Bir meta nesne protokolü (MOP) kelime hazinesini sağlar (protokol ) nesnelerin sistemlerinin yapısına ve davranışına erişmek ve bunları değiştirmek için. Bir meta nesne protokolünün tipik işlevleri şunları içerir:[2]

  • Yeni bir sınıf oluşturun veya silin
  • Yeni bir mülk veya yöntem oluşturun
  • Bir sınıfın farklı bir sınıftan miras alınmasına neden olur ("sınıf yapısını değiştir")
  • Bir sınıfın yöntemlerini tanımlayan kodu oluşturun veya değiştirin

Metaobject protokolü Bertrand Meyer'e aykırı açık / kapalı prensibi, bu da yazılım nesnesi sistemlerinin uzatma için aç fakat değişiklik için kapalı. Bu ilke, etkin bir şekilde, genişleyen ekleyerek bir nesne ve değiştirme bir nesneyi yeniden tanımlayarak, birincisinin arzu edilen bir nitelik olduğunu öne sürerek ("nesneler, gelecekteki kullanım durumlarının gereksinimlerini karşılamak için genişletilebilir olmalıdır"), ikincisi istenmezken ("nesneler, özet revizyona tabi olmayan kararlı bir arayüz sağlamalıdırMetaobject protokolü, aksine, nesnelerin iç bileşimini ve sistemin kendisi açısından tüm nesne sistemini şeffaf bir şekilde ortaya çıkarır.Pratikte, bu, programcıların nesneleri yeniden tanımlamak için muhtemelen oldukça karmaşık şekillerde kullanabileceği anlamına gelir.

Ayrıca, meta nesne protokolü yalnızca bir arayüz bir "temel" uygulamaya; bunun yerine, meta nesne protokolü aracılığıyla nesne sistemi yinelemeli olarak uygulanan açısından meta- kendisi teorik olarak bir meta-metaobject sistemi, vb. keyfi bir temel durum (tutarlı durum Nesne sistemi), protokol bu uygulama seviyeleri arasındaki özyinelemeli fonksiyonel ilişki olarak belirlenir.

Nesne sistemlerinin bu şekilde uygulanması, radikal isteğe bağlı yeniden tasarım olasılığını açar, derin bir esneklik sağlar, ancak muhtemelen karmaşık veya anlaşılması zor metastabilite sorunları ortaya çıkarır (örneğin, nesne sistemi yıkıcı güncelleme kendi meta nesne protokolü - dahili öz temsili - ancak bazı güncellemelerin potansiyel yıkıcılığını tahmin etmek önemsiz değildir ve istenen değişikliklerin yayıldığı özyinelemeli derinliğe bağlı olarak akıl yürütmek zor olabilir).[3] Bu nedenle, meta nesne protokolü, bir dilde bulunduğunda, genellikle idareli bir şekilde ve başka bir yazılımı veya kendisini karmaşık yollarla, örneğin tersine mühendislikte dönüştüren yazılım gibi özel amaçlar için kullanılır.[4]

Çalışma zamanı ve derleme zamanı

Derleme çalışma zamanında mevcut olmadığında, meta nesne protokolünün uygulanması için ek zorluklar vardır. Örneğin, tür hiyerarşisini böyle bir protokolle değiştirmek mümkündür ancak bunu yapmak, alternatif bir sınıf modeli tanımıyla derlenen kod için sorunlara neden olabilir. Bazı ortamlar, örneğin meta nesne sorunlarını derleme zamanında ele alarak bunun için yenilikçi çözümler bulmuştur. Buna güzel bir örnek OpenC ++.[5] Anlamsal ağ nesne yönelimli model, çoğu standart nesne sisteminden daha dinamiktir ve çalışma zamanı meta nesne protokolleriyle tutarlıdır. Örneğin, Anlamsal Web modelinde sınıfların birbirleriyle olan ilişkilerini değiştirmeleri beklenir ve özel bir çıkarım motoru gelişen sınıf modellerini doğrulayabilen ve analiz edebilen bir sınıflandırıcı olarak bilinir.[6]

Kullanım

İlk meta nesne protokolü, Smalltalk geliştirilen nesne yönelimli programlama dili Xerox PARK. Ortak Lisp Nesne Sistemi (CLOS) daha sonra geldi ve Smalltalk protokolünün yanı sıra Brian C. Smith orijinal çalışmaları 3-Lisp sonsuz bir değerlendiriciler kulesi olarak.[7] CLOS modeli, Smalltalk modelinden farklı olarak, bir sınıfın birden fazla süper sınıf; bu, bazı nesne örneklerinde sınıf hiyerarşisinin kökeninin çözümlenmesi gibi konularda ek karmaşıklık yaratır. CLOS ayrıca şunları sağlar: dinamik çoklu yöntem gönderimi üzerinden işlenir genel işlevler ziyade ileti geçişi Smalltalk'daki gibi tek gönderim.[8] Common Lisp'te meta nesne protokolünün anlamını ve uygulamasını açıklayan en etkili kitap Metaobject Protokolünün Sanatı tarafından Gregor Kiczales et al.[9]

Metaobject protokolleri, yazılım mühendisliği uygulamalarında da yaygın olarak kullanılmaktadır. Neredeyse tüm ticari CASE, yeniden mühendislik ve Entegre Geliştirme Ortamlarında, tasarım eserlerini temsil etmek ve işlemek için bir tür meta nesne protokolü vardır.[10][11][12]

Bir meta nesne protokolü uygulamanın bir yoludur bakış açısına yönelik programlama. MOP'ların ilk kurucularının çoğu Gregor Kiczales, o zamandan beri görünüm odaklı programlamanın birincil savunucuları olmaya devam etti. Kiczales vd. nın-nin PARC tasarlamak için işe alındı AspectJ için Java, yerel bir meta nesne protokolüne sahip olmayan bir dil.

Ayrıca bakınız

Referanslar

  1. ^ Smith, Brian C (1982-01-01). "Programlama Dillerinde Prosedürel Yansıtma". MIT Teknik Raporu (MIT-LCS-TR-272). Arşivlenen orijinal 13 Aralık 2015 tarihinde. Alındı 16 Aralık 2013.
  2. ^ Foote, Brian; Ralph Johnson (1-6 Ekim 1989). "Smalltalk-80'deki Yansıtıcı Tesisler". Oopsla '89: 327–335. doi:10.1145/74877.74911. ISBN  0897913337. Alındı 16 Aralık 2013.
  3. ^ Metaobject Protokolünün Sanatı, Ek C - Döngüsellikle Yaşamak
  4. ^ Favre, Lilliana; Liliana Martinez; Claudia Pereira (2009). Nesneye Yönelik Kodun MDA Tabanlı Tersine Mühendislik. Springer. doi:10.1007/978-3-642-01862-6_21. ISBN  978-3-642-01861-9.
  5. ^ Chiba, Shigeru (1995). "C ++ için Metaobject Protokolü". Oopsla '95: 285–299. doi:10.1145/217838.217868. ISBN  978-0897917032. Alındı 27 Aralık 2013.
  6. ^ Knublauch, Holger; Oberle, Daniel; Tetlow, Phil; Wallace, Evan (2006-03-09). "Nesne Tabanlı Yazılım Geliştiriciler için Anlamsal Web Primer". W3C. Alındı 2008-07-30.
  7. ^ Daniel P. Friedman; Mitchell Değnek (1988). "Kulenin gizemi ortaya çıktı". Kulenin gizemi ortaya çıktı: Yansıtıcı kulenin yansıtıcı olmayan bir açıklaması. s. 298–307. doi:10.1145/319838.319871. ISBN  978-0897912006.
  8. ^ "Nesne Tabanlı ve Fonksiyonel Programlamayı Entegre Etmek" (PDF). Alındı 7 Temmuz 2016.
  9. ^ Kiczales, Gregor; Jim des Rivieres; Daniel G. Bobrow (30 Temmuz 1991). Metaobject Protokolünün Sanatı. MIT Basın. ISBN  978-0262610742.
  10. ^ Johnson, Lewis; David R. Harris; Kevin M. Benner; Martin S. Feather (Ekim 1992). "Koç: KBSA için Gereksinimler / Spesifikasyon Faktörü". Roma Laboratuvarı Nihai Teknik Raporu. RL-TR-92-248.
  11. ^ "İyileştirmenin Kökeni" (PDF). www.metaware.fr. Metaware Teknik Raporu. Arşivlenen orijinal (PDF) 7 Ocak 2014. Alındı 6 Ocak 2014.
  12. ^ "OMG'nin MetaObject Tesisi". omg.org. Nesne Yönetim Grubu. Alındı 7 Ocak 2014.

Dış bağlantılar