{"product_id":"transformacao-da-modelacao-bpmn-para-reo-von-pankaj-e-kasar","title":"Transformação da Modelação BPMN para REO","description":"\u003cp\u003eOs 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786207166121\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786207166121","offer_id":47651048784197,"sku":"9786207166121","price":35.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/78d0a94e-60d6-4b09-aeb0-1d8459537d4b.jpg?v=1749444748","url":"https:\/\/shop.autorenwelt.de\/en\/products\/transformacao-da-modelacao-bpmn-para-reo-von-pankaj-e-kasar","provider":"Autorenwelt Shop","version":"1.0","type":"link"}