What is modeling ?

Discussions about UML in general.

What is modeling ?

Postby strutwatson » Sat Jan 02, 2010 12:28 pm

Modeling is a proven and well-accepted engineering technique which helps build a model. Model is a simplification of reality; it is a blueprint of the actual system that needs to be built. Model helps to visualize the system. Model helps to specify the structural and behavior of the system. Model helps make templates for constructing the system. Model helps document the system.
strutwatson
 
Posts: 3
Joined: Thu Dec 24, 2009 11:02 am

Postby jackmcmahon » Wed Oct 06, 2010 7:26 am

Thanks for sharing information about "model". I can say also that model helps to build the system accurately based on the specification needs.


Bob Morton
citizen stiletto watch and snp007 user.
jackmcmahon
 
Posts: 1
Joined: Wed Oct 06, 2010 7:22 am

Postby Jellen00 » Tue Nov 09, 2010 6:49 am

An incomplete and somewhat arbitrary subdivision of model theory is into classical model theory, model theory applied to groups and fields, and geometric model theory. A missing subdivision is computable model theory, but this can arguably be viewed as an independent subfield of logic. Examples of early theorems from classical model theory include Gödel's completeness theorem, the upward and downward Löwenheim–Skolem theorems, Vaught's two-cardinal theorem, Scott's isomorphism theorem, the omitting types theorem, and the Ryll-Nardzewski theorem. Examples of early results from model theory applied to fields are Tarski's elimination of quantifiers for real closed fields, Ax's theorem on pseudo-finite fields, and Robinson's development of nonstandard analysis. An important step in the evolution of classical model theory occurred with the birth of stability theory (through Morley's theorem on uncountably categorical theories and Shelah's classification program), which developed a calculus of independence and rank based on syntactical conditions satisfied by theories.
Jellen00
 
Posts: 3
Joined: Tue Nov 09, 2010 4:11 am


Return to UML

Who is online

Users browsing this forum: No registered users and 1 guest