Modeling Service Compatibility with Pi-calculus for Choreography.

ShuiGuang Deng Zhaohui Wu Mengchu Zhou Ying Li Jian Wu

Published in: ER (2006)

Keyphrases

service oriented architecture
real time
modeling method
management system
description logics
steady state
service composition
service discovery
mobile services