Statik ve Dinamik Modeller
Statik ve Dinamik Modeller
Bazen modeller arasında yapılan bir ayrım, statik modeller ve dinamik modeller arasındadır. Tipik olarak, nitelik statik, bir nesne sisteminin durumlarını temsil etmek için geliştirilen modeller için kullanılırken, nitelik dinamiği, sistemin süreçlerini temsil etmek için geliştirilmiş olanlar için kullanılır. sistem, ikincisi, tanım gereği, sıralanabilir bir model olarak kabul edilir.
Aslında, dinamik bir model her zaman statik bir modeli gerektirir. Nesne sisteminde meydana gelen süreçleri simüle etme fırsatı sunan herhangi bir model, temel bir şekilde, modeldeki yerler veya durumlar tarafından temsil edilen pasif öğeler ile bu yerler veya durumlar arasında geçişi etkileme yetkisi verilen aktif öğeler arasında ayrım yapmalıdır.
Etkin öğeler, kullanılan süreç modelleme biçimciliğine göre etkinlikler, kanallar, işlevler, dönüşümler vb. olarak tanımlanabilir.
Bazen, modelde farklı türdeki öğelerin oynayabileceği belirli rollere göre öğe türlerine daha fazla bölünme yapılır, ancak bu tür ayrımlar, aktif ve pasif öğeler arasındaki temel ayrımın yerini almaktan ziyade yalnızca geliştirir.
Bununla birlikte, modellenecek nesne sistemindeki aktif ve pasif elemanları doğru bir şekilde tanımlayan, ancak aktif elemanların içerikleri (veya “işaretleri” ) pasif öğeler, modellenen ilişkiler olası dönüşümleri ve geçişleri gösterse bile, statik modeller olarak uygundur, ancak dinamik modeller olarak değildir.
Bir model “dinamik” etiketini, yalnızca değişim kurallarının yeterince iyi çalışıldığı ve tam olarak hangi geçişlerin ve dönüşümlerin ne zaman gerçekleşeceğini gösterecek şekilde tutarlı olduğu durumda hak eder (yani, hangi kolaylaştırıcı koşullar altında, ” ilk işaretleme” ve sonuç olarak modelde gerçekleştirilen dönüşümler ve geçişler).
Bu nedenle, nesne sisteminin statik özelliklerini temsil etmek için yeterli olan statik bir modelden dinamik yeteneklere sahip bir modele geçiş, esas olarak, modellenmiş temsilin yaratılmasında tutarlı bir şekilde kullanılan modelleme biçimciliğinin kesinliğinde bir artışı içerir.
Üretken ve Genel Modeller
Modeller arasında sıklıkla yapılan diğer bir ayrım, üretici modeller ile genel modeller arasındaki ayrımdır. Bundan sonra, üretken bir modeli, modelin nesne sistemi alanındaki bir dizi kullanımı için statik ve dinamik özelliklerin ve kısıtlamaların dikkate alınmasına ve ifade edilmesine yardımcı olan iyi tanımlanmış kavramların bir koleksiyonu olarak düşünebiliriz.
Her kullanım, modelin bir temsilinin belirli bir örneğinin oluşturulmasını içerecektir. Her temsil zorunlu olarak geçici olarak kapalı olsa da (temsil edilebilmesi için), modelleme kavramlarının kullanımı yoluyla üretilebilecek temsiller kümesinin birliği açık kalır.
Tamamen üretken modellemede, modelin her örneği, acil gereksinimlere göre uygun modelleme konseptlerinin kullanılmasıyla sıfırdan oluşturulur. Bununla birlikte, pratikte çoğu zaman, bir dizi uygulamanın, bazı bölümleri modelin diğer bir dizi örneklemesinin benzer parçaları ile aynı yapıya sahip olan modelin örneklerini oluşturmayı içereceği bulunmuştur.
Bu gibi durumlarda, bu geri kazanılan parçaları tanımlamak ve bunları önceden yapılandırılmış bileşenler olarak tanımlamakta fayda vardır. Bu bileşenler daha sonra bir kitaplıkta saklanabilir ve gerektiğinde ve gerektiği yerde herhangi bir belirli örnekleme dahil edilebilir (veya “uyarlanabilir”), böylece her ihtiyaç duyulduklarında sıfırdan yeniden oluşturma ihtiyacını ortadan kaldırır.
Statik sistem örnekleri
Statik ve dinamik sistemler örnek
Statik model nedir
Bununla birlikte, genel bir model için temsilin özü önceden yapılandırılmıştır. Bu genellikle, önceden yapılandırılmış varlık türleri açısından tanımlanan sınıflar halinde somutlaştırılabilen öğeleri gruplandırma yoluyla elde edilir.
Ardından, sınıf tarafından açıklanan modellenmiş varlıktan yapılan her örnek, özniteliklerinin, ilişkilerinin ve kısıtlamalarının aynı genel belirtimini zorunlu olarak paylaşacaktır. Bu nedenle, modelin belirli bir örneği, örnekleme içinde temsil edilecek varlıkları tanımlayan sınıflardan alınan örnekler bir araya getirilerek yapılabilir.
Çeşitli varlıklar arasındaki ilişkiler önceden tanımlandığından (sınıf tanımlarının bir parçası olarak), her seferinde model yapısını oluşturmak için modelleme kavramlarını kullanmaya gerek yoktur: örnekleme yapılırken yapı otomatik olarak verilir. Bununla birlikte, sonuçta ortaya çıkan somutlaştırmanın yapısının tutarlılığını, içinde yer alan varlıklar arasındaki ilişkilerin tutarlılığını ve karşılıklılığını kontrol ederek doğrulamak gerekli olabilir.
Genel bir modelin farklı örneklerinin doğrudan karşılaştırılması, bunların farklı yapılara sahip olduğunu ortaya koyuyor gibi görünebilir, ancak bu, genel yapının farklı bölümlerinin örneklenmesinin ve örneklendirilmemiş bölümlerin örnekleme yapısı içinde “görünmez” bırakılmasının bir sonucudur. . Dolayısıyla, türsel bir model içinde somutlaştırma yoluyla inşa edilebilecek temsiller kümesinin birliği, türsel modelin kendi seviyesinde kapalıdır.
Genel bir modelin bu şekilde geliştirilmesi ve kullanılması, genel yapının önceden keşfedilebildiği ve nesne sisteminin etki alanındaki tüm uygulamalarda sabit kaldığı durumlarda genellikle tatmin edicidir. Ancak bazen, bu gereklilik gerçekte yalnızca yaklaşık olarak karşılanır ve bu da, belirli bir uygulama türünün gereksinimlerini daha iyi ele almak için jenerik modelin özelleştirilmesi ihtiyacına yol açar.
Bu, jenerik model içindeki belirli bileşenleri yeniden oluşturmak için modelleme kavramlarının kullanılmasını gerektirir. Bununla birlikte, aynı jenerik modelin farklı şekilde özelleştirilmiş versiyonları içindeki örneklemeler tarafından oluşturulan model temsilleri yalnızca kısmen uyumlu olabileceğinden, bunlar artık gerçekten jenerik olarak kabul edilemez.
Bunun yaratabileceği potansiyel kafa karışıklığından kurtulmanın bir yolu, kaba bir düzeyde açıklanan aynı yapıyı kullanan tüm uygulama yelpazesinde örneklemeler oluşturmak için genel modeli kullanmak ve daha sonra iyileştirme yoluyla model öğelerinin iç yapılarını oluşturmaktır. belirli bir uygulama için özel olarak uygun olan ve jenerik model içinde her bir öğenin harici (üniter) temsilini değiştirmeden bırakan bir form vardır.
Üretken modelleme, daha sonra inşa edilmesi gerekecek olan modelin örneklenmesinin yapısında öngörülemeyen değişikliklerin olması muhtemel durumlarda en uygundur. Tersine, modellemeye yönelik genel yaklaşım, modelin her bir örneğinin genel yapısının önceden tespit edilebildiği durumlarda daha uygundur.
Bununla birlikte, her biri modelleme çabasına farklı avantajlar sağlayabileceğinden, tamamen üretici veya tamamen genel bir yaklaşımın benimsenmesi genellikle ne arzu edilir ne de gereklidir.
Bu nedenle, üretken bir yaklaşım içinde yukarıdan aşağıya bir model somutlaştırması geliştirirken, bir kitaplıktan seçilen önceden yapılandırılmış bileşenleri dahil ederek genel özellikler aşağıdan yukarıya getirilebilir ve gereksiz çaba tekrarı ihtiyacını ortadan kaldırır.
Benzer şekilde, genel bir yaklaşım içinde yukarıdan aşağıya bir model somutlaştırması geliştirirken, üretici özellikler, özelleştirilmiş iyileştirmeler yaparak aşağıdan yukarıya getirilebilir, böylece genel bir model tarafından dayatılan gerekli kısıtlamaları etkisiz hale getirir.
Statik model nedir Statik sistem örnekleri Statik ve dinamik sistemler örnek
