Semantic Service Markup with SESMA

This paper presents the XML based Web service markup format SESMA. The proposed language aims to provide a description format that has a compact syntax, provides for convenient support for nondeterministic services and aligns well with industry standards like WSDL and BPEL. The present paper describes the design goals of the language, contrasts it with existing work, gives an overview of syntax and semantics of the language and illustrates it by a collection of examples.