### Modelling:

### Tweets

- #freestuff The Blackwell Guide to Philosophy of Computing and Information sites.sas.upenn.edu/sites/default/… 3 days ago
- @vardi Best brain train game: Lisp. It improved my Chess playing. Not kidding. 1 week ago

# Tag Archives: modeling

## A simple relational Model

Modelling foundations: What does a simple diagram ‘thing – relation – thing’ say, in terms of logic? Continue reading

## 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

## 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

## 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

## 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

## 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

## 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 abstraction, Graph, left-total, left-unique, lhs, Mapping, model, modeling, omission, reflections on abstractions, Relation, rhs, ROA, subsumption
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 abstraction, bijection, function, Graph, left-total, left-unique, lhs, Mapping, model, modeling, reflections on abstractions, Relation, rhs, ROA, total, unique
3 Comments

## 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 abstraction, abstraction awareness, Class, classification, classifier, component, concept analysis, formal concept analysis, formal methods, Graph Theory, model, modeling, modeling theory, module, refinement, reflections on abstractions, ROA
1 Comment