The recent success of service-oriented architectures gives rise to some fundamental questions: To what extent do services
constitute a new paradigm of computation? What are the elementary ingredients of this paradigm? What are adequate notions
of semantics, composition, equivalence? How can services be modeled and analyzed? This paper addresses and answers those questions,
thus preparing the ground for forthcoming software design techniques.
Keywords models of computation - services - SOA - open workflow nets