Projeto de ESD - JCSP Rafael Duarte Rodrigo Teixeira
Motivação Criação de um modelo em CSP e posterior implementação em JCSP capaz de reproduzir o comportamento existente em sistemas distribuídos de grande escala (J2EE, CORBA, Web Services, etc.) Containers Compartilhamento de servidores Balanceamento de carga
Cenário 0 – Conexão Direta Client Server Criação de uma GUI Identificação de canais precisa ser expandida pt.wdl, pt.reqBal, pt.reasBal viram 3 canais em JCSP Client Server CSP JCSP GUI
Cenário 1 – Conector O Conector (CON): depende do protocolo dos componentes criado durante o deployment Se comporta como o processo COPY SERVER [F= CON || SERVER Client Server CON GUI
Cenário 2 – Conector Compartilhamento Server Permite que o servidor seja compartilhado entre varios clientes de forma consistente SERVER [F= CONCHOICE || SERVER / pt2 SERVER ||| SERVER [T= CONCHOICE || SERVER CONCHOICE Client 1 Client 2 Pt3 Pt2 Pt1 GUI1 GUI2
Cenário – Balanceamento de Carga Client 1 Client 2 Server 1 Server 2 CONCHOICE2CONBALANCE Middleware provê: Balanceamento de Carga ( CONBALANCE ) Compartilhamento ( CONCHOICE2 ) SERVER ||| SERVER [F= CONCHOICE || SERVER
Considerações Finais - JCSP Gap Semântico entre CSP e JCSP dificulta implementação Sincronização Identificação de Canais Renomeação Hiding JCSP é muito hard-wired, muito trabalho para conectar processos com muitos canais Ferramenta visual ajudaria bastante (UML-RT)
Cenário 2 – Conector Compartilhamento Server Permite que o servidor seja compartilhado entre varios clientes de forma consistente SERVER [F= CONCHOICE || SERVER / pt2 SERVER ||| SERVER [T= CONCHOICE || SERVER CONCHOICE Client 1 Client 2 Pt3 Pt2 Pt1
Considerações Finais – UML RT Sincronismo Simula Procedure Call Semântica de bloqueio diferente da de CSP Considerar Invokes recursivos (reply e invoke na mesma transição) Ferramenta Visual ajudou bastante Porém, implementação final distante de especificação em CSP