Abstrakt. I detta dokument använder vi automatiska verktyg för verifiering av interaktionsprotokoll för webbtjänster som beskrivs i OWL-S. I synnerhet föreslår vi ett modelleringsförfarande som bevarar kontrollflödet och dataflödet hos OWL-S-processmodeller. Resultatet av vårt arbete ger fullständig modellering och verifiering av OWL-S Process Modeller.
I REF föreslås en verifieringsteknik för OWL-S-processmodeller som använder modellkontroll.
Towards a Formal Verification of OWL-S Process Models
{'venue': 'IN FOURTH INTERNATIONAL SEMANTIC WEB CONFERENCE (ISWC 2005', 'journal': None, 'mag_field_of_study': ['Computer Science']}