### Modelling:

### Tweets

- RT @TimWeilkiens: Finally, we published SysML 1.6. Check out the blog post about the most relevant changes: mbse4u.com/2019/12/05/wha… 19 hours ago
- Recommended read for all friends of well-founded software engineering: "Are My Requirements Complete?" by… twitter.com/i/web/status/1… 5 days ago

# Tag Archives: General Model Theory

## 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

## Unambiguous Requirements Models

We’ll see that the concept of ambiguity of (requirements in software engineering) models comprises structural as well as material aspects, on all model levels (top to bottom). 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