Category Archives: Foundations (rigour)

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

1 + x = 3 as a Query

Strongly reduced recap of basic software engineering concepts: Query, Result Set, Requirement. Continue reading

Posted in Epistemology | 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: 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

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

Reflections on Abstractions: Joining Classification by Relationships and Properties

How does classification based on properties go together with relationship based classes? In addition to the former posting “Concepts vs Modules for Classification”, the fit of concept lattices and relationship graphs is examined in more detail. Continue reading

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

Examples of Preterition and Abundance in Modelling

In addition to the earlier posting “Stachowiak on Preterition and Abundance in Modelling” here are some examples of Preterition and Abundance in Photography, Use Case Models, and Graph or Flow notations. Continue reading

Posted in Epistemology, Herbert Stachowiak, Software_Engineering | Tagged , , , , , , , , , , , , , , , , , , | 5 Comments