资 源 简 介
This is a Software engineering project at the Department of Computer, University of Pretoria. The main goal of this project is to develop a Web services following Event-B methodology from requirement to product delivery. The plug-in will be used to automate the translation between BPEL code and Event-B specifications.
文 件 列 表
AirLineReservation
.project
ConcreteContext.bcc
ConcreteContext.bpo
ConcreteContext.bpr
ConcreteContext.bps
ConcreteContext.buc
ConcreteContext.wsdl
ConcreteContext1.bpr
ConcreteContext11.bpr
ConcreteContext2.bpr
ConcreteMachine.bcm
ConcreteMachine.bpelex
ConcreteMachine.bpo
ConcreteMachine.bpr
ConcreteMachine.bps
ConcreteMachine.bum
ConcreteMachine10.bpelex
ConcreteMachine10.bpr
ConcreteMachine101.bpr
ConcreteMachine11.bpelex
ConcreteMachine12.bpelex
ConcreteMachine13.bpelex
ConcreteMachine14.bpelex
ConcreteMachine15.bpelex
ConcreteMachine16.bpelex
ConcreteMachine17.bpelex
ConcreteMachine17.bpr
ConcreteMachine18.bpelex
ConcreteMachine18.bpr
ConcreteMachine19.bpelex
ConcreteMachine20.bcm_tmp
ConcreteMachine20.bpel
ConcreteMachine20.bum
ConcreteMachine201.bcm_tmp
ConcreteMachine201.bum
ConcreteMachine3.bpelex
ConcreteMachine4.bpelex
ConcreteMachine6.bpelex
ConcreteMachine6.bpr
ConcreteMachine61.bpelex
ConcreteMachine61.bpr
ConcreteMachine7.bpelex
ConcreteMachine7.bpr
ConcreteMachine8.bpelex
ConcreteMachine8.bpr
ConcreteMachine82.bpelex
ConcreteMachine9.bpelex
ConcreteMachine9.bpr
FinalAbstractMachine.bpr
change.bpr
changeMe.bpr
reservationAbstractMachine.bpr
reservationContext.bpr
reservationFirstRefinement.bpr
reservationFirstRefinementMachine.bpr
reservationSecondRefinement.bpr
reservationSecondRefinementMachine.bpr
reservationThirdRefinement.bpr
theory.bpr
