Abstrakt. Trots webbtjänsternas popularitet är det en invecklad uppgift att skapa dem manuellt. Sammansatta webbtjänster definieras med hjälp av den föränderliga standarden för BPEL (Business Process Execution Logic). Det förklaras hur CRISS (Chisel Representation Employing Systematic Specification) har utvidgats för att möta utmaningen att grafiskt och formellt beskriva webbtjänster. Exempel på CRESS-beskrivningar presenteras för webbtjänster. Dessa översätts automatiskt till LOTOS, vilket möjliggör noggrann analys och automatiserad validering.
Turner REF utökar funktionen CRESS till att grafiskt och formellt beskriva webbtjänster och tjänstesammansättning.
Formalising web services
{'venue': 'Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVIII), number 3731 in Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}