Vi introducerar och studerar en modell av samverkande datadrivna arbetsflöden. I en lokal-som-vy stil, varje kamrat har en partiell bild av en global instans som förblir rent virtuell. Lokala uppdateringar har biverkningar på andras data, definierade via den globala instansen. Vi antar också att kamraterna tillhandahåller (en abstraktion av) sina specifikationer, så att varje deltagare faktiskt kan se och resonera om specifikationen av hela systemet. Vi studerar förmågan hos en kamrat att utföra runtime resonemang om den globala driften av systemet, och i synnerhet om åtgärder av andra kamrater, baserat på sina egna lokala observationer. Ett viktigt bidrag är att visa att man under en rimlig begränsning (nämligen nyckelsynlighet) kan konstruera en finit symbolisk representation av den oändliga uppsättningen globala körningar som överensstämmer med givna lokala observationer. Med hjälp av den symboliska representationen visar vi att vi i pspace kan utvärdera en stor klass av fastigheter över globala körningar, uttryckt i en förlängning av första ordningens logik med tidigare linjära tidsoperatörer, PLTL-FO. Vi tillhandahåller också en variant av algoritmen som gör det möjligt att stegvis övervaka en statiskt definierad egenskap, och sedan utveckla en förlängning som gör det möjligt att övervaka en oändlig klass av egenskaper som delar samma temporal struktur, definieras dynamiskt som körningen utvecklas. Slutligen överväger vi en förlängning av språket, som tillåter arbetsflödeskontroll med PLTL-FO formler. Vi bevisar att detta inte ökar kraften i arbetsflödesspecifikationsspråket, vilket visar att språket är stängt under ett sådant introspektivt resonemang.
Resultaten i REF fokuserar på peers förmåga att resonera om timliga egenskaper hos globala körningar baserat på sina lokala observationer, och är ortogonala till den nuvarande undersökningen.
Collaborative data-driven workflows: think global, act local
{'venue': "PODS '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}