Prosessontologi - Process ontology

Se også: Prosessfilosofi

I filosofi refererer en prosessontologi til en universell modell av verdens struktur som en ordnet helhet. Slike ontologier er grunnleggende ontologier , i motsetning til de såkalte anvendte ontologiene . Fundamentelle ontologier hevder ikke å være tilgjengelige for empiriske bevis i seg selv, men for å være et strukturelt designmønster, hvorfra empiriske fenomener kan forklares og settes sammen konsekvent. Gjennom vestlig historie er den dominerende grunnleggende ontologien den såkalte stoffteorien . Imidlertid blir grunnleggende prosessontologier stadig viktigere i nyere tid, fordi fremdriften i oppdagelsen av fysikkens grunnlag ansporet utviklingen av et grunnleggende konsept som var i stand til å integrere slike grenseoppfatninger som " energi ", " objekt " og de i fysiske dimensjoner av rom og tid .

I informatikk er en prosessontologi en beskrivelse av komponentene og deres relasjoner som utgjør en prosess. En formell prosessontologi er en ontologi i kunnskapsområdet til prosesser. Ofte utnytter slike ontologier fordelene med en øvre ontologi . Planleggingsprogramvare kan brukes til å utføre plangenerering basert på den formelle beskrivelsen av prosessen og dens begrensninger. Det er gjort mange anstrengelser for å definere en prosess/planleggingsontologi.

Prosesser

En prosess kan defineres som et sett med transformasjoner av inngangselementer til utgangselementer med spesifikke egenskaper, med transformasjonene preget av parametere og begrensninger, for eksempel innen produksjon eller biologi. En prosess kan også defineres som arbeidsflyter og hendelsesrekkefølge i prosesser som produksjon, prosjektering og forretningsprosesser .

Ontologier

PSL

Hovedartikkel: Prosesspesifikasjonsspråk

Process Specification Language (PSL) er en prosessontologi utviklet for den formelle beskrivelsen og modelleringen av grunnleggende produksjons-, prosjekterings- og forretningsprosesser. Denne ontologien gir et vokabular med klasser og relasjoner for begreper på bakkenivå av hendelsesforekomster, objektforekomster og tidspunkter. PSLs øverste nivå er bygget opp rundt følgende:

  • Aktivitet-en klasse eller type handling, for eksempel installasjonsdel, som er klassen av handlinger der deler er installert
  • Aktivitetsforekomst-en hendelse eller handling som finner sted på et bestemt sted og tidspunkt, for eksempel en bestemt forekomst av installasjonsdel som skjer på et bestemt tidsstempel
  • Tidspunkt - et tidspunkt
  • Objekt - alt som ikke er et tidspunkt eller en aktivitet

Syklus

Hovedartikkel: Cyc

I en prosess-/planleggingsontologi utviklet for ontologien Cyc tillater klasser og relasjoner over bakkenivå for PSL prosesser å bli beskrevet rent på typnivå. Bakkenivået til PSL bruker primitivene til hendelses-forekomst, objekt-forekomst og tidspunktbeskrivelse. Typene over bakkenivå for PSL har også blitt uttrykt i PSL, og viser at type-nivå og bakkenivå er relativt uavhengige. Typenivåene for Cyc-prosessontologien over dette bakkenivået bruker følgende begreper:

  • Prosess - formalisert som et manus
  • Samlet prosess - en prosess på et nivå over nivået for en enkelt episode av en prosess, for å representere antall deltakere i en handling etter områder med heltall og kvalitative verdier som få eller mange
  • Script-et typisk mønster av hendelser som kan forventes å oppstå igjen
    • et skript har underhendelser, noe som betyr at skript er sammensatte hendelser
  • Scene - en subevent av et manus
  • Roller/deltakere - angir typer skuespillere og objekter som kan spilles i manuset eller scenen
  • Betingelser - forutsetning (er) som må være sanne for at en scene (hendelse) skal kunne kjøres, og postkondisjon (er) (effekter) som må være sanne etter en scene
  • Gjentakelse - antall repetisjoner av en prosess kan være kjent, eller være uspesifisert, eller kan gjentas til en bestemt tilstand er sann
  • Egenskaper ved bestilling og sammensetning av gjentatte delhendelser for sammensatte prosesser:
    • Begynn-ordnet-delhendelser starter på forskjellige tidspunkter som er fullstendig ordnet
    • Sluttordnet-delhendelser slutter på forskjellige tidspunkter som er fullstendig bestilt
    • EndsBeforeEnd - subevents slutter før eller samtidig som subevent -forekomster som starter før dem
    • Sekvensiell - ingen overlappende underhendelser
    • Avslutter - det er en subevent som ingen andre subevents begynner, og siden alle aktiviteter har et start- og sluttpunkt, er det et tidspunkt hvor prosessen avsluttes
    • Uniform - alle underhendelser er av samme hendelsestype
  • Identitet - identiteten til deltakerne i en prosess, at aktør (er) eller objekt (er) som spiller en rolle i en scene eller repetisjon er de samme som i en annen scene eller repetisjon, er representert av begrensninger på mulige deltakere

SUPER og DDPO

Prosjektet SUPER ( S emantics U tilised for P rocess management within and between E nte R prises) har et mål med definisjonen av ontologier for Semantic Business Process Management (SBPM), men disse ontologiene kan gjenbrukes i forskjellige miljøer. En del av dette prosjektet er å definere en Upper Process Ontology (UPO) som knytter sammen alle andre SUPER -ontologier. Resultatene av prosjektet SUPER inkluderer UPO og et sett med ontologier for prosesser og organisasjoner. De fleste ontologiene er skrevet i WSML , og noen er også skrevet i OCML .

En kandidatmodell for UPO var DDPO (DOLCE+DnS Plan Ontology), en planleggingsontologi som spesifiserer planer og skiller mellom abstrakte og kjørbare planer. DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) tar sikte på å fange de ontologiske kategoriene som ligger til grunn for naturlig språk og menneskelig fornuft. DnS (Descriptions and Situations), er en konstruktivistisk ontologi som åpner for kontekstsensitive ombeskrivelser av typene og relasjonene postulert av andre gitte ontologier (eller bakkeordforråd). Sammen i DDPO brukes DOLCE og DnS til å bygge en planontologi som inkluderer fysiske og ikke-fysiske objekter (sosiale enheter, mentale objekter og tilstander, konseptualiseringer, informasjonsobjekter, begrensninger), hendelser, tilstander, regioner, kvaliteter og konstruktivistiske situasjoner . Hovedmålet for DDPO er oppgaver, nemlig typer handlinger, sekvensering og kontrollene som utføres på dem.

oXPDL

Ontology oXPDL er en prosessutvekslingsontologi basert på det standardiserte XML Process Definition Language ( XPDL ). Formålet med oXPDL er å modellere semantikken til XPDL -prosessmodeller på standardiserte webontologispråk som OWL og WSML , samtidig som den inneholder funksjoner i eksisterende standard ontologier som PSL , RosettaNet og SUMO .

GFO

Hovedartikkel: General Formal Ontology

General Formal Ontology ( GFO ) er en ontologi som integrerer prosesser og objekter. GFO inkluderer utdypinger av kategorier som objekter, prosesser, tid og rom, egenskaper, relasjoner, roller, funksjoner, fakta og situasjoner. GFO åpner for forskjellige aksiomatiseringer av kategoriene, for eksempel eksistensen av atomiske tidsintervaller vs. tett tid. To av GFOs spesialiteter er beretningen om utholdenhet og tidsmodell. Når det gjelder utholdenhet, blir skillet mellom utholdende (objekter) og vedvarende (prosesser) tydeliggjort i GFO ved introduksjonen av en spesiell kategori, en vedvarende [ sic ]. En vedvarende er en spesiell kategori med den hensikt at forekomsten "forblir identisk" over tid. Når det gjelder tid, blir tidsintervaller tatt som primitive i GFO, og tidspunkter (kalt "tidsgrenser") er avledet. Videre kan tidspunkter sammenfalle, noe som er praktisk for modellering av øyeblikkelige endringer.

m3po og m3pl

Multi -metamodell prosessontologi (m3po) kombinerer arbeidsflyter og koreografibeskrivelser slik at den kan brukes som en prosessutvekslingsontologi. For interne forretningsprosesser brukes Workflow Management Systems for prosessmodellering og tillater å beskrive og utføre forretningsprosesser. For eksterne forretningsprosesser brukes koreografibeskrivelser for å beskrive hvordan forretningspartnere kan samarbeide. En koreografi kan betraktes som et syn på en intern forretningsprosess med intern logikk ikke synlig, i likhet med offentlige syn på private arbeidsflyter. M3po -ontologien forener både interne og eksterne forretningsprosesser, og kombinerer referansemodeller og språk fra arbeidsflyt- og koreografidomenene. M3po -ontologien er skrevet i WSML . Den relaterte ontologien m3pl, skrevet i PSL ved hjelp av utvidelsen FLOWS (First Order Logic for Web Services), muliggjør ekstraksjon av koreografigrensesnitt fra arbeidsflytmodeller.

M3po -ontologien kombinerer trekk ved følgende referansemodeller og språk:

  • XPDL - en standard for utveksling av arbeidsflytmodeller, uten kjøretidsinformasjon, mellom forskjellige arbeidsflytstyringssystemer
  • PSL - en ontologi som gjør det mulig å fange semantikken i arbeidsflytmodeller og muliggjøre oversettelse av modeller mellom arbeidsflytstyringssystemer
  • YAWL - et forskningsprosjekt for arbeidsflyt som støtter alle arbeidsflytmønstre direkte
  • BPEL - et kjørbart språk for forretningsprosesser og inkluderer en abstrakt protokoll
  • WS-CDL -en flerpartssamarbeidsmodell

M3po -ontologien er organisert ved hjelp av fem sentrale aspekter ved arbeidsflytspesifikasjoner og arbeidsflytstyring. Fordi forskjellige arbeidsflytmodeller legger forskjellig vekt på de fem aspektene, ble den mest forseggjorte referansemodellen for hvert aspekt brukt og kombinert til m3po.

  • Funksjonell og Behavioral - Det viktigste begrepene er processType , processOccurrence , activityType og activityOccurrence
  • Informasjon-definert av data og dataflyt
  • Organisatorisk - definerer hvem som er ansvarlig for å utføre en bestemt oppgave; sikkerhetsrelaterte problemer
  • Operasjonell - interaksjon mellom arbeidsflytene og miljøet ved manuelle oppgaver utført av brukere og automatiske oppgaver utført av automatiserte dataprogrammer
  • Orthogonal - planlegging basert på tid; integritet og feilgjenoppretting

Se også

Referanser

Eksterne linker