modelpractice

Model>ing< theory and abstraction awareness, in strive for rigour of science and relevance to engineering of information systems.

Skip to content

Home
Inspirations
Readings
Modelling & Abstraction of Relational Structures
- In Strive for Simplicity
About
- Reflections on Abstractions

Tag Archives: Hilbert’s Hotel

Why finiteness counts

Posted on 2011 January 20 by modelpractice

To study computation we need a theory of finite structures. Neil Immerman’s quotation, illustrated by Hilbert’s hotel. Continue reading →

Posted in Mathematics | Tagged abstraction, analysis, Complexity, computation, descriptive complexity, Finite Mathematics, Finite Model Theory, Finiteness, Hilbert, Hilbert's Hotel, Hotel, Immerman, infinity, model theory, Modelling, Neil Immerman | 11 Comments

Modelling:
Tweets
- Finally revealed: "The killer Application of Software Modelling" - opinions? modelpractice.wordpress.com/2017/08/12/sof… 6 hours ago
- RT @softmodeling: “The 3 types of bullshit feedback — and what to do about them” by @cjlew23 buff.ly/2wgYMpD 1 week ago

Blogroll

Tags
abstraction abstraction awareness agile Allgemeine Modelltheorie analysis B.C. Smith BPM BPMN Business Analysis Business Analyst Class classification Complete Complexity component computation computational thinking computer science concept analysis Consistent Correct Diagram Domain education engineering epistemology Finite Model Theory formal concept analysis formal methods generalisation General Model Theory Graph Graph Theory Herbert Stachowiak IEEE 830 informatics Language Lecture Lecture Notes logic Mapping model modeling modeling theory Modelling modelling theory model theory model thinking Model Transformation module original Page quality refinement reflections on abstractions Relation relationship Requirements Requirements Analysis Requirements Engineering Requirements Modeling ROA Scott E Page Scott Page software software engineering software modelling specification Stachowiak State Machine Thinker thinking Transformation UML Unambiguous

On Modelling Theory, Abstraction Awareness and Complexity aware Modelling.

Modelling theory is about the mapping from real world to models with main focus on software engineering and related areas like Business Process Modelling. Abstraction is seen as the core of modelling, thus Abstraction Awareness is closely related to Modelling Theory. Also Complexity Aware Modelling is close to Abstraction Awareness and Modelling Theory, since it it about applying results of complexity theory and finite model theory to software modelling, business modelling, systems engineering and software engineering.

Meta

Create a free website or blog at WordPress.com.