### Modelling:

### Tweets

- RT @sarahnadi: Page on writing academic papers bit.ly/2gEo76L (focused on "logistics" & structuring rather than English writing).F… 1 week ago
- Why #Modelling in Software Analysis is different modelpractice.wordpress.com/2017/10/02/mod… 2 weeks ago

# Tag Archives: Graph Theory

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

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

## Reflections on Abstractions: Adjacent Rooms

Example of an abstraction by subsuming directly connected nodes in the original into a single node in the model. This corresponds to a situation where structures of wall are abstracted to rooms with the neighborhood relation. Continue reading

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

## 2-Structures by Ehrenfeucht et al.

2-Structures theory is mainly concerned with analysing the algebraic properties of switches. Therefore Ehrenfeucht, Harju, Rozenberg give the following example: … Continue reading

Posted in Mathematics
Tagged 2-Structures, abstraction, Clan, Ehrenfeucht, Finite Model Theory, Graph, Graph Theory, Harju, model, model theory, modeling, Relation, Rozenberg, Switch
2 Comments