Abstrakt. Tjänstesammansättningen håller på att bli det dominerande paradigmet för att utveckla applikationer för webbtjänster. Det är viktigt att säkerställa att en tjänstesammansättning uppfyller kraven för ansökan. Ett rigoröst sätt att kontrollera efterlevnaden kräver vanligtvis att kraven specificeras i formalismer i egenskapsspecifikation, t.ex. temporallogik, som är svåra att förstå för vanliga programvaruutövare. I detta dokument föreslår vi en egenskap mönster baserad specifikation språk, heter PROPOLS, och använda den för att verifiera BPEL tjänstesammansättning scheman. PROPOLS är lätt att förstå och använda, men är formellt baserad. Den bygger på Dwyer et al.'s egendom mönster system och utökar det med den logiska sammansättningen av mönster för att tillgodose specifikationen av komplexa krav. PROPOLS kodas på ett ontologiskt språk, OWL, för att underlätta utbyte och återanvändning av domänkunskap. En Finite State Automata-baserad ram för att verifiera BPEL-scheman mot PROPOLS-egenskaper diskuteras också.
Yu m.fl. REF använder ett språk som heter PROPOLS för att beskriva tidslogiken i en BPEL-process.
Pattern Based Property Specification and Verification for Service Composition
{'venue': 'In: Proceedings of 7th International Conference on Web Information Systems Engineering (WISE', 'journal': None, 'mag_field_of_study': ['Computer Science']}