An EFSM-based specification language for composite application services

Computer communication services (e.g., E-mail, FTP, Teleconferencing, WWW) provide their own functions which don't interact with each other. Network users' requirements are often satisfied by using multiple services sequentially or in parallel. This paper proposes an EFSM-based service specification language which enables users to flexibly construct a composite service such as composed of multiple services (we call them sub-services). In addition, service specifications written in the proposed language can be easily decomposed into sub-services which are reusable enough to reconstruct new composite services with those sub-services. Namely, the language ensures the reusability of specifications. Using a simple example of a composite service, this paper shows the reusability of specifications. The user programmability is also discussed by comparison with of Estelle.