Formal verification of e-services and workflows

DOI10.1007/3-540-36189-8_15MaRDI QIDQ4428410zbMATH OpenFDO

Authors Xiang Fu, Tevfik Bultan, Jianwen Su

Publication date 15 September 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2512/25120188.htm

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Requirements-driven verification of web services
• Verification of Vortex workflows
• Verification problems in conceptual workflow specifications
• On the verification of security-aware E-services
• Modeling and model checking web services

Cited in

(5)

• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Verification of Vortex workflows
• A formal framework for specifying and verifying microservices based process flows
• Using linear logic to verify requirement scenarios in composite web service
• From StPowla processes to SRML models

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Formal verification of e-services and workflows

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