### Tweets

- #nowreading "Introduction to Description Logic" by Baader Lutz Horrocks Sattler; reads very much like a database th… twitter.com/i/web/status/1… 1 month ago
- RT @softmodeling: I decided against using language workbenches for my DSL and instead chose Python. buff.ly/2X4Els7 1 month ago

# Category Archives: Epistemology

## Categories of semantic Models by Stachowiak

Categorisation by example of semantic models, i.e. models as we use them in software engineering etc, according to Herbert Stachowiak. Continue reading

Posted in Epistemology, Herbert Stachowiak, Requirements
Tagged abstraction, Allgemeine Modelltheorie, empirical models, Finite Model Theory, formal models, General Model Theory, Herbert Stachowiak, Modelling, modelling theory, Requirements Modeling, scientific models, semantic model, semantics, Semiology, Semiotics, Semology, Stachowiak
Leave a comment

## 1 + x = 3 as a Query

Strongly reduced recap of basic software engineering concepts: Query, Result Set, Requirement. Continue reading

## Stachowiak on semantic Requirements Modelling

Excerpt of Herbert Stachowiak’s “Allgemeine Modelltheorie” (General Model Theory). Although this is on empirical-scientific models, it provides a foundation of semantic requirements modelling. Continue reading

Posted in Epistemology, Herbert Stachowiak, Requirements
Tagged abstraction, Allgemeine Modelltheorie, empirical models, Finite Model Theory, formal models, General Model Theory, Herbert Stachowiak, jackson zave, michael a. jackson, Modelling, modelling theory, pamela zave, Requirements Modeling, scientific models, semantic model, semantics, Stachowiak
1 Comment

## Examples of Preterition and Abundance in Modelling

In addition to the earlier posting “Stachowiak on Preterition and Abundance in Modelling” here are some examples of Preterition and Abundance in Photography, Use Case Models, and Graph or Flow notations. Continue reading

Posted in Epistemology, Herbert Stachowiak, Software_Engineering
Tagged Abduction, abstraction, Actor, Allgemeine Modelltheorie, Definition, General Model Theory, Herbert Stachowiak, Homomorhism, Homomorphism preservation theorem, Labyrinth, Maze, model, model theory, Modelling, original, Preteritition, Stachowiak, Use Case, Use Case Model
5 Comments

## Stachowiak on Preterition and Abundance in Modelling

In his 1973 book “Allgemeine Modelltheorie” Herbert Stachowiak discusses the concepts of Preterition, Abundance and Contrastation of Original-Model mappings. This can be interpreted using homomorphism preservation and other logical concepts. Continue reading

Posted in Epistemology, Herbert Stachowiak
Tagged Abduction, abstraction, Allgemeine Modelltheorie, Contrastation, Definition, General Model Theory, Herbert Stachowiak, Homomorhism, Homomorphism preservation theorem, logic, Mapping, model, model theory, Modelling, original, Preteritition, Stachowiak
10 Comments

## Stachowiak’s K-System of Modelling

Beyond the colloquial fundamental model properties Stachowiak gives a more formal definition of model: “Explication of the Concept of Model” … Continue reading

## General Model Theory by Stachowiak

In his 1973 book “Allgemeine Modelltheorie” (General Model Theory) Herbert Stachowiak describes the fundamental properties that make a Model: Mapping, Reduction, and Pragmatism. Continue reading

## Lecture Notes on Model Thinking IV

*Some lecture notes/ scribble on Model Thinking by Scott E. Page. Lecture “Segregation and Peer Effects”, Part 2: “Schelling’s Segregation Model”: * Schelling built a model and executed it in order to analyse the empirical phenomenon of segregation … Continue reading

Posted in Abstract Thinking, Epistemology, Model Thinking
Tagged abstraction, bullet point, computational thinking, emergence, epistemology, execution, Lecture, Lecture Notes, model, model thinking, Modelling, Page, Schelling, Scott E Page, Scott Page, Segregation, supervenience, Thinker, thinking
4 Comments

## Rhinos – a Modelling Theorist’s Perspective

A structure of rigurous and relevant principles are necessary and sufficient to constitute a Modelling Theory. Everything else, like processual, behavioural, ontological or linguistic considerations, is optional. Let me enlighten this position, with the help of last week’s Rhino posting: …

Continue reading

Posted in Epistemology
Tagged abstraction, abstraction awareness, application, blind spot, example, industry, inspiration, logic, model, model theory, modeling, Modelling, modelling theory, relevance, rhino, rigor, rigour, Socrates, software, software modelling, theory of modelling
8 Comments