Abstract
This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions in service-oriented computing such as conversations (interactions between clients and web services), multi-party conversations (interactions between multiple web services) and coordination protocols, which are central in a transactional environment. In particular, we capture long-running transactions with recovery and compensation mechanisms for the underlying services in order to ensure that a transaction either commits or is successfully compensated for.
Original language | English |
---|---|
Title of host publication | Fundamental Approaches to Software Engineering |
Publisher | Springer |
Pages | 131-145 |
Number of pages | 15 |
Volume | 4961 |
Edition | Lecture Notes in Computer Science |
ISBN (Print) | 978-3-540-78742-6 |
DOIs | |
Publication status | Published - 2008 |