Formal Description of Services
Yuzhang Liu, Fangchun Yang, Junliang Chen · 1997
On the basis of reviewing the basic concept of IN and life cycle of the service, this paper gives the concept of SLB, and formally describes the service in the syntax, behavior, and semantics way, which provides an approach to resolve the service interaction in the service specification phase.