Modeling, Models, Notations:
  • modeling: the levels (introduction)
  • e.g. modeling reality: physics
  • e.g. modeling reality: what the system is about
  • system modeling: the paradigms
  • e.g. programs - descriptions of computation
  • e.g. models of computation
  • system properties: state
  • system properties: architecture
  • system models (dynamics graphs)
  • information models: spatial
  • associative networks
    		•  

      Programs

    [INCOMPLETE]
      Location http://www.cs.mun.ca/~ulf/mod/prog.html.
    Written 051204 by Ulf Schünemann.
    Copyright (C) 2004 Ulf Schünemann.

    cf. computer programming, representation

    «process»
     Computation
    ^
    describes, specifies /  
    (denotes, means) /    
    		 ^
      \ models [formally, IOW, formalizes]
        \ (means)
    «linguistic artifact»
     Program text/code     		formal meaning
    (ie. math. model of real meaning)     		«mathematic object»
  • value
  • I/O-mapping, relation
  • transition sequence
    • ^
    |     		^
    |     		^
    |
    Program language
  • grammar
  • syntactic domains
  • ...
    		• formal semantics
    (prog-to-f.meaning assignment)     		Runtime model
  • semantic domains
  • ...

    • ... axiomatic meaning = predicates «logical objects»