ABSTRACT
We organize this paper as follows. In section 2, we improve the language proposed by Chen et al in [20] to a dynamic real-time Web service language. In section 3, we consider the quantification of real-time service trustworthinesses and discuss the
1 INTRODUCTION
Recently, Web services and Web-based applications become much more important in information systems. Many researchers have been engaged in this research, and kinds of business modelling languages have been introduced [1]–[7], such as WSFL [1], BPEL4 WS (BPEL) [4], StAC [2] and XLANG [3]. In order to accommodate the new program features, He [8] adds coordination and compensation combinators to synchronise the activity of programs, then extends the Guarded Command Languages [9]. He uses the new extended language to describe the transaction-based services. What’s more, he shows the language’s UTP [10] semantics with the operator H in [11].
