-
Join 35 other subscribers
Modelling:
- Applications (relevance) (50)
- Abstract Thinking (11)
- Software_Engineering (40)
- Foundations (rigour) (42)
- Epistemology (20)
- Mathematics (19)
- Series (42)
- Herbert Stachowiak (6)
- Model Thinking (8)
- Reflections on Abstractions (14)
- Requirements (16)
- Uncategorized (3)
- Applications (relevance) (50)
Twitter
Tweets by modelpractice
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
modelpractice 