Entity Relationship Diagrams, Data And Control Flow Diagrams, And Process Specifications For Automatic Heating System Environment