1. Achilleos A, Yang K, Georgalas N, Azmoodech M. Pervasive service creation using a model driven petri net based approach. In: IWCMC'08. International wireless communications and mobile computing conference; 2008. p. 309–14.
2. Amsden J, Gardner T, Griffin C, Iyengar S. Draft UML 1.4 profile for automated business processes with a mapping to BPEL 1.0. Technical report, 〈http://www.128.ibm.com/developerworks/rational/library/content/04April/3103/〉. 2003.
3. Service composition approaches for ubiquitous and pervasive computing environments;Bakhouya,2008
4. Formal methods for service composition;Beek;Annals of Mathematics, Computing & Teleinformatics,2007
5. Bellwood T, Clement L, Ehnebuske D, Hately A, Hondo M, Husband YL, et al. Uddi version 3.0. Published specification, Oasis. 2002.