Questão 43744

• Banca: CESGRANRIO
• Órgão: Petrobras
• Ano: 2008
• Provas: CESGRANRIO - 2008 - BR Distribuidora - Analista de Sistemas Júnior - Processos de Negócios
• Disciplina: Modelagem de Processos de Negócio (BPM)
• Assuntos: BPMN (Bussines Process Modeling Notation)

A linguagem formal para definir processos concorrentes que se comunicam, incluindo, mas não restrita a, processos de negócio, e que pode fornecer uma base formal às características de controle de fluxo, comunicação baseada em mensagens e mobilidade do BPM é o

• A. Pi-Calculus
• B. Lambda-Calculus.
• C. Erlang.
• D. BPMN.
• E. BPSS.

Gabarito: A

Comentários

•  Já marquei sem certeza porque estava descrito como "linguagem formal", mas nunca li nada sobre Pi-Calculus. Fiquei com os "olhos arregalados" pra questão rsrs

• Pi-Calculus é uma álgebra de processos que possui mecanismos formais para criação e ativação de processos que se comunicam através da troca de mensagens em canais, usando o modelo de rendezvous síncrono. Nesse framework, o processo BPEL é traduzido para um programa Pi-Calculus. Uma Máquina Virtual Pi-Calculus (MVP) recebe o programa Pi-Calculus e produz todas as reações possíveis, ou seja, gera todos os caminhos de execução que o programa pode seguir. A partir desse resultado, efetua-se a verificação de propriedades como: atendimento às especificações de mais alto nível, ordenação de eventos e ocorrência ou não de deadlocks. Em termos práticos, uma ferramenta desse tipo pode ser incorporada aos Sistemas de Gerência de Processos de Negócios (Business Process Management Systems - BPMS) para ampliar a cobertura de testes durante as fases de análise e implementação de um processo dentro do seu ciclo de vida. Nesses tipos de sistemas, a reparação de um erro durante a fase de execução é muito mais custosa que nos sistemas tradicionais
• 
• Nossa, tá de brincadeira.
• Bom é que o edital cobra "Conceitos de BPM". ok, então.

• pi calculus

  Há 3 principios para processos de negocio para BPMN : 1- é uma linguagem facil de compreeender 2- permite facil modelagem de processos simples & complexos 3- tem uma base matematica baseada em pi-calculus para representar processos dinamicamente,.

• Não vi NADA sobre isso em NENHUM material de estudo. Aff.