Claudio Guidi Roberto Lucchi Formalizing Mobility in Service Oriented Computing. 1-13 2007 2 JSW 1 http://www.academypublisher.com/jsw/vol02/no01/jsw02010113.html db/journals/jsw/jsw2.html#GuidiL07