### Modelling:

### Tweets

- RT @johnregehr: like 50% of computer science papers are exactly this twitter.com/funnymaths/sta… 1 day ago
- @dirkriehle Just a moment, please - drawing the dependency graph . . . . . . . . . . . . . . . . . . . . . . . . 1 week ago

# Tag Archives: abstraction awareness

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

## Reflections on Abstractions: Concepts vs Modules for Classification

A Concept (as in Formal Concept Analysis) and a Module (as in Graph Theory) both cover the notion of Classification. Although they share the same basic idea, they reveal differences in detail. Continue reading

## Reflections on Abstractions in Relational Structures. The very basic Setting.

Abstractional concepts can be found in the very basics of Graph Theory and Formal Concept Analysis. They provide the basic elements of Classification, Aggregation and Generalisation for a deeper rigorous analysis of Abstractions. Continue reading

Posted in Mathematics, Reflections on Abstractions
Tagged abstraction, abstraction awareness, aggregation, classification, component, concept analysis, connectivity, formal concept analysis, formal methods, generalisation, Graph Theory, model, modeling, modeling theory, module, refinement, reflections on abstractions, ROA
2 Comments

## Reflections on Abstractions: Cases vs Models

We describe by simple means of basic Finite Model Theory a very important principle in software engineering: modelling properties is more expressive than just collecting cases. This, for example, is the reason why test cases can be derived from specifications but not vice versa. Continue reading

Posted in Mathematics, Reflections on Abstractions
Tagged abstraction, abstraction awareness, axiomatizable, Case, Finite Model Theory, finite models, formal methods, intentional programming, model, model theory, modeling, modeling theory, refinement, reflections on abstractions, ROA, specification, Test
Leave a comment

## Reflections on Abstractions: Generalisation and Aggregation

Abstraction Awareness is about gaining a deeper understanding of abstraction. With basic means of Graph Theory we diff among two kinds of abstraction: abstraction wrt. generalisation and aggregation. Continue reading

## Human centric Modelling

There is a modelling at the low-end, that we use every day a million times, and there is modelling at the high-end with comprehensive concepts like UML, MDD etc. Both are good to have. Perhaps approaching the modelling topic from the low-end would make it easier accessible for most of the software practitioners. Continue reading

Posted in Model Thinking
Tagged abstraction, abstraction awareness, computational thinking, Language, mda, mdd, model, model thinking, Modelling, modelling theory, software modelling, thinking, Tool, UML
5 Comments

## Modelling Abstraction etc in 2011

Just reviewed my Twitter timeline of 2011: … (tweets, links, and wisdoms of the year) Continue reading

## Complexity Awareness is Cost Awareness

If “engineering is producing an artifact to cost”, then how can modelling contribute to it? Continue reading

## 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 abstraction, abstraction awareness, application, blind spot, example, industry, inspiration, logic, model, model theory, modeling, Modelling, modelling theory, relevance, rhino, rigor, rigour, Socrates, software, software modelling, theory of modelling
8 Comments

## Software Modelling – a Rhino’s Perspectice

Got carried away by this little picture, I recently found in a tweet, and its correspondence to modelling. So I started fooling around a bit on blind spots, redundancy and how to handle it in software modelling. Continue reading

Posted in Epistemology
Tagged abstraction, abstraction awareness, blind spot, BPMN, Diagram, ERM, horn, model, modeling, modelling theory, perspective, redundancy, rhino, software, UML, view
1 Comment