Author Archives: modelpractice

About modelpractice

Modeling Theory and Abstraction Awareness in strive for scientific rigour and relevance to information systems engineering.

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

What kind of Computer Science matters?

Just came across Why Computer Science Matters? by Vugranam Sreedhar. He observes a decline in real computer scientists in favour of ‘commodity programmers’. Basically, I have to (sad but true) agree here, and would like to take a closer look … Continue reading

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

Modelling with Classes: Square and Rectangle revisited

Classic problem in class-modelling: how to express that a square is a special kind of rectangle? In order to deepen understanding, let us scrutinize the situation a bit closer here, using logical/ structural foundations of modelling: Continue reading

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