如果大家也在研究这一方面的,请大家一起讨论讨论! Service-oriented systems are not the same as component-oriented systems, but they have some commons. A PPT about Formal Modelling of Service-oriented Systems was at http://www.cs.le.ac.uk/people/jfiadeiro/Tutorials/SFMO09.pd ...