Tag Archives: model

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

Reflections on Abstractions: Roaming the Subsumption Continuum

We make the step from basic kinds of subsuming abstractions to real world modelling problems, by introducing the subsumption continuum. Continue reading

Posted in Reflections on Abstractions | Tagged , , , , , , , , , , , , , , , | Leave a comment

Craftsman or Engineer?

A lot has been written on the differences between Craftsman and Engineer. Recently I came across a simple example by Hofstadter & Sander, that nicely shows the basic difference in thinking: Continue reading

Posted in Abstract Thinking, Software_Engineering | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Reflections on Abstractions: Subsumption I

We’re going to look at a subsumptional mapping from lhs original to rhs model. We will get four cases of subsumption as in figure (strictest cases), which now can be developed into a continuum with the four cases as corner points. Continue reading

Posted in Reflections on Abstractions | Tagged , , , , , , , , , , , , | 1 Comment

Reflections on Abstractions: From ‘Siamese’ Graphs to Concept Lattices

There is an elegant construct of dealing with ‘Siamese’ abstractions for object-attribute situations, from formal concept analysis. Where ‘Siamese’ means not-rhs-unique mapping of complete subgraphs. Continue reading

Posted in Mathematics, Reflections on Abstractions | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Reflections on Abstractions: Subsumptions and Omissions

In addition to the recent posting ‘Abstractive and Functional Mappings’ we provide a simple visualisation of subsuming and omitting abstractions. Continue reading

Posted in Mathematics, Reflections on Abstractions | Tagged , , , , , , , , , , , , , | 1 Comment

Reflections on Abstractions: Abstractive vs Functional Mappings

We introduce the concepts of subsuming and omitting mappings, and see how they are better suited for abstraction and modelling than the classical mathematical concept of functions. Continue reading

Posted in Mathematics, Reflections on Abstractions | Tagged , , , , , , , , , , , , , , , | 3 Comments

Modelling explained (to Journalists)

In journalism dog bites man or man bites dog, makes a big difference. In modelling it’s the same entities with the same relation, just in different directions. Continue reading

Posted in Software_Engineering | Tagged , , , , , , , , , , | Leave a comment

Abstraction makes the Engineer

From my own experience I may say, what separates the engineer from the craftsman is clearly the ability to abstract. Continue reading

Posted in Abstract Thinking, Software_Engineering | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Reflections on Abstractions: The Use Case trade-off

Based on the elementary terms of relational structures, this little example shows the basic trade-off of Use Cases: understandability vs redundancy. Continue reading

Posted in Mathematics, Reflections on Abstractions, Requirements, Software_Engineering | Tagged , , , , , , , , , , , , , , , | 1 Comment