Modelleme dili - Modeling language - Wikipedia

Bir modelleme dili herhangi biri yapay dil ifade etmek için kullanılabilir bilgi veya bilgi veya sistemleri içinde yapı bu tutarlı bir kurallar dizisi ile tanımlanır. Kurallar, yapıdaki bileşenlerin anlamının yorumlanması için kullanılır.

Genel Bakış

Bir modelleme dili grafiksel veya metinsel olabilir.[1]

  • Grafik modelleme dilleri bir diyagram tekniği sembolleri birbirine bağlayan ve ilişkileri temsil eden kavramları ve çizgileri temsil eden adlandırılmış semboller ve kısıtlamaları temsil etmek için çeşitli diğer grafiksel gösterimler.
  • Metinsel modelleme dilleri, bilgisayarda yorumlanabilir ifadeler yapmak için parametreler veya doğal dil terimleri ve ifadeler eşliğinde standartlaştırılmış anahtar kelimeler kullanabilir.

Bir grafik modelleme dili ve karşılık gelen bir metinsel modelleme dili örneği EKSPRES.

Tüm modelleme dilleri çalıştırılabilir değildir ve bunlar için, bunların kullanılması, programcıların artık gerekli olmadığı anlamına gelmez. Aksine, çalıştırılabilir modelleme dilleri, yetenekli programcıların üretkenliğini artırmayı amaçlar, böylece daha zorlu sorunları ele alabilirler. paralel hesaplama ve dağıtılmış sistemler.

Literatürde çok sayıda modelleme dili bulunmaktadır.

Modelleme dillerinin türü

Grafik türleri

Bilgisayar bilimi, proje yönetimi ve sistem mühendisliği alanındaki grafik modelleme dilleri örneği:

  • Davranış Ağaçları temelde kullanılan resmi, grafiksel bir modelleme dilidir. sistemleri ve yazılım Mühendisliği. Genellikle yüzlerce ve hatta binlerce kişiyi açık bir şekilde temsil etmek için kullanılır. Doğal lisan tipik olarak ifade etmek için kullanılan gereksinimler menfaat sahibi büyük ölçekli bir yazılımla entegre sistem ihtiyacı.
  • İş Süreci Modelleme Gösterimi (BPMN ve XML form BPML) bir örnektir Süreç Modelleme dil.
  • C-K teorisi tasarım süreçleri için bir modelleme dilinden oluşur.
  • DRAKON bir genel amaçlı algoritmik modelleme Yazılım yoğun sistemleri, bir algoritmanın veya aşamalı bir sürecin şematik gösterimini ve bir aile Programlama dilleri.
  • EKSPRES ve EXPRESS-G (ISO 10303-11), genel amaçlı bir uluslararası standarttır veri modelleme dil.
  • Genişletilmiş Kurumsal Modelleme Dili (EEML), birkaç katmanda iş süreci modellemesi için yaygın olarak kullanılır.
  • Akış çizelgesi bir algoritmanın veya aşamalı bir sürecin şematik bir temsilidir.
  • Temel Modelleme Kavramları Yazılım yoğun sistemler için (FMC) modelleme dili.
  • IDEF bir modelleme dilleri ailesidir. IDEF0 fonksiyonel modelleme için, IDEF1X bilgi modelleme için, IDEF3 iş süreci modellemesi için, IDEF4 Nesne Yönelimli Tasarım ve IDEF5 ontolojileri modellemek için.
  • Jackson Yapısal Programlama (JSP), veri akışı yapısı ile program yapısı arasındaki yazışmalara dayanan yapılandırılmış programlama için bir yöntemdir.
  • LePUS3 bir nesne odaklı görsel Tasarım Tanımlama Dili ve a resmi şartname öncelikle büyük nesne yönelimli (Java, C ++, C # ) programlar ve tasarım desenleri.
  • Nesne Rol Modellemesi Yazılım mühendisliği alanında (ORM) kavramsal modelleme için bir yöntemdir ve bilgi ve kural analizi için bir araç olarak kullanılabilir.
  • Petri ağları tam olarak bir diyagram oluşturma tekniği ve topolojisi üzerinde varyasyonları kullanın, yani iki parçalı grafik. Temel kullanıcı arayüzünün basitliği, özellikle model kontrolü, grafik odaklı simülasyon ve yazılım doğrulama alanlarında yıllar içinde kapsamlı araç desteğini kolayca mümkün kıldı.
  • Southbeach Notasyonu modelleyicinin bakış açısından yararlı veya zararlı olduğu düşünülen aracılar açısından durumları açıklamak için kullanılan görsel bir modelleme dilidir. Gösterim, ajanların birbirleriyle nasıl etkileşime girdiğini ve bu etkileşimin durumu iyileştirip iyileştirmediğini gösterir.
  • Şartname ve Açıklama Dili (SDL), reaktif ve dağıtılmış sistemlerin davranışının belirsizlik içermeyen spesifikasyonunu ve açıklamasını hedefleyen bir spesifikasyon dilidir.
  • SysML bir Etki Alanına Özgü Modelleme için dil sistem Mühendisi bu bir UML profili (özelleştirme) olarak tanımlanır.
  • Birleştirilmiş Modelleme Dili (UML) bir genel amaçlı modelleme yazılım yoğun sistemleri belirtmek için bir endüstri standardı olan dil. Mevcut sürüm olan UML 2.0, on üç farklı diyagram tekniğini destekler ve yaygın araç desteğine sahiptir.
  • Hizmet odaklı modelleme çerçevesi (SOMF) kurumsal mimari, sanallaştırma, hizmet odaklı mimari (SOA), bulut bilgi işlem ve daha fazlası alanında kurumsal ve uygulama düzeyinde mimari modelleri tasarlamak için bütünsel bir dildir.[2]
  • Mimari açıklama dili (ADL), açıklamak ve temsil etmek için kullanılan bir dildir. sistem mimarisi bir sistemi.
  • AADL (AADL), bir sistemin mimarisinin performans açısından kritik özelliklere göre, uzatılabilir bir gösterim, bir araç çerçevesi ve kesin olarak tanımlanmış anlambilim aracılığıyla erken ve tekrarlanan analizlerini destekleyen bir modelleme dilidir.

Diğer bilim alanlarındaki grafik modelleme dillerine örnekler.

Metin türleri

Bilgi modelleri, Gellish gibi resmileştirilmiş doğal dillerde de ifade edilebilir.[3] Gellish'in aşağıdaki gibi doğal dil çeşitleri vardır: Gellish Formal İngilizce ve Gellish Formal Dutch (Gellish Formeel Nederlands ), vb. Gellish Formal English, Gellish English Dictionary-Taxonomy'de tanımlanan ve bir Taksonomi-Ontoloji (Hollandaca için benzer şekilde) formuna sahip olan bir bilgi temsil dili veya anlamsal modelleme dilidir. Gellish Formal English sadece bilgiyi, gereksinimleri ve sözlükleri, taksonomileri ve ontolojileri ifade etmek için değil, aynı zamanda bireysel şeyler hakkındaki bilgileri de ifade etmek için uygundur. Tüm bu bilgiler tek bir dilde ifade edilir ve bu nedenle merkezi veya dağıtılmış veya federe veritabanlarında depolanıp depolanmadığı sorusuna bakılmaksızın hepsi entegre edilebilir. Gellish Formal English'deki bilgi modelleri, doğal dil terimleri ve resmi ifadeler kullanan Gellish Formal English ifadelerinin koleksiyonlarından oluşur. Örneğin, bir coğrafi bilgi modeli, aşağıdakiler gibi bir dizi Gellish Formal English ifadelerinden oluşabilir:

- Eyfel kulesi  Paris - Paris <şehir> olarak sınıflandırılır

oysa bilgi gereksinimleri ve bilgi, örneğin aşağıdaki gibi ifade edilebilir:

- kule  coğrafi bölgede bulunacaktır - şehir  coğrafi alandır

Bu tür Gellish Biçimsel İngilizce ifadeleri, Gellish English Dictionary-Taxonomy'den seçilmesi gereken kavramların adlarını ("şehir" gibi) ve ilişki türlerini (phr konumunda bulunur ve ⟨a⟩ olarak sınıflandırılır gibi) temsil eden ifadeleri kullanır ( veya kendi alan sözlüğünüzün). Gellish English Dictionary-Taxonomy, sözlük 600'den fazla standart ilişki türü içerdiğinden ve 40000'den fazla kavramın tanımlarını içerdiğinden, anlam bakımından zengin bilgi modellerinin oluşturulmasını sağlar. Gellish'deki bir bilgi modeli gerçekleri ifade edebilir veya açıklamalar, sorular ve cevaplar verebilir.

Daha spesifik tipler

Nın alanında bilgisayar Bilimi son zamanlarda daha spesifik modelleme dilleri ortaya çıktı.

Cebirsel

Cebirsel Modelleme Dilleri (AML), büyük ölçekli matematiksel hesaplama (yani büyük ölçekli optimizasyon türü problemler) için yüksek karmaşıklık problemlerini tanımlamak ve çözmek için kullanılan yüksek seviyeli programlama dilleridir. AML'lerin özel bir avantajı AMAÇLAR, AMPL, OYUNLAR, Mosel, OPL ve OptimJ sözdiziminin optimizasyon problemlerinin matematiksel gösterimine benzerliğidir. Bu, optimizasyon alanındaki problemlerin çok özlü ve okunabilir bir tanımına izin verir; bu, kümeler, indeksler, cebirsel ifadeler, güçlü seyrek indeks ve veri işleme değişkenleri, rastgele isimlere sahip kısıtlamalar gibi belirli dil unsurları tarafından desteklenir. Bir modelin cebirsel formülasyonu, onun nasıl işleneceğine dair herhangi bir ipucu içermez.

Davranışsal

Davranış dilleri, eşzamanlı olarak çalışan bileşenlerden oluşan karmaşık sistemlerin gözlemlenebilir davranışını tanımlamak için tasarlanmıştır. Bu diller, eşzamanlılık, belirsizlik, senkronizasyon ve iletişim gibi temel kavramların açıklamalarına odaklanır. Davranış dillerinin anlamsal temelleri süreç hesabı veya süreç cebiri.

Disipline Özgü

Bir disipline özgü modelleme (DspM) dil, belirli bir yazılım geliştirme yaşam döngüsü aşamasına bağlı çıktılara odaklanır. Bu nedenle, bu tür bir dil, keşif, analiz, tasarım, mimari, kısaltma vb. Gibi her aşama için ayrı bir kelime dağarcığı, sözdizimi ve gösterim sunar. Örneğin, bir projenin analiz aşaması için modelleyici, sunmak için belirli bir analiz gösterimi kullanır. bir analiz önerisi diyagramı. Bununla birlikte, tasarım aşamasında, yazılım varlıkları arasındaki ilişkiyi göstermek için mantıksal tasarım gösterimi kullanılır. Ek olarak, disipline özgü modelleme dilinin en iyi uygulamaları, uygulayıcıları çeşitli gösterimleri tek bir diyagramda birleştirmekten alıkoymaz.

Alana özgü

Etki alanına özgü modelleme (DSM), çoğu zaman bilgisayar yazılımı gibi BT sistemleri olmak üzere sistemleri tasarlamak ve geliştirmek için bir yazılım mühendisliği metodolojisidir. Bir grafiğin sistematik kullanımını içerir. alana özgü dil (DSL) bir sistemin çeşitli yönlerini temsil eder. DSM dilleri, Genel amaçlı modelleme dillerinden daha yüksek seviyeli soyutlamaları destekleme eğilimindedir, bu nedenle belirli bir sistemi belirtmek için daha az çaba ve daha az düşük seviyeli ayrıntı gerektirirler.

Çerçeveye özgü

Bir çerçeveye özgü modelleme dili (FSML), nesne yönelimli bir uygulama çerçevesi için tasarlanmış bir tür etki alanına özgü modelleme dilidir. FSML'ler, çerçeve tarafından sağlanan soyutlamaları FSML kavramları olarak tanımlar ve soyutlamaları özelliklere ayrıştırır. Özellikler, uygulama adımlarını veya seçeneklerini temsil eder.

Bir FSML konsepti, özellikler seçilerek ve özellikler için değerler sağlanarak yapılandırılabilir. Böyle bir konsept konfigürasyonu, konseptin kodda nasıl uygulanması gerektiğini temsil eder. Başka bir deyişle, konsept konfigürasyonu, konseptin uygulanmasını oluşturmak için çerçevenin nasıl tamamlanması gerektiğini açıklar.

Bilgi ve bilgi modellemesi

Bağlı veriler ve ontoloji mühendisliği temsil etmek için 'ana diller' gerektir varlıklar ve aralarındaki ilişkiler, kısıtlamalar varlıkların ve ilişkilerin özellikleri arasında ve meta veriler Öznitellikler. JSON-LD ve RDF bu bağlamda iki büyük (ve anlamsal olarak neredeyse eşdeğer) dildir, çünkü öncelikle ifade somutlaştırma ve bağlamsallaştırma hangi temel özelliklerdir? üst düzey mantık modeller hakkında mantık yürütmek gerekiyor. Model dönüşümü bu tür muhakemelerin yaygın bir örneğidir.

Nesne odaklı

Nesne modelleme dili standartlaştırılmış bir semboller setine dayalı olarak dilleri modelliyor ve bunları nesne yönelimli bir yazılım tasarımını veya sistem tasarımını modellemek (parçası) için düzenleme yollarını.

Bazı kuruluşlar, ilk belirtimden uygulama planına ilerlemek ve bu planı tüm bir geliştirici ve paydaş ekibine iletmek için bunları bir yazılım geliştirme metodolojisi ile birlikte kapsamlı bir şekilde kullanır. Bir modelleme dili görsel olduğundan ve koddan daha yüksek düzeyde bir soyutlamada olduğundan, modellerin kullanılması, daha sonraki gelişimde farklı yorumlama sorunlarını önleyebilecek ortak bir vizyonun üretilmesini teşvik eder. Bu modelleri oluşturmak için genellikle yazılım modelleme araçları kullanılır ve bunlar daha sonra koda otomatik olarak çevrilebilir.

Sanal gerçeklik

Sanal Gerçeklik Modelleme Dili (VRML), 1995'ten önce Sanal Gerçeklik Biçimlendirme Dili olarak bilinen 3 boyutlu (3B) etkileşimli vektör grafiklerini temsil etmek için standart bir dosya formatıdır ve özellikle World Wide Web göz önünde bulundurularak tasarlanmıştır.

Diğerleri

Başvurular

Farklı disiplinlerde çeşitli modelleme dilleri uygulanır. bilgisayar Bilimi, bilgi Yönetimi, iş süreci modellemesi, yazılım Mühendisliği, ve sistem Mühendisi. Modelleme dilleri şunları belirtmek için kullanılabilir:

  • sistem gereksinimleri,
  • yapılar ve
  • davranışlar.

Modelleme dillerinin, paydaşların (örn. Müşteriler, operatörler, analistler, tasarımcılar) modellenen sistemi daha iyi anlayabilmesi için sistemleri kesin olarak belirtmek için kullanılması amaçlanmıştır.

Daha olgun modelleme dilleri kesin, tutarlı ve yürütülebilirdir. Çizim araçlarıyla uygulanan gayri resmi diyagram oluşturma tekniklerinin, sistem gereksinimlerinin, yapılarının ve davranışlarının faydalı resimli temsillerini üretmesi beklenir, ancak daha fazlası değil. Uygun araç desteğiyle uygulanan yürütülebilir modelleme dillerinin sistemi otomatikleştirmesi beklenir. doğrulama ve onaylama, simülasyon ve kod üretimi aynı temsillerden.

Kalite

Farklı modelleme ayarları için hangi dillerin uygun olduğunu atayabilmek için modelleme dillerinin gözden geçirilmesi gereklidir. Dönem ayarlarında paydaşları, alanı ve bağlantılı bilgiyi dahil ediyoruz. Değerlendirilmesi dil kalitesi daha iyi modellere ulaşmayı hedefleyen bir araçtır.

Değerlendirme çerçevesi

Burada dil kalitesi, SEQUAL çerçeve Krogstie, Sindre ve Lindland (2003) tarafından geliştirilen modellerin kalitesi için, çünkü bu, dil kalitesini genel model kalitesi için bir çerçeveye bağlayan bir çerçevedir. Bu çerçevede dil kalitesini tanımlamak için beş alan kullanılmıştır ve bunların hem kavramsal ve dilin görsel notasyonu. Modellerin altında yatan kalite çerçevesinin kapsamlı bir açıklamasına girmeyeceğiz, ancak dil kalitesi çerçevesini açıklamak için kullanılan alanlara odaklanacağız.

Etki alanı uygunluğu

Çerçeve, alanı alan uygunluğu olarak temsil etme yeteneğini belirtir. İfade uygunluk biraz belirsiz olabilir, ancak bu belirli bağlamda ifade edebilir. İdeal olarak yalnızca etki alanında olan şeyleri ifade edebilmeli, ancak etki alanındaki her şeyi içerecek kadar güçlü olmalısınız. Bu gereksinim biraz katı görünebilir, ancak amaç, alanla ilgili her şeyi içeren ve alan için uygun olmayan her şeyi hariç tutan görsel olarak ifade edilen bir model elde etmektir. Bunu başarmak için, dilin hangi notasyonların ve sözdizimleri sunması avantajlıdır.

Katılımcı uygunluğu

Katılımcı uygunluğunu değerlendirmek için, dilin paydaşlar tarafından sahip olunan bilgileri ne kadar iyi ifade ettiğini belirlemeye çalışıyoruz. Bir paydaşın bilgisi öznel olduğundan bu, zorlukları içerir. Paydaşın bilgisi hem üstü kapalı hem de açıktır. Her iki bilgi türü de dinamik karakterdedir. Bu çerçevede sadece açık bilgi türü dikkate alınır. Dil, büyük ölçüde alanla ilgili paydaşların tüm açık bilgilerini ifade etmelidir.

Modelci uygunluğu

Son paragraf paydaşların bilgilerinin iyi bir şekilde sunulması gerektiğini belirtti. Ek olarak, dilin paydaşların tüm olası açık bilgilerini ifade edebilmesi zorunludur. Dilde eksiklikler nedeniyle hiçbir bilgi ifade edilmeden bırakılmamalıdır.

Anlaşılabilirlik uygunluğu

Anlaşılabilirlik uygunluğu, sosyal aktörlerin dilin tutarlı bir şekilde kullanılması nedeniyle modeli anlamasını sağlar. Bunu başarmak için çerçeve bir dizi kriter içerir. Bunların ifade ettiği genel önem, dilin esnek, organize edilmesi ve dilin farklı bölümlerini hem içeride hem de diğer dillerden ayırt etmenin kolay olması gerektiğidir. Buna ek olarak, amaç olabildiğince basit olmalı ve dildeki her sembolün benzersiz bir temsili olmalıdır.

Araç uygunluğu

Gerçekte modellenen alanın analiz etmek ve daha fazla işlemek için kullanılabilir olduğundan emin olmak için, dilin otomatik bir şekilde mantık yürütmenin mümkün olduğundan emin olması gerekir. Bunu başarmak için resmi sözdizimi ve anlambilim içermelidir. Resmileştirmenin bir başka avantajı, hataları erken bir aşamada keşfetme yeteneğidir. Teknik aktörler için en uygun dil, sosyal aktörler için her zaman aynı değildir.

Örgütsel uygunluk

Kullanılan dil, organizasyon bağlamına uygundur, ör. dilin kuruluş içinde standartlaştırıldığı veya kuruluşta standart olarak seçilen araçlarla desteklendiği.

Ayrıca bakınız

Referanslar

  1. ^ Xiao He (2007). "Grafik modelleme dillerinin gösterimi için bir metamodel". İçinde: Bilgisayar Yazılımları ve Uygulamaları Konferansı, 2007. COMPSAC 2007 - Cilt. 1. 31. Uluslararası, Cilt 1, Sayı, 24–27 Temmuz 2007, s 219-224.
  2. ^ Bell, Michael (2008). "Servis Odaklı Modellemeye Giriş". Hizmet Odaklı Modelleme: Hizmet Analizi, Tasarım ve Mimari. Wiley & Sons. ISBN  978-0-470-14111-3.
  3. ^ * Andries van Renssen, Gellish, Genel Genişletilebilir Bir Ontolojik Dil Arşivlendi 2012-11-30 Wayback Makinesi, Delft Teknoloji Üniversitesi, 2005.

daha fazla okuma

Dış bağlantılar