|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423183240.0 |
| 008 |
230201s2016 sz a r 000 0 eng d |
| 020 |
|
|
|a 9783319449586
|
| 024 |
8 |
|
|a DIF-M8116
|b 8340
|z DIF007419
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Kunze, Matthias
|9 49952
|
| 245 |
1 |
0 |
|a Behavioural models :
|b from modelling finite automata to analysing business processes
|
| 260 |
|
|
|a Cham :
|b Springer,
|c c2016
|
| 300 |
|
|
|a xii, 279 p. :
|b il.
|
| 500 |
|
|
|a Incluye índice y bibliografía.
|
| 505 |
0 |
|
|a Part I. Foundations -- 1 Introduction -- 1.1 Behavioural Models -- 1.2 Motivating Example -- 1.3 On Modelling -- 1.4 Models in Computer Science -- 1.5 Modelling in System Development -- 2 Discrete Dynamic Systems -- 2.1 Characterisation of Dynamic Systems -- 2.2 Transition Systems -- 2.3 Events and Causality -- 2.4 Application of Discrete Dynamic System Models -- Bibliographical Notes -- Part II. Models of Behaviour -- 3 Sequential Systems -- 3.1 Finite Automata -- 3.2 Automata with Output -- 3.3 Extended Automata -- 3.4 State Machines -- Bibliographical Notes -- 4 Concurrent Systems -- 4.1 State Machines -- 4.2 Interacting Systems -- 4.3 Petri Nets -- Bibliographical Notes -- 5 Business Process Models -- 5.1 Workflow Patterns -- 5.2 Introduction to Business Process Modelling -- 5.3 Business Process Model and Notation -- Bibliographical Notes -- Part III. Analysis of Behaviour -- 6 State Spaces -- 6.1 Introduction to State Spaces -- 6.2 State Spaces of Sequential Systems -- 6.3 State Spaces of Concurrent Systems -- Bibliographical Notes -- 7 Comparing Behaviour -- 7.1 Behavioural Equivalence -- 7.2 Behavioural Inheritance -- 7.3 Behavioural Similarity -- Bibliographical Notes -- 8 Verification -- 8.1 Overview of Verification -- 8.2 Temporal Logic -- 8.3 Model Checking -- 8.4 Behavioural Properties -- 8.5 Business Process Compliance -- Bibliographical Notes -- References -- Index
|
| 650 |
|
4 |
|a GESTIÓN DE PROCESOS EMPRESARIALES - BPM
|9 42711
|
| 700 |
1 |
|
|a Weske, Mathias
|9 46728
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 K61_KUN
|7 0
|9 82799
|a DIF
|b DIF
|d 2025-03-11
|i DIF-04857
|l 0
|o K.6.1 KUN
|p DIF-04857
|r 2025-03-11 17:05:03
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 57194
|d 57194
|
