Lack of sufficient semantic description makes it difficult to find and compose suitable Web services during analysis, search, and matching processes. As Semantic Web Services provide well-defined meaning, composition of new services is possible through logical deductions achieving resolutions automatically. This book develops an Inference-based Semantic Business Process Composition Agent (SCA). Utilizing Revised Armstrongs Axioms (RAAs) in inferring functional dependencies, SCA System composes available OWL-S based atomic processes into required services. RAAs are embedded in the knowledge...

Cyber-physical systems (CPS) have emerged as a unifying name for systems where cyber parts (i.e., the computing and communication parts) and physical parts are tightly integrated, both in design and during operation. Such systems use computations and communication deeply embedded in and interacting with human physical processes as well as augmenting existing and adding new capabilities. As such, CPS is an integration of computation, networking, and physical processes. Embedded computers and networks monitor and control the physical processes, with feedback loops where physical processes...

Cyber-physical systems (CPS) have emerged as a unifying name for systems where cyber parts (i.e., the computing and communication parts) and physical parts are tightly integrated, both in design and during operation. Such systems use computations and communication deeply embedded in and interacting with human physical processes as well as augmenting existing and adding new capabilities. As such, CPS is an integration of computation, networking, and physical processes. Embedded computers and networks monitor and control the physical processes, with feedback loops where physical processes...