### Modelling:

### Tweets

- RT @softmodeling: The "doer" vs the "thinker" https://t.co/ryQdR6B5Nd 5 hours ago
- RT @PeterSmith: There’s a cleaned-up version of my Category Theory: A Gentle Introduction, now at logicmatters.net/categories/ Pls spread the w… 2 weeks ago

# Tag Archives: Finite Model Theory

## A simple relational Model

Modelling foundations: What does a simple diagram ‘thing – relation – thing’ say, in terms of logic? Continue reading

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

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

## Reflections on Abstractions: Cases vs Models

We describe by simple means of basic Finite Model Theory a very important principle in software engineering: modelling properties is more expressive than just collecting cases. This, for example, is the reason why test cases can be derived from specifications but not vice versa. Continue reading

Posted in Mathematics, Reflections on Abstractions
Tagged abstraction, abstraction awareness, axiomatizable, Case, Finite Model Theory, finite models, formal methods, intentional programming, model, model theory, modeling, modeling theory, refinement, reflections on abstractions, ROA, specification, Test
Leave a comment

## What might a Theory of Modeling be good for?

Analyzing production etc. of goods and services alone is ‘just’ some social science. What makes it economics, is that they are exchanged in a ‘cooperative’ way, as defined structurally by micro economical theory. Similarly, analysing grammars and behaviour alone is ‘just’ some research on engineering. However only based on a structural “theory of modeling” it will become research on modeling. Continue reading

## 2-Structures by Ehrenfeucht et al.

2-Structures theory is mainly concerned with analysing the algebraic properties of switches. Therefore Ehrenfeucht, Harju, Rozenberg give the following example: … Continue reading

Posted in Mathematics
Tagged 2-Structures, abstraction, Clan, Ehrenfeucht, Finite Model Theory, Graph, Graph Theory, Harju, model, model theory, modeling, Relation, Rozenberg, Switch
2 Comments

## Are your Requirements complete?

Completeness is one big issue in requirements engineering. Here’s how this can be approached by systematic analysis. To me this is already a basic application of modeling and its benefits. Continue reading

## Meanings of “Model”

On the different usages of ‘model’ in the sense of Business Process Model or Entity Relationship Model, and in mathematical Model Theory.

Posted in Epistemology
Tagged abstraction, analysis, Diagram, Domain, Finite Model Theory, Language, model, model theory, modeling, Requirements, software engineering, Transformation
8 Comments

## UML and Complexity aware modeling

I believe that applying complexity classes to UML can provide a substantial benefit, if it can support the controlled (complexity aware) use of language. Continue reading

Posted in Software_Engineering
Tagged Activity, Class, Complexity, Diagram, Domain, Finite Model Theory, Language, model, model theory, modeling, State Machine, Transformation, UML
6 Comments

## Why finiteness counts

To study computation we need a theory of finite structures. Neil Immerman’s quotation, illustrated by Hilbert’s hotel. Continue reading