Abstract is missing.
- Formal Approaches for Synthesis of Web Service Business ProtocolsLhouari Nourine, Farouk Toumani. 1-15 [doi]
- Contract-Oriented ServicesEmilio Tuosto. 16-29 [doi]
- Service Discovery with Cost ThresholdsJan Sürmeli. 30-48 [doi]
- Conformance Checking of Services Using the Best Matching Private ViewRichard Müller, Wil M. P. van der Aalst, Christian Stahl. 49-68 [doi]
- Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processesAbel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas. 69-86 [doi]
- Formal Modeling and Analysis of the REST Architecture Using CSPXi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu. 87-102 [doi]
- SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web ApplicationsGuillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé. 103-117 [doi]
- Preference and Similarity-Based Behavioral Discovery of ServicesFarhad Arbab, Francesco Santini. 118-133 [doi]
- Reconfiguration Mechanisms for Service CoordinationNuno Oliveira, Luís Soares Barbosa. 134-149 [doi]