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

Posted in Foundations (rigour), Software_Engineering | Tagged , , , , , , , , , , , , , , | Leave a comment

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

Posted in Mathematics | Tagged , , , , , , , , , , , , , , | 8 Comments

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

Posted in Epistemology, Software_Engineering | Tagged , , , , , , , , , , , | 3 Comments

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.

Continue reading

Posted in Epistemology | Tagged , , , , , , , , , , , | 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 , , , , , , , , , , , , | 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

Posted in Mathematics | Tagged , , , , , , , , , , , , , , , | 11 Comments