Pankadzh Je. Kasar

Preobrazowanie modelirowaniq BPMN w REO

• Broschiertes Buch

Produktbeschreibung

Sowremennye 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.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 56
• Erscheinungstermin: 14. Februar 2024
• Russisch
• Abmessung: 220mm x 150mm x 4mm
• Gewicht: 102g
• ISBN-13: 9786207166077
• ISBN-10: 6207166078
• Artikelnr.: 69985068

Autorenporträt

Pankadzh Je. Kasar: Ya poluchaü stepen' doktora filosofii w oblasti informacionnyh tehnologij w Tehnologicheskom uniwersitete imeni doktora Babasaheba Ambedkara, Lonär, okrug Rajgad. V nastoqschee wremq rabotaü docentom na kafedre komp'üternoj inzhenerii w Tehnologicheskom institute imeni R. K. Patelq, Shirpur, okrug Dhule, Maharashtra, Indiq.