{"product_id":"preobrazowanie-modelirowaniq-bpmn-w-reo-von-pankadzh-je-kasar","title":"Preobrazowanie modelirowaniq BPMN w REO","description":"\u003cp\u003eSowremennye programmnye sistemy sil'no uwelichiwaütsq w razmerah. Jeto delaet werifikaciü i walidaciü takih sistem wse bolee slozhnoj zadachej. Uwelichiwaetsq ne tol'ko razmer sistem, no i kolichestwo funkcij i formalizmow, kotorye neobhodimo razrabatywat' i podderzhiwat' dlq modelirowaniq i analiza real'nyh prilozhenij. Kazhdaq sistema predstawlqetsq w wide modeli. Suschestwuet mnozhestwo notacij modelirowaniq, takih kak BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language) i dr. BPMN sama po sebe sposobna predstawit' wse aspekty konkretnogo krupnogo biznes-processa. Poätomu BPMN qwlqetsq razwiwaüschimsq standartom dlq predstawleniq biznes-processow i koswenno programmnyh sistem. BPMN - äto wizual'naq notaciq modelirowaniq processow, kotoraq mozhet byt' legko ponqta biznes-analitikami. Odnako BPMN otstaet ot formal'noj semantiki sistem. Vo wremq werifikacii konkretnoj sistemy takih notacij modelirowaniq nedostatochno, chtoby obespechit' semanticheskuü korrektnost' sistemy. Takim obrazom, dlq werifikacii i walidacii sistem, soglasno predlagaemomu podhodu, BPMN-model' sistemy preobrazuetsq w REO-model', a zatem w formal'nyj qzyk specifikacii mCLR.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786207166077\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786207166077","offer_id":47651002483013,"sku":"9786207166077","price":35.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5f6382d1-94ba-4a07-8eb5-78d36fb34a68.jpg?v=1749531666","url":"https:\/\/shop.autorenwelt.de\/products\/preobrazowanie-modelirowaniq-bpmn-w-reo-von-pankadzh-je-kasar","provider":"Autorenwelt Shop","version":"1.0","type":"link"}