A Formal Model of QoS-Aware Web Service Orchestration Engine
Yong Wang

TL;DR
This paper presents a formal actor-based model for QoS-aware web service orchestration, enabling systems to meet customer QoS requirements through structured layers of service, system, and behavior.
Contribution
It introduces a novel formal model of QoS-aware web service orchestration based on actor systems theory, with a layered structure capturing requirements, system characteristics, and behaviors.
Findings
Formal model based on actor systems theory.
Layered structure captures requirements, system, and behavior.
System with QoS-Aware WSO Behavior provides QoS-aware services.
Abstract
QoS-aware applications can satisfy not only the functional requirements of the customers, but also the QoS requirements. QoS-aware Web Service orchestration translates the QoS requirements of the customers into those of its component Web Services. In a system viewpoint, we discuss issues on QoS-aware Web Service orchestration and design a typical QoS-aware Web Service orchestration engine called QoS-WSOE. More importantly, we establish a formal model of QoS-WSOE based on actor systems theory. Within the formal model, we use a three-layered pyramidal structure to capture the requirements of the customers with a concept named QoS-Aware WSO Service, characteristics of QoS-WSOE with a concept named QoS-Aware WSO System, and structures and behaviors of QoS-WSOE with a concept named QoS-Aware WSO Behavior. Conclusions showing that a system with QoS-Aware WSO Behavior is a QoS-Aware WSO System…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services · Advanced Software Engineering Methodologies · Business Process Modeling and Analysis
