A Formal Model of QoS-Aware Web Service Orchestration Engine

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 and further can provide QoS-Aware WSO Service are drawn

Reversible Truly Concurrent Process Algebra

We design a reversible version of truly concurrent process algebra CTC which is called RCTC. It has good properties modulo several kinds of strongly forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations. These properties include monoid laws, static laws, new expansion law for strongly forward-reverse truly concurrent bisimulations, \tau laws for weakly forward-reverse truly concurrent bisimulations, and congruences for strongly and weakly forward-reverse truly concurrent bisimulations.Comment: 40 pages. arXiv admin note: substantial text overlap with arXiv:1410.5131, arXiv:1611.09035, arXiv:1703.0015

A Calculus for True Concurrency

We design a calculus for true concurrency called CTC, including its syntax and operational semantics. CTC has good properties modulo several kinds of strongly truly concurrent bisimulations and weakly truly concurrent bisimulations, such as monoid laws, static laws, new expansion law for strongly truly concurrent bisimulations, $\tau$ laws for weakly truly concurrent bisimulations, and full congruences for strongly and weakly truly concurrent bisimulations, and also unique solution for recursion.Comment: 31 pages, 1 figures. arXiv admin note: substantial text overlap with arXiv:1611.0903

Equivariant heat invariants of the Laplacian and nonmininmal operators on differential forms

In this paper, we compute the first two equivariant heat kernel coefficients of the Bochner Laplacian on differential forms. The first two equivariant heat kernel coefficients of the Bochner Laplacian with torsion are also given. We also study the equivariant heat kernel coefficients of nonmininmal operators on differential forms and get the equivariant Gilkey-Branson-Fulling formula

Entanglement in Reversible Quantum Computing

Similarly to the modelling of entanglement in the algebra of quantum computing, we also model entanglement as a synchronization among an event and its shadows in reversible quantum computing. We give the semantics and axioms of shadow constant for reversible quantum computing

Chern-Connes Character for the Invariant Dirac Operator in Odd Dimensions

In this paper we give a proof of the Lefschetz fixed point formula of Freed$^{\rm [1]}$ for an orientation-reversing involution on an odd dimensional spin manifold by using the direct geometric method introduced in [2] and then we generalize this formula under the noncommutative geometry framework

Communicating Concurrent Processes

Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single event. We modify CSP to process the events occurred simultaneously, which is called communicating concurrent processes (CCP).Comment: 9 page

The Equivariant Noncommutative Atiyah-Patodi-Singer Index Theorem

In [Wu], the noncommutative Atiyah-Patodi-Singer index theorem was proved. In this paper, we extend this theorem to the equivariant case.Comment: to appear in K-Theor

The spectral action for sub-Dirac operators

In this paper, for foliations with spin leaves, we compute the spectral action for sub-Dirac operators

A note on equivariant eta forms

In this note, we prove the regularity of eta forms by the Clifford asymptotics. Then we generalize this result to the equivariant case