Sprungmarken

Zum Inhalt springen. Zur Hauptnavigation springen. Zur Unternavigation springen Web-Impressum der Universität.
Carl von Ossietzky Universität Oldenburg Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften Department für Informatik
  • Stud.IP
2011
  • Schnellzugriff
    • Informatikstartseite
    • Termine
    • Abteilungen
    • Mitarbeiterliste
    • Beauftragte
    • Gremien
    • Rechnerbetrieb (ARBI)
  • Aktuelles
    • Übersicht
    • Termine
    • Aktuelles zum Studium
    • Abschlussfeier
    • Stellenausschreibungen
    • Stipendien und Preise
  • Informationen für ...
    • Übersicht
    • Studieninteressierte
    • Internationale Studierende
    • Studierende
  • Studium & Lehre
    • Übersicht
    • Studium aktuell
    • Studiengänge
    • Studieren & Forschen
    • Studium und Beruf
    • Promotion
    • Hilfe im Studium
  • Forschung
    • Übersicht
    • Forschungsschwerpunkte
    • Forschungszentrum Sicherheitskritische Systeme
    • DFG-Sonderforschungsbereich AVACS
    • DFG-Graduiertenkolleg SCARE
    • Promotionsprogramm: SEE
    • Promotionsprogramm: SAMS
    • Liste der durchgeführten Promotionen
    • Ehrendoktoren
    • An-Institut OFFIS
  • Das Department
    • Übersicht
    • Departmentverwaltung
    • Abteilungen und Einrichtungen
    • Personen
    • Gremien & Beauftragte
    • Fachschaft
    • Veröffentlichungen
  • Abteilungen
    • Übersicht
    • Automatisierungs- und Messtechnik
    • Computational Intelligence
    • Didaktik der Informatik
    • Eingebettete Hardware-/ Software-Systeme
    • Energieinformatik
    • Entwicklung korrekter Systeme
    • Intelligente Transportsysteme
    • Informationssysteme
    • Formale Sprachen
    • Hybride Systeme
    • Lernende und kognitive Systeme
    • Medieninformatik und Multimedia-Systeme
    • Mikrorobotik und Regelungstechnik
    • Parallele Systeme
    • Sicherheitskritische Eingebettete Systeme
    • Softwaretechnik
    • Systemanalyse und -optimierung
    • Systemsoftware und verteilte Systeme
    • Umweltinformatik
    • Wirtschaftsinformatik / Very Large Business Applications
Abteilungen
  • Übersicht
  • Automatisierungs- und Messtechnik
  • Computational Intelligence
  • Didaktik der Informatik
  • Eingebettete Hardware-/ Software-Systeme
  • Energieinformatik
  • Entwicklung korrekter Systeme
  • Intelligente Transportsysteme
  • Informationssysteme
  • Formale Sprachen
  • Hybride Systeme
  • Lernende und kognitive Systeme
  • Medieninformatik und Multimedia-Systeme
  • Mikrorobotik und Regelungstechnik
  • Parallele Systeme
    • Personen & Kontakte
    • Lehre
    • Abschlussarbeiten & Vorträge
      • Themen
      • Vorträge im Oberseminar
      • Laufende Arbeiten
      • Abgeschlossene Arbeiten
    • Projekte & Tools
    • Publikationen
    • Stellen
    • Anfahrt
  • Sicherheitskritische Eingebettete Systeme
  • Softwaretechnik
  • Systemanalyse und -optimierung
  • Systemsoftware und verteilte Systeme
  • Umweltinformatik
  • Wirtschaftsinformatik / Very Large Business Applications

Parallele Systeme

Analyzing Interacting BPEL Processes

Nashida Bakarat

Abstract

I talk about the problem of analyizing the interaction
between BPEL processes. I present a technology chain that starts
out with a BPEL processes and transformed into a petri nets or to
an open work flow nets. Using the theory of Controllability and
the theory of operating guidline. In the presentation I give you
an example to demonstrate this technology chain.

 

Hilfe. Suche. Impressum. Schriftgröße. Seite empfehlen. Druckversion. Webmaster . Stand: 25.04.2018  

Zertifikat Vielfalt gestalten

Charta der Vielfalt

Nord-Unis

UGO

Audit Familiengerechte Hochschule

HRK-Audit Internationalisierung der Hochschulen 2013/14

RSS Newsfeeds Youtube-Kanal der Uni Die Uni bei Facebook Die Uni bei LinkedIn

Datenschutz – Sponsoringleistungen – Drittmittelforschung – Impressum
© 2017 Carl von Ossietzky Universität Oldenburg  –  Ammerländer Heerstr. 114-118, 26129 Oldenburg  –  ☎ +49-(0)441-798-0