Vi ger en översikt över webbtjänster och webbserviceteknologi stacken. Vi visar sedan hur man bygger Petri nettomodeller av webbtjänster formulerade i specifikationsspråket BPEL4WS. Vi definierar ett abstrakt korrekthetskriterium för dessa modeller och studerar den automatiska verifieringen enligt detta kriterium. Slutligen relaterar vi riktigheten hos webbtjänstmodeller till modellkontrollproblemen för alternerande temporallogik.
Schlingloff m.fl. REF presenterade en integrerad teknik för modellering och automatiserad verifiering av webbtjänstens sammansättning.
Modeling and Model Checking Web Services
{'venue': 'ENTCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}