Contrato de Operações - italopaiva/SiMCTA GitHub Wiki

Contrato de Operações

Nome da Operação: Matricular Aluno

Referência Cruzada: Matricular Aluno, Matricular aluno em novo curso

Pré-condições: Não há.

Pós-condições:

Uma instância student de Student (Aluno) foi criada com seus dados básicos. [RN09]
Uma instância service de Service (Serviço) foi criada.
O aluno student foi vinculado ao serviço service.
Instâncias package de Package (Pacote) e/ou course de Course (Curso) foram criadas com os pacote(s) e/ou curso(s) solicitados pelo aluno.
Uma instância serviceItem de ServiceItem foi criada para cada pacote ou curso solicitados, vinculando os pacotes ou cursos ao item de serviço serviceItem.
Os itens de serviço serviceItem foram vinculados ao serviço service.
Uma instância payment de Payment (Pagamento) foi criada e vinculada ao serviço service.
O aluno student foi salvo.
O pagamento payment foi salvo.
O serviço service foi salvo.