ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...