The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic lists of procedures or methods upon which clients can call. This is inadequate as a basis for more elaborate service specifications that include, for instance, Quality-of-Service properties. Here, we suggest a precise service notion based on the interactions exhibited by sets of components implementing the service. We illustrate the syntactic and semantic service concepts we introduce in this text by means of a case study. KEY WORDS Services, Message Sequence Charts, Roles
Ingolf H. Krüger