Contract-Based Web Service Composition Framework with Correctness Guarantees

Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic ion models: Contract Definition Language (XML) and abstract machines (formal notation). Composition operators (patterns) are used to perform composition which is then formally verified with respect to properties described in service contracts. We also describe Java-based implementation of the system, concentrated around Sun’s Java Web Services Development Pack (JWSDP). Indexed terms: Web services, composition, correctness, contracts

• Type: Conference
• Year: 2005
• Where: ISAS
• Authors: Nikola Milanovic
• Keywords: Composition Correctness Guarantees, Information Management, ISAS 2005, Web Service Composition, Web Services