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.
['Wolfgang Reisig', 'Jan Bretschneider', 'Dirk Fahland', 'Niels Lohmann', 'Peter Massuthe', 'Christian Stahl']
Services as a paradigm of computation