Transformação da Modelação BPMN para REO [Portuguese]

By Pankaj E Kasar

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.

• Format: Paperback
• Language: Portuguese
• ISBN: 6207166124
• ISBN13: 9786207166121
• Release Date: February 2024
• Publisher: Edicoes Nosso Conhecimento
• Length: 56 Pages
• Weight: 0.21 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"