>> Relatório Projeto EU-Rent >> >> >>

Tamanho: px

Começar a partir da página:

Download ">> Relatório Projeto EU-Rent >> >> >>"

Daniela Fontes Weber
8 Há anos
Visualizações:

1 Relatório gerado pelo RAPDIS 1.0 versão gratuita. 20/10/2009 >> Relatório Projeto EU-Rent >> >> >> Processos Car Rental Mini Atividades Select car procedure selectcar(process: Process) Página 1

2 var acar: Car; acar:= [Car.allInstances->select(c c.status = 'available' ->assequence->first()]; [acar].status:= ['reserved']; [process].car:=[acar]; post SelectCar_post01: self.car.isdefined post SelectCar_post02: self.car = Car.allInstances->select(c c.status = 'available' ->assequence->first() post SelectCar_post03: self.car.status = 'reserved' Identify client procedure identifyclient(process: r:string,adlnumber:string,aphone:string,anaddress:string,abirthdate:integer var aclient: Client, adrivinglicense: DrivingLicense; aclient:= Create(Client); [aclient].name:= [aname]; [aclient].socsecnumber:= [asocsecnumber]; adrivinglicense := Create(DrivingLicense); [adrivinglicense].number := [adlnumber]; adrivinglicense.licensingdate:= [alicensingdate]; Insert(DrivingLicense_Driver, [aclient], [adrivinglicense]); Página 2

r:string,adlnumber:string,aphone:string,anaddress:string,abirthdate:integer var aclient: Client, adrivinglicense: DrivingLicense; aclient:= Create(Client); [aclient].name:= [aname]; [aclient].

3 [aclient].phone:= [aphone]; [aclient].address:= [anaddress]; [aclient].birthdate:= [abirthdate]; [process].client:=[aclient]; post IdentifyClient_post01: (Client.allInstances->select(c c.socsecnumber = asocsecnumber)->size() = 1) and (self.client.licensingdate.duration(self.client.licensingdate.now()) > 365*2) post IdentifyClient_post02: client.name = aname post IdentifyClient_post03: client.socsecnumber = asocsecnumber post IdentifyClient_post04: client.drivinglicense.number = adlnumber post IdentifyClient_post05: client.drivinglicense.licensingdate = alicensingdate post IdentifyClient_post06: client.phone = aphone post IdentifyClient_post07: client.address = anaddress post IdentifyClient_post08: client.birthdate = abirthdate Check credit procedure checkcredit(process: Process,aClient:Client,aNumber:String,aFlag:String,aSegCode:String,aValid:Integer, anapcode: String) var acard: CreditCard; acard:= Create(CreditCard); [acard].number:= [anumber]; [acard].flag:= [aflag]; [acard].segcode:= [asegcode]; [acard].valid:= [avalid]; [acard].approvalcode:= [anapcode]; Insert(Client_CreditCard, [aclient], [acard]); [process].creditcard:=[acard]; [process].client:=[aclient]; post Check_Credit01: card.number = anumber post Check_Credit02: card.flag = aflag post Check_Credit03: card.segcode = asegcode post Check_Credit04: card.valid = avalid post Check_Credit05: card.approvalcode = anapcode post Check_Credit06: client.card->includes(card) Prepare contract procedure preparecontract(process: Process,aClient:Client,aCar:Car,aPeriod:Period) var arent: Rent; arent := Create(Rent); Insert(Rent_Car, [arent], [acar]); Insert(Rent_Client, [arent], [aclient]); Insert(Period_Rent, [arent], [aperiod]); [acar].status:= ['rented']; [process].rent:=[arent]; [process].car:=[acar]; post PrepareContract_post01: (Rent.allInstances->select(r r.client = aclient and r.car = acar)->size() = 1) post PrepareContract_post02: acar.status = 'rented'; Notify aditional driver procedure notifyadditionaldriver(process: r:string,adlnumber:string,alicensingdate:integer, arent: Rent) var adriver: Driver, adrivinglicense: CrivingLicense; Página 3

name = aname post IdentifyClient_post03: client.socsecnumber = asocsecnumber post IdentifyClient_post04: client.drivinglicense.number = adlnumber post IdentifyClient_post05: client.drivinglicense.licensingdate = alicensingdate post IdentifyClient_post06: client.

4 adriver:= Create(Driver); [adriver].name:= [aname]; [adriver].socsecnumber:= [asocsecnumber]; adrivinglicense := Create(DrivingLicense); [adrivinglicense].number := [adlnumber]; [adrivinglicense].licensingdate:= [alicensingdate]; Insert(DrivingLicensing_Driver, [adriver]. [adriverlicensing]); Insert(Driver_Rent, [arent], [adriver]); return arent, adriver; post NotifyAdditionalDriver_post01: Process.allInstances.asSequence.first.driver.drivingLicense.licensingDate.duration(process.date.now())>= 730 post NotifyAdditionalDriver_post02: let rent: Rent = Process.allInstances.asSequence.first.rent in rent.price = rent.period.startdate.duration(rent.period.enddate) * rent.car.price * 1,25 post NotifyAdditionalDriver_post03: Process.allInstances.asSequence.first.rent.driver->size() <= 2 Sign contract procedure signcontract(process: Process,aRent:Rent, arentalclerk: String) [arent].rentalclerk:= [arentalclerk]; return arent; post SignContract_post01: arent.signature = true Select period procedure selectperiod(process: Process,aStartDate:Integer,anEndDate:Integer) var aperiod: Period, arent: Rent; aperiod:= Create(Period); [aperiod].startdate:= [astartdate]; [aperiod].enddate:= [anenddate]; [process].period:=[aperiod]; post SelectPeriod01: self.period.startdate:= astartdate; post SelectPeriod02: self.period..enddate:= anenddate; Desvios/Merges 1. name=d2 [Identify Client] process.car.mileage <= [dr2] process.car.mileage > name = m2 name=d3 [m3] process.client.drivinglicense.licensingdate.duration(process.date.now())>= 730 and process.client.status <> 'barrado' [End] process.client.drivinglicense.licensingdate.duration(process.date.now()) < 730 or process.client.status = 'barrado' name=m3 name=d4 [Prepare Contract] process.creditcard.approvalcode.isdefined() [dr5] process.creditcard.approvalcode.isundefined() name=m4 name=dr3 name=dr4 Página 4

[adriverlicensing]); Insert(Driver_Rent, [arent], [adriver]); return arent, adriver; post NotifyAdditionalDriver_post01: Process.allInstances.asSequence.first.driver.drivingLicense.licensingDate.

5 random = true name=m5 name = m1 name = d1 [dr1] teste 1 apenas [m2] teste 1 concluindo name = dr1 name = dr2 random = true name=dr5 random = true Teste caminhos Desvios/Merges 1. name=m1 name=d1 [2] a [3]b [4]c name=d2 name=m2 name=df name=mf Página 5

name=dr5 random = true Teste caminhos Desvios/Merges 1.

6 Classes Domínio Teste Página 6

Documentos relacionados

Manual de Integração. Cartão Protegido - Apêndice. Versão 2.0

Manual de Integração. Cartão Protegido - Apêndice. Versão 2.0 - Apêndice Versão 2.0 24/08/2012 SUMÁRIO HISTÓRICO DE ALTERAÇÕES... 3 1. MÉTODOS DO CARTÃO PROTEGIDO COM DADOS EXTRAS... 4 1.1. SAVING A CREDIT CARD WITH EXTRA DATA... 4 1.2. INSERINDO DADOS EXTRAS...