[Night 3] Modeling the Interplay between Data and Processes
February 17, 2021
Data and processes go hand-in-hand in information systems but are often modelled, validated, and verified separately in the systems’ design phases. Designers of information systems often proceed by ensuring that database tables satisfy normal forms, and process models capturing the dynamics of the intended information manipulations are deadlock and livelock free. However, such an approach does not guarantee the correctness of the complete system, as perfect data and process designs in isolation can induce faults when combined.
In this talk, I will present the ideas behind an approach that combines information models and process models using an automated theorem prover. In this approach, set theory and first-order logic are used to express the structure and constraints of information, while Petri nets extended with vectors of identifiers are used to capture the dynamic aspects of the system. The modelling approach is not limited to information systems modelling. As I will show in this talk,
7 views
883
507
5 years ago 00:20:31 49
Warcraft 3 Reforged: Night Elf Units Preview
10 years ago 00:08:46 26K
ИСПУГАННЫЙ ШКОЛЬНИК #3 - FIVE NIGHT AT FREDDY’S 4
6 years ago 00:05:30 193
FNAF 3 Custom Night
5 years ago 00:08:59 624
WARCRAFT 3 REFORGED NIGHT ELVES FT. SYLVANAS IN UNREAL ENGINE 4
2 years ago 00:04:15 50
Version 3.4 “The Exquisite Night Chimes“ Trailer | Genshin Impact
8 years ago 00:05:10 24
Salmon Night 3
8 years ago 00:03:51 77
PechaKucha Night Kemerovo №3
5 years ago 00:15:36 161
ATN X-SIGHT II 3-14X RAT NIGHT OPS#7 RATS! IN THE CROSSHAIRS
5 years ago 00:03:32 132
Watch WWE Monday Night Raw in 3 minutes | RAW IN 3 | MONDAY NIGHT RAW
9 years ago 00:07:24 132
3 Effortless Date Night Hairstyles!
10 years ago 00:03:25 163
Matchbox 3 - Saturday Night Live
6 years ago 00:03:32 1.5K
Night Falls (From “Descendants 3“)
10 years ago 00:25:27 31K
Хоррор Five Nights at Freddy’s 3 #3 - Финал
8 years ago 00:03:06 42
2JUMP NIGHT PARTY vol.3
8 years ago 00:04:34 60
Blackmore’s Night - Black Night 2009 Chicago (part 3)