Advanced Modelling Made Simple

Transcription

1 Advanced Modelling Made Simple with the Gmodel metalanguage Jorn Bettin & Tony Clark

2 Software Software is an arbitrary set of language artefacts

3 Software Artefact Production software developers software systems & other humans

4 Today Software suffers from the File:Cloud_computing_icon.svg same problems as way back when natural language evolved to enrich the exchange between humans Increasingly the artefacts exchanged between humans are neither hardware nor natural language (encoded in speech or symbolic notation) File:Discussion.jpg All language artefacts share the probems of natural language: unanticipated interpretations, etc.

5 Modelling is about Clarity All models are code a system of symbols used for identification classification in the sense of grouping a system of signals used to send messages a set of conventions governing behaviour Modelling is meta coding to improve clarity of code

6 Modularisation separation of concerns Modules preserve Simplicity Roles and modular artefacts represent the building blocks of value chains Optimise within the organisational context of customers, suppliers, and available skills A B C D E F role based unit of work

7 B consume produce produce Value Chain A D produce consume produce A B C D E F consume consume C F EF consume produce produce

8 Semantic Modelling Models 1. Identification of concepts 3. Naming of concepts Semantic Domains 2. Modelling

9 A B C Semantic Domains D EF F

10 Connected Semantic Domains A B C D E F

11 ab ac ad Shared Language de df

12 Jargon = Words + Symbols ef de df ad cf ac bc ab

13 Perspective Jargon D df F View Point

14 Reflexive Jargon DSML F f F View Point

15 Jargons develop on top of Shared Semantic Subdomains ab ac bc A B C ad cf D E F de df ef

16 model An instance is a set that seems to contain one and only one element at any given point in time from the view point of a specific actor Instantiation is a function that returns an of instantiation instance instance ABC 123

17 Programming Only one instantiation level Every technology uses idiocyncratic mechanisms for Instantiation Reuse Scope management Access control Modularisation No wonder programming is hard!

18 Modelling No limit to instantiation levels A single mechanism for Instantiation Reuse Scope management Access control Modularisation Modelling with Gmodel is Simple!

19 multi-level modelling precise instantiation semantics role based binding times modularity simplicity Vertex : AnimalSpecies maxage isabstract : no system design time instantiation... establishes connections between two levels of abstraction that define different binding times AnimalSpecies : Mammal maxage : 150 isabstract : yes dateofbirth species configuration time generalisation/... expresses the commonalities and variabilities between the concepts relevant to a specific binding time AnimalSpecies : Dog maxage : 20 isabstract : no ispolicedog [2] [*] AnimalSpecies : Cat maxage : 30 isabstract : no [2] [*] a consistent instantiation mechanism at all levels and unlimited levels of instantiation treatment time Dog : Jack Dog : Susie Cat : Coco Cat : Peter dateofbirth : 1/5/03 ispolicedog : yes dateofbirth : 1/2/00 ispolicedog : no dateofbirth : 4/3/07 dateofbirth : 10/9/98

20 Metalanguage Emulation grey = meta artefacts red = instantiation semantics black = artefact structure blue links = superset references (reuse) dashed links = visibilities (scope) produce produce Integrator

21 Modelling Language Design Language Designer produce

22 Modelling produce Modeller

23 CRM System Usage Sales Exec produce

24 Scope Management Example

25 More Information The Role of Artefacts From Muddling to Modelling Model Oriented Domain Analysis tiny.cc/artefacts tiny.cc/muddletomodel tiny.cc/domainanalysis Multi-Level Modelling tiny.cc/gmodel Denotational Semantics tiny.cc/densem Thank you Jorn Bettin Software is Models sofismo.ch