0.

1.

1.1.

концептуальная модель класс поддействие

1.1.1.

1.1.2

1.1.2.1

2.

2.1.

2.2.

2.3.

2.4.

2.4.1

3.

4.

4.1.

4.1.1

4.1.2

4.1.3

5.

5.1.

5.2.

6.

Концептуальная модель

Объекты:

Q={Заказчик, Разрешение, Деньги, Чиновники, Администрация, Подрядный договор, Рабочие, Проект, Документация, Стройка, Земля, Дом, Ресурсы, Техника, Топливо}

Свойства объектов:

P (Дом) ={Сдан, Построен}

P (Стройка) ={Рабочие условия}

P (Склад) ={Открыт}

P (Документация) ={Утверждена}

P (Рабочие) ={Рабочее время}

Отношения:

R (Рабочие) ={на (Стройка), имеют разрешение (Стройка), заплатили (Склад), на (Склад) }

R (Заказчик) ={получил разрешение (Стройка), заплатил (Чиновники), получил (Разрешение), заплатил (Администрация) }

R (Разрешение) ={}

R (Чиновники) ={дали (Разрешение), подписали (Разрешение) }

R (Деньги) ={у (Чиновники), у (Рабочие), у (Склад), на (Ресурсы), на (Топливо), у (Заказчик), для (Чиновники), для (Администрация), у (Администрация) }

R (Подрядный договор) ={подписан (Рабочие), подписан (Заказчик) }

R (Проект) ={утвержден (Заказчик), у (Рабочие), на (Дом) }

R (Стройка) ={}

R (Земля) ={у (Заказчик), у (Администрация), под (Проект) }

R (Администрация) ={}

R (Документация) ={на (Проект) }

R (Дом) ={}

R (Ресурсы) ={заказаны (Рабочие), на (Стройка) }

R (Техника) ={для (Рабочие), на (Стройка) }

R (Топливо) ={для (Техника), заказано (Рабочие) }

R (Транспорт) ={для (Рабочие), есть у (Рабочие) }

R (Склад) ={}

Действия:

D (Рабочие) ={построить (Дом), получить (Разрешение), взять (Проект), подписать (Подрядный договор), прибыть (Стройка), доставить (Ресурсы), заказать (Ресурсы), прибыть (Склад), заплатить (Деньги), работать (Стройка), заказать (Топливо), пригнать (Техника), сдать (Дом) }

D (Заказчик) ={получить (Разрешение), заплатить (Чиновники), подписать (Подрядный договор), утвердить (Проект), купить (Земля), заплатить (Администрация), дать (Деньги) }

D (Чиновники) ={дать (Разрешение), подписать (Разрешение) }

Древо поддействий

Объектная модель

Builders class

arriveCunstruction

"Perform the arriveCunstruction action. "

(havePlan)

ifTrue: [onConstruction: =true.].

arriveStorehouse

"Perform the arriveStorehouse action. "

onStorehouse: =true.

builtHouse

"Perform the builtHouse action. "

( (workTimeSpend) & (houseisReady))

ifTrue: [houseBuild: =true.].

deliveResource: resOrdered

"Perform the deliveResource: action. "

(resOrdered)

ifTrue: [^true.].

finishHouse

"Perform the finishHouse action. "

(workTimeSpend)

ifTrue: [houseisReady: =true.].

getPromission: custPromis

"Perform the getPromission: action. "

(custPromis)

ifTrue: [havePremission: =true.].

moveMachinery

"Perform the moveMachinery action. "

machineryOnConstruction: =true.

orderFuel

"Perform the orderFuel action. "

(money workersHave)

ifTrue: [fuelOrdered: =true.].

orderResource

"Perform the orderResource action. "

( (onStorehouse) & (paidStorehouse))

ifTrue: [^true.]

payMoney

"Perform the payMoney action. "

( (onStorehouse) & (money workersHave))

ifTrue: [paidStorehouse: =true.].

signWorkPlan

"Perform the signWorkPlan action. "

(workPlanSignByCustomer)

ifTrue: [workPlanSignByWorkers: =true.].

takePlan: land With: approvePlan

"Perform the takePlan: with: action. "

( (land) & (approvePlan) & (workPlanSignByWorkers) & (workPlanSignByCustomer)) ifTrue: [havePlan: =true.].

workOnCunstruction

"Perform the workOnCunstruction action. "

( (fuelOrdered) & (machineryOnConstruction) & (onConstruction))

ifTrue: [workTimeSpend: =true.].

Costumer class

approvePlan

"Perform the approvePlan action. "

planApproved: =true.

bayLand

"Perform the bayLand action. "

(paidAdministration)

ifTrue: [haveLand: =true.].

getPremission

"Perform the getPremission action. "

(bureaucrat givePermission)

ifTrue: [getPremissionForConstruction: = true.

hasPremission: =true.].

giveMoney

"Perform the giveMoney action. "

^true.

payAdministration

"Perform the payAdministration action. "

paidAdministration: =true.

^true.

payBureaucrat

"Perform the payBureaucrat action. "

paidBureaucrat: =true.

^true.

signWorkContract

"Perform the signWorkContract action. "

(hasPremission)

ifTrue: [^true.].

Construction Class

printOn: aStream

"Perform the printOn: action. "

nextPutAll: ' *Разрешение получено*: ';

nextPutAll: ( (customer hasPremission) asString);

cr;

nextPutAll: ' *План получен*: ';

nextPutAll: ( (builders havePlan) asString);

cr;

nextPutAll: ' *Время затрачено*: ';

nextPutAll: ( (builders workTimeSpend) asString);

cr;

nextPutAll: ' *Дом построен*: ';

nextPutAll: ( (builders houseisReady) asString).

Размещено на Allbest.ru