Using linear logic to verify requirement scenarios in composite web service

DOI10.1007/978-3-319-70848-5_14MaRDI QIDQ5045467zbMATH OpenOpenAlexFDO

Authors Kênia Santos de Oliveira, Stéphane Julia

Publication date 4 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-70848-5_14

zbMATH Keywords

bisimilaritylinear logicPetri netsservice-oriented architectureweb serviceworkflow module

Mathematics Subject Classification ID

Logic in computer science (03B70) Internet topics (68M11) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Requirements-driven verification of web services
• Modeling and model checking web services
• Validation and verification of web services choreographies by using timed automata
• A formal dynamic verification of choreographed web services conversations
• scientific article; zbMATH DE number 1980999

Cited in

(1)

• Requirements-driven verification of web services

This page was built for publication: Using linear logic to verify requirement scenarios in composite web service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5045467)