Dines Bjørner

CAUP-CIUC TongJi Seminars

A Model of Urban Planning Development

Monday-Tuesday-Wednesday and Tuesday - September 11-12-13 and 19, 2017

• Presentation of Urban Planning Processes, Slides
  • Monday 11 Sept. 9:30-10:15 and 10:45-11:30, Introductory Remarks , Lecture 1
  • Tuesday 12 Sept. , Base Urban Planning , Lecture 2
  • Wednesday 13 Sept. , Derived Urban Plannings Lecture 3
  • Tuesday 19 Sept. 9:30-111:00, Process Management, Data Management, Discussion Lecture 4
• Aims: The aims of these lectures are to make the participants aware of the possibility
  of formalising a number of aspects of urban planning.
• Objectives: The objectives of these lectures are to persuade some of the researchers of
  the TongJi university's Urban Planning (CAUP and CIUC) community
  • that further work on precise Chinese and/or English descriptions
    together with their formalisation of urban planning data and processes be continued;
  • that such Chinese/English descriptions and formal models can be the basis for
    the development of professional data management software , and that, eventually,
    such software should be developed; and
  • that such Chinese/English descriptions and formal models can be the basis for
    the development of professional process management software , and that, eventually,
    such software should be developed.
• Abstract: During April-June 2017 I worked out a report: Urban Planning Processes .
  In 4 lectures I will give an introduction to and discuss this work.
  • In Lecture 1 I will introduce the ``ingredients'' of a description of some facets
    of what it takes to do urban development:
    • what the urban planning ``data'' and ``processes'' are;
    • some formal notation;
    • an ultra-brief overview of the formal model;
    • and why we are doing such things ``formally''!
  Lectures 2-3 cover the Urban Planning Processes paper in some detail.
  • In Lecture 2 I will survey a base model of urban planning:
    its ``data'', and the basic, generic urban planning function and behaviour.
  • In Lecture 3 I will survey a model for so-called derived urban plannings:
    ``data'', functions and behaviours.
  Lecture 4 sums discusses what we have done:
  • In Lecture 4 , the lecture participants and the lecturer will discuss
    implications of what I have presented:
    What work should I do at TongJi CAUP/CIUC the rest of September, etc., etc.
• For general background see:
  • Papers on Domain Science & Engineering
  • Generic Seminar Proposal: The Triptych of Software Engineering A Comprehensive Approach
• Other TongJi Lectures: I refer to CEIE-DCST TongJi Seminars on Domain Engineering
  as a Prerequisite for Requirements Engineering for a 3-day seminar on Domain Engineering .