Tag Archives: logic

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

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

Reflections on Abstractions: Correctness and Completeness

An earlier post on quality properties of models is compared to basic concepts of mathematical logic, in strive for rigour. What does a formal system of mathematical logic has in common with a modelling situation as in requirements analysis? It depends … Continue reading

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

Models: Correct, Complete, Consistent, Unambiguous

How do you judge how ‘good’ or ‘bad’ a model is? I mean models like we use them in software requirements specification or business analysis. On this, one can find criteria in literature like BABOK, Wikipedia, IEEE, research papers, or textbooks. However, for some reason these criteria sets are quite different in each case. I’ve tried to get the things a little straighter, starting with the ‘big four’ quality characteristics of software requirements specifications … Continue reading

Posted in Mathematics, Requirements | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Lazy Friday (and First Order Logic)

Can “the company has 3 problems” be formalized in First Order language? Picture the sentence in the context of a management presentation … Continue reading

Posted in Mathematics | Tagged , , , , , , , , , , , | 2 Comments

What makes a Structural Scientist?

The barber shaves only those men in town who do not shave themselves! Who shaves the barber? Continue reading

Posted in Epistemology | Tagged , , , , , , , , , , | 1 Comment

Rhinos – a Modelling Theorist’s Perspective

A structure of rigurous and relevant principles are necessary and sufficient to constitute a Modelling Theory. Everything else, like processual, behavioural, ontological or linguistic considerations, is optional. Let me enlighten this position, with the help of last week’s Rhino posting: …
Continue reading

Posted in Epistemology | Tagged , , , , , , , , , , , , , , , , , , , , | 8 Comments