Testing control flow of composite service

OWL-S (Web ontology language for services) and linear temporal logic were used to investigate formal method of describing composite service flow for testing and analyzing dynamic testing information. OWL-S was used as requirements reference model of composite service. Combination of composite service standard and formal method was adopted. Linear temporal logic was used to describe dynamic semantics of control constructs in OWL-S. Accordingly control flow requirements of composite service was described by a set of linear temporal logic formulae. Besides the existing advantage of OWL-S, the describing method can explicitly express atomic services interaction pattern and the describing result can be used as reference model of testing composite service implementation. Based on the explicit expression and semantic model of linear temporal logic on finite execution traces, dynamic testing information captured during composiste service execution was analyzed to test the correspondence between composite service execution and composite service control flow requirements.