Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

摘要

Det er beskrevet en fremgangsmåte, et dataprogramprodukt og et system som angår utførelse av verifiserbare prosesser i et distribuert beregnings/behandlingsmiljø. Mer spesielt angår oppfinnelsen autonom implementering og verifisering av en forretningslogikk-spesifikasjon i et heterogent distribuert beregningsmiljø. Forretningslogikk-spesifikasjonen (102) blir vist i (trinn 112) som et antall validerte prosesser (104) for utførelse i et distribuert behandlingsmiljø (110). Ved å overvåke og analysere den informasjon som genereres i utførelsestrinnet (trinn 114), er det mulig å korrelere en visning av utførelsesprosessen (106). Sammenligning mellom den opprinnelige spesifikasjonen og den korrelerte visningen blir utført, kontekstinformasjon blir tilført (trinn 1 16) og endringer gjort på spesifikasjonen som et resultat av dette. Oppfinnelsen tilveiebringer den fullstendige syklus av hendelser hovedsakelig autonomt.