Category Archives: Series

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

Unambiguous Requirements Models

We’ll see that the concept of ambiguity of (requirements in software engineering) models comprises structural as well as material aspects, on all model levels (top to bottom). Continue reading

Posted in Requirements, Software_Engineering | Tagged , , , , , , , , , , | 1 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

Modeling for Understanding and/xor/etc Execution

Executable models have a great potential for achieving real separation of concerns. However, some practical modeling aspects on the business side deserve closer attention. Continue reading

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

Splitting the Requirements Atom

Atomicity is considered an important property of requirements. However, if we take a deeper look, we see the concept of atomicity lacks in rigour. Is e.g. the atomicity concept of Logic suitable here? Continue reading

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

Modeling & Abstraction at the very heart of Business Requirements Analysis

From industrial practice we know a BA definitely adds a lot of value to an IT project. So, now we try to conceptualise this in contrast to the Biz Engineer’s and IT Architect’s role. As we’ll see, a BA’s special benefit is mainly based on abstraction (and thus modeling). Continue reading

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

Software Requirements Analysis: From the Art of Tidying Up to the Art of Abstraction

Requirements analysis is more than just tidying up, it’s about understanding the complexity of structures. An explanation inspired by the art of Ursus Wehrli: Continue reading

Posted in Requirements, 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

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