Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Search content at Teesside University's Research Portal
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Equipment
Press/Media
Linking the Semantics of BPEL Using Maude
Peng Liu
, Huibiao Zhu
,
Shengchao Qin
, Phillip J. Brooke
, Xi Wu
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Linking the Semantics of BPEL Using Maude'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Operational Semantics
100%
Maude
100%
BPEL4WS
100%
Algebraic Semantics
83%
Derivation Strategies
50%
Mechanical Approach
33%
Transition System
16%
One-based
16%
Distinctive Features
16%
Algebraic Laws
16%
Web Application
16%
Web Services
16%
Fault Handling
16%
Compensation Handling
16%
Equational Logic
16%
Logical Systems
16%
Rewriting Logic
16%
Link Theory
16%
Web Service Orchestration
16%
Handling Mechanism
16%
Web Service Composition
16%
Obstetric Anal Sphincter Injuries (OASIS)
16%
Complex Business Processes
16%
Computer Science
Operational Semantics
100%
Business Process
16%
Transition System
16%
Web Service
16%
Rewriting Logic
16%
Handling Mechanism
16%
Web Service Composition
16%
Service Orchestration
16%
Enterprise Web Application
16%