Static Analysis Rules of the BPEL Specification: Tagging, Formalization and Tests
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 99
- Klassifikation
-
Informatik
- Schlagwort
-
Business Process Execution Language (BPEL) ; Serviceorientierte Architektur ; Softwaretest ; Online-Publikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
Otto-Friedrich-Universität Bamberg
- (wann)
-
2016
- Urheber
- URN
-
urn:nbn:de:bvb:473-opus4-464076
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Preißinger, Christian
- Harrer, Simon
- Otto-Friedrich-Universität Bamberg
Entstanden
- 2016
Ähnliche Objekte (12)
Extraction of BPEL process fragments in eclipse BPEL designer
An abstract specification language for static program analysis
Splitting BPEL processes
Formalization of logic
RESTful BPEL - Erweiterung von BPEL zur Orchestrierung von RESTful Web Services
UML 2.0 profile for WS-BPEL with mapping to WS-BPEL
Geschäftsprozesse automatisieren mit BPEL
Analyzing Interacting BPEL Processes
Formalization of natural languages
Mobile Tagging
Mobile Tagging
Unified service-composition for BPEL
Extraction of BPEL process fragments in eclipse BPEL designer
An abstract specification language for static program analysis
Splitting BPEL processes
Formalization of logic
RESTful BPEL - Erweiterung von BPEL zur Orchestrierung von RESTful Web Services
UML 2.0 profile for WS-BPEL with mapping to WS-BPEL
Geschäftsprozesse automatisieren mit BPEL
Analyzing Interacting BPEL Processes
Formalization of natural languages
Mobile Tagging
Mobile Tagging
Unified service-composition for BPEL
Extraction of BPEL process fragments in eclipse BPEL designer
An abstract specification language for static program analysis
Splitting BPEL processes
Formalization of logic
RESTful BPEL - Erweiterung von BPEL zur Orchestrierung von RESTful Web Services
UML 2.0 profile for WS-BPEL with mapping to WS-BPEL
Geschäftsprozesse automatisieren mit BPEL
Analyzing Interacting BPEL Processes
Formalization of natural languages
Mobile Tagging
Mobile Tagging