Transformação da Modelação BPMN para REO - Kasar, Pankaj E.
23,99 €
inkl. MwSt.

Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Os sistemas de software actuais estão a aumentar tremendamente de tamanho. Este facto torna a verificação e validação destes sistemas uma tarefa cada vez mais difícil. Não só a dimensão dos sistemas aumenta, como também é necessário desenvolver e suportar um número crescente de funcionalidades e formalismos para modelar e analisar aplicações reais. Cada sistema é representado sob a forma de um modelo. Existem muitas notações de modelação disponíveis, como BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language), etc. A BPMN é capaz de representar todos os…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Os sistemas de software actuais estão a aumentar tremendamente de tamanho. Este facto torna a verificação e validação destes sistemas uma tarefa cada vez mais difícil. Não só a dimensão dos sistemas aumenta, como também é necessário desenvolver e suportar um número crescente de funcionalidades e formalismos para modelar e analisar aplicações reais. Cada sistema é representado sob a forma de um modelo. Existem muitas notações de modelação disponíveis, como BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language), etc. A BPMN é capaz de representar todos os aspectos de um processo empresarial de grande dimensão. Por conseguinte, a BPMN é uma norma emergente para representar processos empresariais e, indiretamente, sistemas de software. A BPMN é uma notação visual de modelação de processos que pode ser facilmente compreendida pelos analistas de negócio. Mas a BPMN está atrasada em relação à semântica formal dos sistemas. No momento da verificação de um determinado sistema, estas notações de modelização não são suficientes para garantir a correção semântica do sistema. Assim, para a verificação e validação de sistemas, de acordo com a abordagem proposta, o modelo BPMN do sistema é convertido em modelo REO e, consequentemente, em mCLR, uma linguagem de especificação formal.
Autorenporträt
Pankaj E Kasar: Estou a tirar o doutoramento em Tecnologias da Informação na Universidade Tecnológica Dr. Babasaheb Ambedkar, Lonere, Dist-Raigad. Atualmente, trabalho como professor assistente no departamento de engenharia informática do R. C. Patel Institute of Technology, Shirpur, Dist- Dhule, Maharashtra, Índia.