10 - Models and languages

27
Models and languages www.tudorgirba.com

description

I used this set of slides for the lecture on Models and Languages I gave at the University of Zurich for the 1st year students following the course of Formale Grundlagen der Informatik.

Transcript of 10 - Models and languages

Page 1: 10 - Models and languages

Models and languages

www.tudorgirba.com

Page 2: 10 - Models and languages

What is a model?

Page 3: 10 - Models and languages

model

model

framework

theoretical account

poser

simulation

exampleexemplar

good example

role model

fashion model

manakin

manikin

mannequin

mannikin

modelingmodelling

form

kind

sort

variety

NOUNS

framework, model, theoretical account

a simplified description of a complex entity or process

"the computer program was based on a model of the circulatory and respiratory systems"

Page 4: 10 - Models and languages
Page 5: 10 - Models and languages

Bezivin, Gerbe

A model is a simplification of the subject,and its purpose is to answersome particular questionsaimed towards the subject.

Page 6: 10 - Models and languages
Page 7: 10 - Models and languages
Page 8: 10 - Models and languages
Page 9: 10 - Models and languages

Aristotle384 BC - 322 BC

μετά = after, beyond

Page 10: 10 - Models and languages

Ed Siedewitz

A meta-model is a modelthat makes statementsabout what can be expressedin valid models.

Page 11: 10 - Models and languages
Page 12: 10 - Models and languages

model

subject

meta-model

meta-meta-model

Page 13: 10 - Models and languages

model

subject

meta-model

meta-meta-model

representedBy

instanceOf

instanceOf

Page 14: 10 - Models and languages
Page 15: 10 - Models and languages

computerinformation information

computation

Page 16: 10 - Models and languages

Please, stand up!

Page 17: 10 - Models and languages

Please, stand up!Congratulations, you just executed a program!

Page 18: 10 - Models and languages

Va rog sa va ridicati in picioare!

Page 19: 10 - Models and languages

Va rog sa va ridicati in picioare!If you do not know the language,

you cannot interpret it

Page 20: 10 - Models and languages

Who’s on first?

Page 21: 10 - Models and languages

Who’s on first?

Page 22: 10 - Models and languages

-12.34

Page 23: 10 - Models and languages

-12.34Ceci n’est pas un nombre

Page 24: 10 - Models and languages

part = {digit}decimal_part = “.” partnumber = [-] part [decimal_part]

digit digit- .

x Nonterminal"x" Terminalx y Sequencex | y Alternative{ x } Iteration( x ) Binding[ x ] Optiony = x. Definition

Page 25: 10 - Models and languages

Please, stand up by sitting down!

Page 26: 10 - Models and languages

Please, stand up by sitting down!Syntactically correct sentences

do not necessarily have a meaning